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

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

@inproceedings{DL-98-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'98)",
   pages = "69-71",
   volume = "11",
   series = "CEUR Electronic Workshop Proceedings, http://ceur-ws.org/",
}