Polynomial Time Reasoning in a Description Logic with Existential Restrictions, GCI Axioms, and - What Else?

Cite this paper

@inproceedings{Brandt2004PolynomialTR, title={Polynomial Time Reasoning in a Description Logic with Existential Restrictions, GCI Axioms, and - What Else?}, author={Sebastian Brandt}, booktitle={ECAI}, year={2004} }