An Embedding-based Approach to Inconsistency-tolerant Reasoning with Inconsistent Ontologies

ArXi:2304.01664v3 Announce Type: replace Inconsistency handling is an important issue in knowledge management. Especially in ontology engineering, logical inconsistencies may occur during ontology construction. A natural way to reason with an inconsistent ontology is to utilize the maximal consistent subsets of the ontology. However, previous studies on selecting maximum consistent subsets have rarely considered the semantics of the axioms, which may result in irrational inference.