On Subsumption and Instance Problem in ELH w.r.t. General TBoxes

Cite this paper

@inproceedings{Brandt2004OnSA, title={On Subsumption and Instance Problem in ELH w.r.t. General TBoxes}, author={Sebastian Brandt}, booktitle={Description Logics}, year={2004} }