Effective method for detecting error causes from incoherent biological ontologies.

Area of Science:

• Ontology engineering
• Knowledge representation
• Artificial intelligence

Background:

• Computing minimal axiom sets (MinAs) is crucial for debugging incoherent ontologies.
• Pattern-based debugging methods like DOBP exist but are inefficient for large ontologies.

Purpose of the Study:

• To enhance the efficiency of computing MinAs for unsatisfiable classes in large incoherent ontologies.
• To introduce a module extraction technique to optimize ontology debugging.

Main Methods:

• Developed a module extraction algorithm to isolate erroneous classes.
• Applied a depth-first search strategy on extracted modules to find relevant axiom paths.
• Computed MinAs based on the smaller, extracted module instead of the entire ontology.

Main Results:

• The Module-DOBP method successfully extracts smaller, relevant modules from large ontologies.
• Experimental results on biological ontologies demonstrate the effectiveness of module extraction.
• The proposed approach shows improved efficiency compared to the original DOBP method.

Conclusions:

• Module extraction is an effective strategy for optimizing ontology debugging.
• The optimized approach significantly reduces computational overhead for large-scale incoherent ontologies.
• This method offers a more scalable solution for ontology debugging challenges.