Efficient Inferencing for OWL EL.
We develop inferencing methods for 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 feature...
Main Author: | Krötzsch, M |
---|---|
Other Authors: | Janhunen, T |
Format: | Journal article |
Language: | English |
Published: |
Springer
2010
|
Similar Items
-
Efficient Rule-Based Inferencing for OWL EL.
by: Krötzsch, M
Published: (2011) -
Efficient OWL Reasoning with Logic Programs - Evaluations.
by: Rudolph, S, et al.
Published: (2007) -
OWL 2 Profiles: An Introduction to Lightweight Ontology Languages.
by: Krötzsch, M
Published: (2012) -
Approximate OWL-Reasoning with Screech.
by: Tserendorj, T, et al.
Published: (2008) -
ELP: Tractable Rules for OWL 2.
by: Krötzsch, M, et al.
Published: (2008)