Reasoning with Individuals for the Description Logic SHIQ

Cite this paper

@inproceedings{Horrocks2000ReasoningWI, title={Reasoning with Individuals for the Description Logic SHIQ}, author={Ian Horrocks and Ulrike Sattler and Stephan Tobies}, booktitle={CADE}, year={2000} }