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

Area of Science:

• Artificial Intelligence
• Knowledge Representation and Reasoning

Background:

• Description Logic (DL) ontologies are crucial for data-intensive applications.
• Instance checking in DL ontologies is a fundamental query service.
• The traditional Most Specific Concept (MSC) method for instance checking can be inefficient for large ontologies due to large concept generation.

Purpose of the Study:

• To propose a revised Most Specific Concept (MSC) method for Description Logic (DL) ontologies.
• To enhance the efficiency and scalability of instance checking in DL applications.
• To generate simpler and smaller concepts for accurate query answering.

Main Methods:

• Revision of the existing Most Specific Concept (MSC) method for DL.
• Developing a technique to generate smaller and sufficiently specific concepts.
• Leveraging the independence of computed MSCs for parallel computation.

Main Results:

• The revised MSC method generates significantly smaller and simpler concepts.
• The method maintains specificity required for accurate instance checking.
• Achieved scalability for query answering through distributed and parallelized computations.

Conclusions:

• The revised MSC method offers a more efficient approach to instance checking in DL ontologies.
• This enhancement is particularly beneficial for large and complex DL applications.
• The method demonstrates significant efficiency gains and scalability for object query answering.