Epistemic ALC-knowledge bases

Francesco M. Donini, Daniele Nardi, Riccardo Rosati.
In Proceedings of the 1995 Description Logic Workshop (DL'95), pages 13-18, 1995. Technical report 07.95, Dipartimento di Informatica e Sistemistica, Università di Roma "La Sapienza".

Bibtex entry:

@String{DL-95 = "Proceedings of the 1995 Description Logic Workshop (DL'95)"}

@Inproceedings{DoNR95d,
author = {Donini, Francesco M. and Nardi, Daniele and Rosati, Riccardo},
title = {Epistemic {ALC}-knowledge bases},
booktitle = DL-95,
pages = {13--18},
year = {1995},
note = {Technical report 07.95, Dipartimento di Informatica e Sistemistica, Universit\`a di Roma ``La Sapienza''},
}