Open AccessJournal Article
Explaining ALC Subsumption.
Alexander Borgida,Enrico Franconi,Ian Horrocks,Deborah L. McGuinness,Peter F. Patel-Schneider +4 more
62
TL;DR: A solution based on a sequent calculus that is closely related to the tableau implementation, exploiting its optimisations and the resulting proofs are pruned and then presented as simply as possible using templates.
read more
About: This article is published in Description Logics. The article was published on 01 Jan 1999. and is currently open access. The article focuses on the topics: Knowledge-based systems.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Debugging unsatisfiable classes in OWL ontologies
TL;DR: A number of debugging cues generated from the authors' reasoner, Pellet, are integrated in their hypertextual ontology development environment, Swoop, and it is demonstrated that these debugging cues significantly improve the OWL debugging experience, and point the way to more general improvements in the presentation of an ontology to users.
275
Debugging OWL-DL ontologies: a heuristic approach
Hai H. Wang,Matthew Horridge,Alan L. Rector,Nick Drummond,Julian Seidenberg +4 more
- 06 Nov 2005
TL;DR: In this paper, a black-box heuristic approach based on identifying common errors and inferences is presented to debug the OWL ontologies and discover why a reasoner has inferred that a class is unsatisfiable.
A general diagnosis method for ontologies
Gerhard Friedrich,Kostyantyn Shchekotykhin +1 more
- 06 Nov 2005
TL;DR: This paper defines general concepts for the diagnosis of ontologies and provides correct and complete algorithms for the computation of minimal diagnoses of knowledge bases.
Conceptual Modeling for Distributed Ontology Environments
Deborah L. McGuinness
- 14 Aug 2000
TL;DR: Conceptual modeling issues are discussed and topics with elevated importance in distributed environments are focused on, drawing on the experience creating and maintaining ontologies in differing knowledge representation and reasoning environments over the last decade.
83
State of the Art Survey
Deliverable D,Andrea Calì,D. Calvanese,B. Cuenca Grau,G. De Giacomo,Domenico Lembo,Maurizio Lenzerini,Carsten Lutz,D. Milano,Ralf Möller,Antonella Poggi,Ulrike Sattler +11 more
- 01 Jan 2006
TL;DR: This report overviews the work on ontologies from four different points of view, and presents several approaches for integrating and merging ontologies by detecting correspondences among them.
83