Optimizing Description Logic Subsumption

From Tetherless World Wiki

\begin{bibtex} @article{DBLP:journals/logcom/HorrocksP99, title={Optimizing Description Logic Subsumption}, pages={267-293}, year={1999}, volume={9}, journal={J. Log. Comput.}, number={3}, ee={http://www3.oup.co.uk/logcom/hdb/Volume_09/Issue_03/090267.sgm.abs.html}, url={http://www.informatik.uni-trier.de/~ley/db/journals/logcom/logcom9.html#HorrocksP99}, author={Ian Horrocks and Peter F. Patel-Schneider} }\end{bibtex}