OntoEdit: Guiding Ontology Development by Methodology and Inferencing
Lecture notes in computer sciencePublished 1 January 2002
York Sure, Juergen Angele, Steffen Staab
Citations123
SJR quartileQ2
SJR score0.35
SNIP0.55
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
OntoEdit is an ontology editor that has been developed keeping five main objectives in mind: Ease of use, methodology-guided development of ontologies, extensibility through plug-in structure, development of Ontology axioms, and development ofOntologyAxioms.
Abstract
Ontologies now play an important role for many knowledge-intensive applications for which they provide a source of precisely defined terms. The terms are used for concise communication across people and applications. OntoEdit is an ontology editor that has been developed keeping five main objectives in mind: 1. Ease of use. 2. Methodology-guided development of ontologies. 3. Ontology development with help of inferencing. 4. Development of ontology axioms. 5. Extensibility through plug-in structure. This paper is about the first four of these items.
Keywords
Computer ScienceBiochemistry, Genetics and Molecular Biology
Journal of the ACMThe well-founded semantics for general logic programs
1,670 Citations1991Allen Van Gelder, Kenneth A. Ross +1 more
It is shown that the class of programs possessing a total well-founded model properly includes previously studied classes of "stratified" and "locally stratified" programs, and is compared with other proposals in the literature.
Journal of the ACMLogical foundations of object-oriented and frame-based languages
1,456 Citations1995Michael Kifer, Georg Lausen +1 more
A novel formalism, called Frame Logic (abbr., F-logic), is proposed, that accounts in a clean and declarative fashion for most of the structural aspects of object-oriented and frame-based languages.
IEEE Intelligent SystemsKnowledge processes and ontologies
815 Citations2001Steffen Staab, Rudi Studer +2 more
An approach for ontology-based knowledge management (KM) that includes a tool suite and a methodology for developing ontological-based KM systems is presented, illustrated by CHAR (Corporate History AnalyzeR), a KM system for corporate history analysis.
Communications of the ACMEvaluating ontological decisions with OntoClean
765 Citations2002Nicola Guarino, Christopher Welty
Explosing common misuses of the subsumption relationship and the formal basis for why they are wrong and how to stop them.
Lecture notes in computer scienceThe Knowledge Model of Protégé-2000: Combining Interoperability and Flexibility
630 Citations2000Natalya F. Noy, Ray W. Fergerson +1 more
This work describes ProtEgE-2000 knowledge model that makes the import and export of knowledge bases from and to other knowledge-base servers easy and demonstrates that it can resolve many of the differences between the knowledge models of ProtEe-2000 and Resource Description Framework (RDF)--a system for annotating Web pages with knowledge elements--by defining a new metaclass set.
IEEE Intelligent Systems and their ApplicationsBuilding a chemical ontology using Methontology and the Ontology Design Environment
586 Citations1999Máximo López, Asuncíon Gómez-Pérez +2 more
This work presents the experience in using Methontology and ODE to build the chemical ontology and the Ontology Development Environment.
An environment for merging and testing large ontologies
570 Citations2000Deborah L. McGuinness, Richard Fikes +2 more
A new merging and diagnostic ontology environment called Chimaera is presented, which was developed to address issues in the context of HPKB and some initial tests of its effectiveness in merging tasks are reported on.
Ontobroker: Ontology Based Access to Distributed and Semi-Structured Information
489 Citations1999Stefan Decker, Michael Erdmann +2 more
Ontobroker is developed which uses formal ontologies to extract, reason, and generate metadata in the WWW, and the generation of RDF descriptions enables the exploitation of the ontological information in RDF-based applications.
Lecture notes in computer scienceOilEd: A Reason-able Ontology Editor for the Semantic Web
396 Citations2001Sean Bechhofer, Ian Horrocks +2 more
OilEd is an ontology editor that has an easy to use frame interface, yet at the same time allows users to exploit the full power of an expressive web ontology language (OIL).
Using an Expressive Description Logic: FaCT or Fiction?
396 Citations1998Ian Horrocks
This paper describes a sound and complete tableaux subsumption testing algorithm for a relatively expressive Description Logic which, in spite of the logic’s worst case complexity, has been shown to perform well in realistic applications.
Lecture notes in computer scienceOntoEdit: Collaborative Ontology Development for the Semantic Web
389 Citations2002York Sure, Michael Erdmann +4 more
This paper focuses on collaborative development of ontologies with OntoEdit which is guided by a comprehensive methodology.
The alternating fixpoint of logic programs with negation
370 Citations1989Allen Van Gelder
It is shown that a system is fixpoint Logic, which permits rule bodies to be first order formulas but requires inductive relations to be positive within them, can be transformed straightforwardly into a normal logic program whose alternating fixpoint partial model corresponds to the least fixpoint of the fixpoint logic system.
Lecture notes in computer scienceA Formal Ontology of Properties
363 Citations2000Nicola Guarino, Christopher Welty
This paper shows how a formal ontology of unary properties can help using the subsumption relation in a disciplined way, based on some meta-properties built around the fundamental philosophical notions of identity, unity, essence, and dependence.
IEEE ExpertThe conceptual basis for mediation services
289 Citations1997Gio Wiederhold, Michael Genesereth
The conceptual underpinning for automating mediation, a layer of intelligent middleware services in information systems that link data resources and application programs, is presented.
Open Research Online (The Open University)Tadzebao and WebOnto: discussing, browsing, and editing ontologies on the Web
212 Citations1998John Domingue
Tadzebao enables knowledge engineers to hold synchronous and asynchronous discussions about ontologies, and WebOnto uses a Java based client to alleviate the acknowledged problems of creating interfaces in `vanilla HTML'.
International Journal of Human-Computer StudiesWonderTools? A comparative study of ontological engineering tools
209 Citations2000A.J. DUINEVELD, R. STOTER +3 more
The usefulness of the tools depends on the level of the users and the stage of development of the ontology, as well as cooperation with other users.
WebODE
130 Citations2001Julio César Arpírez, Óscar Corcho +2 more
Journal of Computer and System SciencesThe alternating fixpoint of logic programs with negation
111 Citations1993Allen Van Gelder
The principal contributions of this work are that the alternating xpoint partial model is identical to the well-founded partial model, and that alternating xpoint logic is at least as expressive as xpoint logic on all structures.
IEEE Intelligent Systems and their ApplicationsPart-whole reasoning: a case study in medical ontology engineering
45 Citations1999Udo Hahn, S. Schulz +1 more
This proposal lets the knowledge engineer, on demand, enable or disable transitivity of part-whole reasoning and part-Whole induced concept specialization and role propagation, with respect to commonly shared medical conceptualizations.
Partonomic reasoning as taxonomic reasoning in medicine
35 Citations1999Udo Hahn, Stefan Schulz +1 more
A new representation construct for part-whole relations is proposed, based on the formal framework of description logics, that allows us to fully reduce partonomic reasoning to classification-based taxonomic reasoning.
Ontologies in RDF(S)
15 Citations2001Steffen Staab, Michael Erdmann +1 more
This paper provides flexible, extensible, and adequate means for accessing and exchanging axioms in RDF(S), and follows the spirit of the World Wide Web as it does not assume a global axiom specification language that is too intractable for one purpose and too weak for the next.