Optimised Reasoning for SHIQ

From Tetherless World Wiki

Jump to: navigation, search

\begin{bibtex} @inproceedings{DBLP:conf/ecai/HorrocksS02, title={Optimised Reasoning for SHIQ}, pages={277-281}, year={2002}, crossref={DBLP:conf/ecai/2002}, booktitle={ECAI}, url={http://www.informatik.uni-trier.de/~ley/db/conf/ecai/ecai2002.html#HorrocksS02}, author={Ian Horrocks and Ulrike Sattler} }\end{bibtex}

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