Giuseppe De Giacomo, Maurizio Lenzerini
TBox and ABox Reasoning in Expressive Description Logics
KR, 1996.
@inproceedings{KR-1996-GiacomoL,
author = "Giuseppe De Giacomo and Maurizio Lenzerini",
booktitle = "{Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning}",
isbn = "1-55860-421-9",
pages = "316--327",
publisher = "{Morgan Kaufmann}",
title = "{TBox and ABox Reasoning in Expressive Description Logics}",
year = 1996,
}