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

Sebastian Brandt

Browse the full ECAI paper archive.