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
$$\mathcal {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. |
Year | DOI | Venue |
---|---|---|
2022 | 10.1007/978-3-031-16474-3_54 | Progress in Artificial Intelligence |
Keywords | DocType | Volume |
Axiom weakening, Refinement operator, Ontology repair, Almost-certain termination | Conference | 13566 |
ISSN | Citations | PageRank |
0302-9743 | 0 | 0.34 |
References | Authors | |
0 | 6 |
Name | Order | Citations | PageRank |
---|---|---|---|
Confalonieri Roberto | 1 | 0 | 0.68 |
Galliani Pietro | 2 | 0 | 0.34 |
Oliver Kutz | 3 | 839 | 72.56 |
Daniele Porello | 4 | 90 | 23.55 |
Righetti Guendalina | 5 | 0 | 0.68 |
Nicolas Troquard | 6 | 266 | 29.54 |