3 citations · 5 across the 2 of their papers we have counts for
2 papers
cs.AI2014★ 2 cited
Converting Instance Checking to Subsumption: A Rethink for Object Queries over Practical Ontologies
Jia Xu, Patrick Shironoshita, Ubbo Visser +2
Efficiently querying Description Logic (DL) ontologies is becoming a vital task in various data-intensive DL applications. Considered as a basic service for answering object querie…
cs.AI2013★ 3 cited
Extract ABox Modules for Efficient Ontology Querying
Jia Xu, Patrick Shironoshita, Ubbo Visser +2
The extraction of logically-independent fragments out of an ontology ABox can be useful for solving the tractability problem of querying ontologies with large ABoxes. In this paper…