Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Azzurra Ragone. Second-Order Description Logics: Semantics, Motivation, and a Calculus. In Volker Haarslev, David Toman, Grant E. Weddell, editors, Proceedings of the 23rd International Workshop on Description Logics (DL 2010), Waterloo, Ontario, Canada, May 4-7, 2010. Volume 573 of CEUR Workshop Proceedings, CEUR-WS.org, 2010. [doi]
@inproceedings{ColucciNSDR10-0,
title = {Second-Order Description Logics: Semantics, Motivation, and a Calculus},
author = {Simona Colucci and Tommaso Di Noia and Eugenio Di Sciascio and Francesco M. Donini and Azzurra Ragone},
year = {2010},
url = {http://ceur-ws.org/Vol-573/paper_41.pdf},
tags = {semantics, logic},
researchr = {https://researchr.org/publication/ColucciNSDR10-0},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 23rd International Workshop on Description Logics (DL 2010), Waterloo, Ontario, Canada, May 4-7, 2010},
editor = {Volker Haarslev and David Toman and Grant E. Weddell},
volume = {573},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}