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

Proc. of the 11th Int. Workshop on Description Logics (DL 1998). Volume 11 of CEUR Workshop Proceedings, https://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",
   publisher = "CEUR-WS.org",
   series = "CEUR Workshop Proceedings, https://ceur-ws.org/",
}