Concept-Based semantic difference in expressive description logics

摘要: Detecting, much less understanding, the difference between two description logic based ontologies is challenging for ontology engineers due, in part, to possibility of complex, non-local effects axiom changes. First, it often quite difficult even determine which concepts have had their meaning altered by a change. Second, once concept change pinpointed, problem distinguishing whether directly or indirectly affected has yet be tackled. To address first issue, various principled notions "semantic diff" (based on deductive inseparability) been proposed literature and shown computationally practical expressively restricted case ${\mathcal ELH}^r$-terminologies. However, problems arise such limited logics as ALC}$: computation gets more difficult, becoming undecidable SROIQ}$ underly Web Ontology Language (OWL). presence negation disjunction make standard semantic too sensitive change: essentially, any logically effectual always affects all terms ontology. In order tackle these issues, we formulate central notion finding minimal set model inseparability, present method differentiate changes are specific (thus affect) particular names. Subsequently devise series computable approximations, compare variously approximated sets over versions NCI Thesaurus (NCIt).