Corpus ID: 9832581

Pushing the EL Envelope Further

@inproceedings{Baader2008PushingTE,
  title={Pushing the EL Envelope Further},
  author={Franz Baader and Carsten Lutz and Sebastian Brandt},
  booktitle={OWLED},
  year={2008}
}
  • Franz Baader, Carsten Lutz, Sebastian Brandt
  • Published in OWLED 2008
  • Computer Science
  • We extend the description logic EL with reflexive roles and range restrictions, and show that subsumption remains tractable if a certain syntactic restriction is adopted. We also show that subsumption becomes PSpace-hard (resp. undecidable) if this restriction is weakened (resp. dropped). Additionally, we prove that tractability is lost when symmetric roles are added: in this case, subsumption becomes ExpTimehard. 

    Tables and Topics from this paper.

    Citations

    Publications citing this paper.
    SHOWING 1-10 OF 189 CITATIONS

    Model-theoretic inseparability and modularity of description logic ontologies

    VIEW 13 EXCERPTS
    CITES BACKGROUND

    When is Ontology-Mediated Querying Efficient?

    VIEW 23 EXCERPTS
    CITES BACKGROUND

    Reasoning within Fuzzy OWL 2 EL revisited

    VIEW 24 EXCERPTS
    CITES BACKGROUND, RESULTS & METHODS
    HIGHLY INFLUENCED

    Lightweight Description Logics with Meta-modelling

    VIEW 5 EXCERPTS
    CITES METHODS & BACKGROUND
    HIGHLY INFLUENCED

    Ontology-Mediated Query Answering with Data-Tractable Description Logics

    VIEW 6 EXCERPTS
    CITES BACKGROUND
    HIGHLY INFLUENCED

    XPath for DL Ontologies

    VIEW 14 EXCERPTS
    CITES BACKGROUND
    HIGHLY INFLUENCED

    Reasoning in many dimensions: uncertainty and products of modal logics

    VIEW 6 EXCERPTS
    CITES BACKGROUND
    HIGHLY INFLUENCED

    From Polynomial Procedures to Efficient Reasoning with EL Ontologies

    VIEW 5 EXCERPTS
    CITES BACKGROUND & METHODS
    HIGHLY INFLUENCED

    Roughening the EL Envelope

    VIEW 4 EXCERPTS
    CITES BACKGROUND
    HIGHLY INFLUENCED

    FILTER CITATIONS BY YEAR

    2008
    2020

    CITATION STATISTICS

    • 30 Highly Influenced Citations

    • Averaged 8 Citations per year from 2017 through 2019

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 18 REFERENCES

    Pushing the EL Envelope

    VIEW 7 EXCERPTS

    The Even More Irresistible SROIQ

    VIEW 3 EXCERPTS
    HIGHLY INFLUENTIAL

    Efficient Reasoning in EL+

    VIEW 1 EXCERPT