A Note on Encoding Inverse Roles and Functional Restrictions in ALC Knowledge Bases
From Tetherless World Wiki
\begin{bibtex} @inproceedings{DBLP:conf/dlog/CalvaneseGR98,
author = {Diego Calvanese and
Giuseppe De Giacomo and
Riccardo Rosati},
title = {A Note on Encoding Inverse Roles and Functional Restrictions
in ALC Knowledge Bases},
booktitle = {Description Logics},
year = {1998},
ee = {http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/Vol-11/cal-deg-ros.ps},
crossref = {DBLP:conf/dlog/1998},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
\end{bibtex}
