Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
Description Logic Reasoning with Decision Diagrams
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
ELP: Tractable Rules for OWL 2
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
A comparison of reasoning techniques for querying large description logic ABoxes
LPAR'06 Proceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
On the semantic relationship between datalog and description logics
RR'10 Proceedings of the Fourth international conference on Web reasoning and rule systems
A better uncle for OWL: nominal schemas for integrating rules and ontologies
Proceedings of the 20th international conference on World wide web
Local closed world reasoning with description logics under the well-founded semantics
Artificial Intelligence
Using SPARQL with RDFS and OWL entailment
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
Coherent top-k ontology alignment for OWL EL
SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
Rule-based OWL reasoning for specific embedded devices
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part II
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
Efficient rule-based inferencing for OWL EL
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
Towards an efficient algorithm to reason over description logics extended with nominal schemas
RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
| Hi-index | 0.00 |
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 fragments of SROEL(∩, ×).