@InProceedings{CDDDR10, author = {Simona Colucci and Tommaso {Di Noia} and Eugenio {Di Sciascio} and Francesco M. Donini and Azzurra Ragone}, title = "Second-Order Description Logics: Semantics,
Motivation, and a Calculus", booktitle = "Proc. of the 23rd Intl. Workshop on Description
Logics (DL 2010)", volume = "573", year = "2010", publisher = "CEUR", url = "http://sisinflab.poliba.it/sisinflab/publications/
2010/CDDDR10" }