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

Abstract

In the area of Description Logic (DL) based knowledge representation, research on reasoning w.r.t. general terminologies has mainly focused on very expressive DLs. Recently, though, it was shown for the DL EL, providing only the constructors conjunction and existential restriction, that the subsumption problem w.r.t. cyclic terminologies can be decided in… (More)

Topics

2 Figures and Tables

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} }