This page: http://www.pms.informatik.uni-muenchen.de/mitarbeiter/Ohlbach/Ontology/        (validation)
ohlbach@informatik.uni-muenchen.de, 2001-04-20

Ontology and Knowledge Representation Formalisms

20. April 2001

Table of Contents

1. General Links
2. CYC
3. Ontology Inference Layer (OIL)
4. XOL Ontology Exchange Language
5. Topic Maps
6. Ontolingua
7. Protege
8. OML/CKML
9. Object-Process Methodology (OPM)
10. Open Knowledge Base Connectivity (OKBC)
11. XML/RDF/RDFS

General Links

Other Collections of Links about Ontologies

• the Ontology Page maintained by Enrico Franconi;
• the Ontology Page maintained by Peter Clark.
• Ontology groups and projects - a structured index.
• Linguistic Annotation

Organizations, companies and Projects

• The Ontology Page
• DAML: The DARPA Agent Markup Language Homepage
• On-To-Knowledge: Content-driven Knowledge-Management through Evolving Ontologies
• ibrow: An Intelligent Brokering Service for Knowledge-Component Reuse on the World-Wide Web
• doctypes.org A collection of XML related links
• Knowledge Systems Laboratory Stanford University
• CMU World Wide Knowledge Base (Web->KB) project
• Enrich Project (Enriching Representations of Work to Support Organisational Learning)
• Ontology Works

Software

• Generic Knowledge-Base Editor

Some Papers

• Formal Ontology and Conceptual Analysis -- A Structured Bibliography
• An Evaluation of Ontology Exchange Languages for Bioinformatics
• Combining Ontologies and Terminologies in Information Systems

CYC

The world's biggest knowledge base

Links

• CYCORP

Papers

• Features of CycL
• The Cyc Application Programmers Interface

back to the table of contents

Ontology Inference Layer (OIL)

OIL is essentially a Description Logic, but with a frame based syntax which more or less an extension of XOL

Links

• OIL homepage
• DAML + OIL

Papers

• The Ontology Inference Layer OIL
• An informal description of Standard OIL and Instance OIL
• A Denotational Semantics for Standard OIL and Instance OIL
• Reference description of the DAML+OIL ontology markup language

back to the table of contents

XOL Ontology Exchange Language

XOL is an XML-based ontology-exchange language. Although XOL was designed for exchange of bioinformatics ontologies, it can be used for ontologies in any domain.

Links

• XOL homepage

Papers

• The XOL specification (html format)

back to the table of contents

Topic Maps

An XML standard for topics and associations between topics.

Links

• XTM Topic Maps
• XTM at doctypes.org
• InfoLoom, Inc. A new informative web site on topic maps

Papers

• XML Topic Maps (XTM) 1.0
• XML Topic Maps (XTM) Processing Model 1.0
• The TAO of Topic Maps

back to the table of contents

Ontolingua

Ontolingua provides a distributed collaborative environment to browse, create, edit, modify, and use ontologies.

Links

• Ontolingua
• Chimæra for creating and maintaining distributed ontologies on the web

Papers

• Project Papers

back to the table of contents

Protege

Protégé-2000 is a tool which allows the user to: construct a domain ontology, customize knowledge-acquisition forms, enter domain knowledge.

Links

• Protege

Papers

• Knowledge Modeling at the Millennium (The Design and Evolution of Protege-2000) (pdf)
• The knowledge model of Protege-2000: Combining interoperability and flexibility (pdf)

back to the table of contents

OML/CKML

The conceptual knowledge framework OML (Ontology Markup Language) CKML (Conceptual Knowledge Markup Language)

Links

• CKRMI/OML
• OML Version 0.3

Papers

• Conceptual Knowledge Markup Language: The Central Core

back to the table of contents

Object-Process Methodology (OPM)

Links

• OPM at SIGHTCODE

Papers

• Object-Process Methodology as an Industry Enterprise Framework
• Object-Process Methodology. A Holistic Systems Paradigm

back to the table of contents

Open Knowledge Base Connectivity (OKBC)

Open Knowledge Base Connectivity (OKBC) is an application programming interface for accessing knowledge bases stored in knowledge representation systems

Links

• OKBC homepage
• OKBC implementations and documents

Papers

• Open Knowledge Base Connectivity 2.0.3

back to the table of contents

Resource Description Framework (XML/RDF/RDFS)

Links

• RDF

Papers

• Resource Description Framework (RDF) Model and Syntax Specification
• Resource Description Framework (RDF) Schema Specification 1.0