no code implementations • 24 Dec 2014 • Jia Xu, Patrick Shironoshita, Ubbo Visser, Nigel John, Mansur Kabuka
Efficiently querying Description Logic (DL) ontologies is becoming a vital task in various data-intensive DL applications.
no code implementations • 21 May 2013 • Jia Xu, Patrick Shironoshita, Ubbo Visser, Nigel John, Mansur Kabuka
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.