1 results match your criteria International Journal of Intelligence Science

  • Page 1 of 1

Converting Instance Checking to Subsumption: A Rethink for Object Queries over Practical Ontologies.

Int J Intell Sci 2015 Jan;5(1):44-62

Department of Electrical and Computer Engineering, University of Miami, Coral Gables, USA.

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. Read More

View Article

Download full-text PDF

http://dx.doi.org/10.4236/ijis.2015.51005DOI Listing
January 2015
4 Reads
  • Page 1 of 1