Second-Order Description Logics: Semantics, Motivation, and a Calculus

Proc. of the 23rd Intl. Workshop on Description Logics (DL 2010), Volume 573 - 2010
Download the publication : paper_41.pdf [145Ko]  

BibTex references


@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/publications/2010/CDDDR
10"
}

Other publications in the database

SisInf Lab - Information Systems Laboratory

Research group of Politecnico di Bari
Edoardo Orabona St, 4 Bari, Italy