Read full paper at: http://www.scirp.org/journal/PaperInformation.aspx?PaperID=52931#.VKyljcnQrzE Author(s) Jia Xu 1 , Patrick Shironoshita 1 , Ubbo Visser 2 , Nigel John 1 , Mansur Kabuka 1 Affiliation(s) 1 Department of Electrical and Computer Engineering, University of Miami, Coral Gables, USA . 2 Department of Computer Science, University of Miami, Coral Gables, USA . ABSTRACT 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 queries over DL ontologies, instance checking can be realized by using the most specific concept (MSC) method, which converts instance checking into subsumption problems. This method, however, loses its simplicity and efficiency when applied to large and complex ontologies, as it tends to generate very large MSCs that could lead to intractable reasoning. In this paper, we propose a revis...
Scientific Research Publishing