Reasoning Support for Ontology Design.
Published 1 November 2006
Carsten Lutz, Franz Baader, Enrico Franconi, Domenico Lembo, Ralf Möller, Riccardo Rosati
Citations12
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
TL;DR
This paper surveys the most important tasks that arise in ontology design and discusses how they can be supported by automated reasoning tools and shows that it is beneficial to go beyond the usual reasoning services.
Abstract
Abstract. The design of comprehensive ontologies is a serious challenge. Therefore, it is necessary to support the ontology designer by providing him with design methodologies, ontology editors, and automated reasoning tools that explicate the consequences of his design decisions. Currently, reasoning tools are largely limited to the reasoning services (i) computing the subsumption hierarchy of the classes in an ontology and (ii) determining the consistency of these classes. In this paper, we survey the most important tasks that arise in ontology design and discuss how they can be supported by automated reasoning tools. In particular, we show that it is beneficial to go beyond the usual reasoning services (i) and (ii). 1
Keywords
Computer ScienceBiochemistry, Genetics and Molecular Biology
Nature GeneticsGene Ontology: tool for the unification of biology
44,650 Citations2000Michael Ashburner, Catherine A. Ball +18 more
The goal of the Gene Ontology Consortium is to produce a dynamic, controlled vocabulary that can be applied to all eukaryotes even as knowledge of gene and protein roles in cells is accumulating and changing.
Cambridge University Press eBooksThe Description Logic Handbook
6,212 Citations2007Franz Baader, Franz Baader +17 more
Towards a standard upper ontology
1,601 Citations2001Ian Niles, Adam Pease
The strategy used to create the current version of the SUMO is outlined, some of the challenges that were faced in constructing the ontology are discussed, and its most general concepts and the relations between them are described.
Journal of Web SemanticsFrom SHIQ and RDF to OWL: the making of a Web Ontology Language
1,449 Citations2003Ian Horrocks, Peter F. Patel‐Schneider +1 more
This paper discusses how the philosophy and features of OWL can be traced back to these older formalisms, with modifications driven by several other constraints on OWL.
Lecture notes in computer scienceRACER System Description
903 Citations2001Volker Haarslev, Ralf Möller
RACER implements a TBox and ABox reasoner for the logic SHIQ, the first full-fledged ABox description logic system for a very expressive logic and is based on optimized sound and complete algorithms.
Data Archiving and Networked Services (DANS)Non-standard reasoning services for the debugging of description logic terminologies
423 Citations2003Stefan Schlobach, Ronald Cornet
Artificial Intelligence in MedicineThe GRAIL concept modelling language for medical terminology
288 Citations1997Alan Rector, Sean Bechhofer +4 more
This paper provides a description and motivation for the GRAIL language and gives examples of the modelling paradigm which it supports and is expected to form the basis for future languages which meet the same requirements but have greater expressiveness and more soundly based semantics.
Research Explorer (The University of Manchester)FaCT++ Description Logic Reasoner: System Description
206 Citations2006Dmitry Tsarkov, Ian Horrocks
Conservative extensions in expressive description logics
180 Citations2007Carsten Lutz, Dirk Walther +1 more
It is proved that conservative extensions are 2ExpTime-complete in ALCQI, but undecidable in A LCQIO, and it is shown that ifconservative extensions are defined model-theoretically rather than in terms of the consequence relation, they are undec formidable already in ALP.
Explaining subsumption in description logics
119 Citations1994Deborah L. McGuinness, Alexander Borgida
This paper explores the explanation of subsumption reasoning in Description Logics that are implemented using normalization methods, focusing on the perspective of knowledge engineers.
Lecture notes in computer scienceDebugging and Semantic Clarification by Pinpointing
95 Citations2005Stefan Schlobach
This paper identifies minimal sets of axioms which need to be removed or ignored to turn an ontology coherent and shows how pinpointing can be used for debugging of web ontologies in two typical cases.
Journal of Applied LogicComputing the least common subsumer w.r.t. a background terminology
88 Citations2006Franz Baader, Barış Sertkaya +1 more
A theoretical result is shown on the existence of the least common subsumer in this setting, and a practical approach is described for computing good common subsumers, which may, however, not be the least ones.
Explaining reasoning in description logics
86 Citations1996Deborah L. McGuinness
Four major issues in explaining the conclusions of procedurally implemented deductive systems are explored and a meta-language for describing interesting aspects of complicated objects is used to limit the amount of information that should be presented or explained.
Research Explorer (The University of Manchester)Pellet System Description
35 Citations2006Evren Sirin, Bijan Parsia
Pellet is a sound and complete tableau reasoner for SHOIN (D) and incorporates a number of key features such as conjunctive ABox query, axiom pinpointing, rules, E-connection reasoning, and novel optimizations for nominals.
International Journal of Intelligent SystemsA note on the refinement of ontologies
29 Citations2000Grigoris Antoniou, Athanasios Kehagias
This paper discusses a concept which can be expected to be of great importance to formal ontology management, and which is well‐known in traditional software development: refinement.
Oxford University Research Archive (ORA) (University of Oxford)Will my Ontologies Fit Together
29 Citations2006Bernardo Cuenca Grau, Ian Horrocks +2 more
The authors propose a set of reasoning services to check whether, through integration with other ontologies, desirable properties of an ontology have been destroyed, and introduce two ‘integration scenarios’ that, they believe, capture some of the common practices in ontology engineering.
Lecture notes in computer scienceConservative extensions, interpretations between theories and all that!
26 Citations1997T. S. E. Maibaum
The purpose of the paper is to present a retrospective on this work and outline the basic principles of a general theory of specification as it is seen now as well as highlighting the possibility of ‘internalising’ some of the meta concepts involved.