Research on Evaluating Ontology Reasoners for Calculating Mups

Dan-Tong OUYANG,Yu ZHANG,Yu-Xin YE
DOI: https://doi.org/10.11897/SP.J.1016.2017.01422
2017-01-01
Chinese Journal of Computers
Abstract:Calculating minimal unsatisfiability preserving sub-terminologies (Mups) plays a crucial role in debugging incoherent terminology.On the basis of terminology dependency graph model and from the perspective of dependences between concepts,we define three metrics of semantic dependence,semantic cluster and dependence distribution to reflect the complexity of terminology.By studying unsatisfiable concept number,conflict axiom set cardinal and conflict axiom cardinal how to influence the difficulty of calculating Mups,we define two metrics of max cardinal of conflict axiom set and max cardinal of conflict axiom to reflect the complexity of incoherent terminology.Then,we devise a Mups Benchmark (MupsBen) to evaluate the performances of reasoners for calculating Mups based on those metrics.MupsBen is able to generate incoherent terminologies to evaluate the performances of Pellet,Hermit,FaCT++,JFact and TrOWL by black-box method.Evaluation experiments show that the proposed metrics can effectively reflect the complexity of Benchmark data for calculating Mups.The performance of specific reasoner decreases with the increase of complexity of test data.Because of the differences of inference mechanisms and optimization strategies,the performances of various reasoners have quite differences for diverse complexity metrics.
What problem does this paper attempt to address?