We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.AI

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Artificial Intelligence

Title: Repairing $\mathcal{EL}$ Ontologies Using Weakening and Completing

Abstract: The quality of ontologies in terms of their correctness and completeness is crucial for developing high-quality ontology-based applications. Traditional debugging techniques repair ontologies by removing unwanted axioms, but may thereby remove consequences that are correct in the domain of the ontology. In this paper we propose an interactive approach to mitigate this for $\mathcal{EL}$ ontologies by axiom weakening and completing. We present algorithms for weakening and completing and present the first approach for repairing that takes into account removing, weakening and completing. We show different combination strategies, discuss the influence on the final ontologies and show experimental results. We show that previous work has only considered special cases and that there is a trade-off between the amount of validation work for a domain expert and the quality of the ontology in terms of correctness and completeness.
Comments: 33 pages, 4 figures, 30 tables
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
MSC classes: 68T30
ACM classes: I.2.4
Cite as: arXiv:2208.00486 [cs.AI]
  (or arXiv:2208.00486v1 [cs.AI] for this version)

Submission history

From: Patrick Lambrix [view email]
[v1] Sun, 31 Jul 2022 18:15:24 GMT (253kb,D)

Link back to: arXiv, form interface, contact.