Concept refinement operators have been introduced to describe and compute generalisations and specialisations of concepts, with, amongst others, applications in concept learning and ontology repair through axiom weakening. We here provide a probabilistic proof of almost-certain termination for iterated refinements, thus for an axiom weakening procedure for the fine-grained repair of ALC ontologies. We determine the computational complexity of refinement membership, and discuss performance aspects of a prototypical implementation, verifying that almost-certain termination means actual termination in practice.
Almost Certain Termination for $$\mathcal {ALC}$$ Weakening / Confalonieri, Roberto; Galliani, Pietro; Kutz, Oliver; Porello, Daniele; Righetti, Guendalina; Troquard, Nicolas. - ELETTRONICO. - (2022), pp. 663-675. ( EPIA 2022 LIsbon 31/08/2022) [10.1007/978-3-031-16474-3_54].
Almost Certain Termination for $$\mathcal {ALC}$$ Weakening
Daniele Porello;
2022-01-01
Abstract
Concept refinement operators have been introduced to describe and compute generalisations and specialisations of concepts, with, amongst others, applications in concept learning and ontology repair through axiom weakening. We here provide a probabilistic proof of almost-certain termination for iterated refinements, thus for an axiom weakening procedure for the fine-grained repair of ALC ontologies. We determine the computational complexity of refinement membership, and discuss performance aspects of a prototypical implementation, verifying that almost-certain termination means actual termination in practice.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione
