A Note on Encoding Inverse Roles and Functional Restrictions in ALC Knowledge Bases

Diego Calvanese, Giuseppe De Giacomo, Riccardo Rosati.
In Proceedings of the 1998 Description Logic Workshop (DL'98), pages 69-71, CEUR Electronic Workshop Proceedings, http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-11/, 1998.

Bibtex entry:

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

@Inproceedings{CaDR98,
author = "Diego Calvanese and De Giacomo, Giuseppe and Riccardo Rosati",
title = "A Note on Encoding Inverse Roles and Functional Restrictions in {ALC} Knowledge Bases",
booktitle = DL-98,
pages = "69--71",
publisher = "CEUR Electronic Workshop Proceedings, {\tt http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-11/}",
year = 1998,
}