199 citations · 396 across the 17 of their papers we have counts for
6 papers · 1 filter
Handling owl:sameAs via Rewriting
Boris Motik, Yavor Nenov, Robert Piro +1
Rewriting is widely used to optimise owl:sameAs reasoning in materialisation based OWL 2 RL systems. We investigate issues related to both the correctness and efficiency of rewriti…
Answering Conjunctive Queries over Knowledge Bases with Transitive and Reflexive Roles
Giorgio Stefanoni, Boris Motik
Answering conjunctive queries (CQs) over knowledge bases (KBs) with complex role inclusions is PSPACE-hard and in PSPACE in certain cases; however, if complex role i…
Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies
Bernardo Cuenca Grau, Ian Horrocks, Markus Krötzsch +4
Answering conjunctive queries (CQs) over a set of facts extended with existential rules is a prominent problem in knowledge representation and databases. This problem can be solved…
Reasoning over Ontologies with Hidden Content: The Import-by-Query Approach
Bernardo Cuenca Grau, Boris Motik
There is currently a growing interest in techniques for hiding parts of the signature of an ontology Kh that is being reused by another ontology Kv. Towards this goal, in this pape…
Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice
Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos +1
To achieve scalability of query answering, the developers of Semantic Web applications are often forced to use incomplete OWL 2 reasoners, which fail to derive all answers for at l…
Hypertableau Reasoning for Description Logics
Boris Motik, Rob Shearer, Ian Horrocks
We present a novel reasoning calculus for the description logic SHOIQ^+---a knowledge representation formalism with applications in areas such as the Semantic Web. Unnecessary nond…