Practical Reasoning for Expressive Description Logics

Cite this paper

@inproceedings{Horrocks1999PracticalRF, title={Practical Reasoning for Expressive Description Logics}, author={Ian Horrocks and Ulrike Sattler and Stephan Tobies}, booktitle={LPAR}, year={1999} }