TY - GEN
T1 - Converting instance checking to subsumption
T2 - 28th AAAI Conference on Artificial Intelligence, AAAI 2014, 26th Innovative Applications of Artificial Intelligence Conference, IAAI 2014 and the 5th Symposium on Educational Advances in Artificial Intelligence, EAAI 2014
AU - Xu, Jia
AU - Visser, Ubbo
AU - Kabuka, Mansur
PY - 2014/1/1
Y1 - 2014/1/1
N2 - Instance checking is considered a central service for data retrieval from description logic (DL) ontologies. In this paper, we propose a revised most specific concept (MSC) method for DL SHI, which converts instance checking into subsumption problems. This revised method can generate small concepts that are specific-enough to answer a given query, and allow reasoning to explore only a subset of the ABox data to achieve efficiency. Experiments show effectiveness of our proposed method in terms of concept size reduction and the improvement in reasoning efficiency.
AB - Instance checking is considered a central service for data retrieval from description logic (DL) ontologies. In this paper, we propose a revised most specific concept (MSC) method for DL SHI, which converts instance checking into subsumption problems. This revised method can generate small concepts that are specific-enough to answer a given query, and allow reasoning to explore only a subset of the ABox data to achieve efficiency. Experiments show effectiveness of our proposed method in terms of concept size reduction and the improvement in reasoning efficiency.
UR - http://www.scopus.com/inward/record.url?scp=84908164764&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84908164764&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:84908164764
T3 - Proceedings of the National Conference on Artificial Intelligence
SP - 3142
EP - 3143
BT - Proceedings of the National Conference on Artificial Intelligence
PB - AI Access Foundation
Y2 - 27 July 2014 through 31 July 2014
ER -