Efficient Inferencing for OWL EL

@inproceedings{Krtzsch2010EfficientIF,
  title={Efficient Inferencing for OWL EL},
  author={Markus Kr{\"o}tzsch},
  booktitle={JELIA},
  year={2010}
}
We develop inferencing methods for SROEL(∩, ×) - a DL that subsumes the main features of the W3C recommendation OWL EL -, and present a framework for studying materialisation calculi based on datalog. The latter is used to investigate the resource requirements for inferencing, and we can show that certain SROEL(∩, ×) feature combinations must lead to increased space upper bounds in any materialisation calculus, suggesting that efficient implementations are easier to obtain for suitably chosen… CONTINUE READING

Citations

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

A Datalog Translation for Reasoning on DL-Lite_R with Defeasibility

VIEW 5 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Defeasible Reasoning in SROEL: from Rational Entailment to Rational Closure

VIEW 13 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Reasoning in a Rational Extension of SROEL

VIEW 13 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Combining Reasoning on Semantic Web Metadata

VIEW 4 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Materialization Calculus for Contexts in the Semantic Web

  • Description Logics
  • 2013
VIEW 6 EXCERPTS
CITES BACKGROUND, METHODS & RESULTS
HIGHLY INFLUENCED

Efficient Rule-Based Inferencing for OWL EL

VIEW 20 EXCERPTS
CITES BACKGROUND & METHODS

References

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

Pushing the EL Envelope

VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL

eds.): OWL 2 Web Ontology Language: Profiles

B. Motik, B. Cuenca Grau, +3 authors C. A . Lutz
  • Oct ober 2009),
  • 2009
VIEW 2 EXCERPTS

Proc

A. Sheth, S. Staab, +5 authors K. eds.
  • 7th Int. Semantic Web Conf. (ISWC’08), LNCS, vol. 5318 . Springer
  • 2008