Journal ArticleDOI
Debugging unsatisfiable classes in OWL ontologies
Reads0
Chats0
TLDR
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.About:
This article is published in Journal of Web Semantics.The article was published on 2005-12-01. It has received 252 citations till now. The article focuses on the topics: Ontology (information science) & OWL-S.read more
Citations
More filters
Journal ArticleDOI
Ontologies and the semantic web
TL;DR: How ontologies provide the semantics, as explained here with the help of Harry Potter and his owl Hedwig.
Book ChapterDOI
Finding all justifications of OWL DL entailments
TL;DR: This paper presents several algorithms for computing all the justifications of an entailment in an OWL-DL Ontology and shows, by an empirical evaluation, that even a reasoner independent approach works well on real ontologies.
Proceedings ArticleDOI
Debugging OWL ontologies
TL;DR: A number of simple debugging cues generated from the description logic reasoner, Pellet, are integrated in the hypertextual ontology development environment, Swoop, to significantly improve the OWL debugging experience, and point the way to more general improvements in the presentation of an ontology to new users.
BookDOI
Ontology Engineering in a Networked World
TL;DR: This book by Surez-Figueroa et al. provides the necessary methodological and technological support for the development and use of ontology networks, which ontology developers need in this distributed environment.
Journal Article
Repairing Unsatisfiable Concepts in OWL Ontologies
TL;DR: This paper investigates the problem of repairing unsatisfiable concepts in an OWL ontology in detail, keeping in mind the user perspective as much as possible and presents a preliminary version of an interactive ontology repair tool.
References
More filters
BookDOI
The Description Logic Handbook: Theory, Implementation and Applications
TL;DR: The Description Logic Handbook as mentioned in this paper provides a thorough account of the subject, covering all aspects of research in this field, namely: theory, implementation, and applications, and can also be used for self-study or as a reference for knowledge representation and artificial intelligence courses.
Proceedings ArticleDOI
Annotea: an open RDF infrastructure for shared Web annotations
José Kahan,Marja-Ritta Koivunen +1 more
TL;DR: The paper presents the overall design of Annotea and describes some of the issues the project faced and how it has solved them, including combining RDF with XPointer, XLink, and HTTP.
Journal ArticleDOI
Annotea: an open RDF infrastructure for shared Web annotations
TL;DR: The paper presents the overall design of Annotea and describes some of the issues the project has faced and how it has solved them, including combining RDF with XPointer, XLink, and HTTP.
Proceedings Article
Pellet: An OWL DL Reasoner
Evren Sirin,Bijan Parsia +1 more
TL;DR: Pellet has the usual suite of optimizations including lazy unfolding, absorption, dependency directed backjumping, and semantic branching, and incorporates datatype reasoning for the built-in primitive XML Schema datatypes.