Practical Reasoning for Very Expressive Description Logics

Cite this paper

@article{Horrocks2000PracticalRF, title={Practical Reasoning for Very Expressive Description Logics}, author={Ian Horrocks and Ulrike Sattler and Stephan Tobies}, journal={Logic Journal of the IGPL}, year={2000}, volume={8}, pages={239-263} }