199 citations · 396 across the 17 of their papers we have counts for
Showing 2014 · cs.AIShow all
3 papers · 2 filters
cs.AI2014★ 4 cited
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…
cs.AI2014★ 32 cited
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…
cs.AI2014★ 21 cited
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…