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

Diego Calvanese, Giuseppe De Giacomo, and Riccardo Rosati

Proc. of the 11th Int. Workshop on Description Logics (DL 1998). Volume 11 of CEUR Workshop Proceedings, http://ceur-ws.org/. 1998.


@inproceedings{DL-1998-alc,
   title = "A Note on Encoding Inverse Roles and Functional Restrictions in
ALC     Knowledge Bases",
   year = "1998",
   author = "Diego Calvanese and De Giacomo, Giuseppe and Riccardo
Rosati",
   booktitle = "Proc. of the 11th Int. Workshop on Description Logics
(DL 1998)",
   pages = "69--71",
   volume = "11",
   series = "CEUR Workshop Proceedings, http://ceur-ws.org/",
}
ps.gz pdf url