Reasoning with Individuals for the Description Logic SHIQ

From Tetherless World Wiki

Jump to: navigation, search

\begin{bibtex} @inproceedings{DBLP:conf/cade/HorrocksST00, title={Reasoning with Individuals for the Description Logic SHIQ}, pages={482-496}, year={2000}, crossref={DBLP:conf/cade/2000}, booktitle={CADE}, url={http://www.informatik.uni-trier.de/~ley/db/conf/cade/cade2000.html#HorrocksST00}, author={Ian Horrocks and Ulrike Sattler and Stephan Tobies} }\end{bibtex}

Retrieved from "http://tw.rpi.edu/wiki/Reasoning_with_Individuals_for_the_Description_Logic_SHIQ"
Personal tools