Sites Relevant to Ontologies and Knowledge Sharing

 The information on this page has been collected from a number of sites, all of which are included here. 

Table of Contents

• Specific Projects
• General Resources Pages
• Sources for Implemented Ontologies

Specific Projects

• Knowlege Sharing and Ontology work at Stanford's Knowledge System's Lab including the
• Ontolingua system for distributed collaborative ontology editing and use.
• The How Things Work (HTW) Project.
• The KIF Knowledge Interchange Format standard
• IEEE Standard Upper Ontology (SUO) Working Group
• KQML - Knowledge Query and Manipulation Language
• The ARPA Intelligent Integration of Information I³ project
• The Process Interchange Format (PIF) project.
• The Toronto Enterprise Integration Laboratory
• The Planning Initiative (ARPI)
• The PROTÉGÉ-II Research Project at Stanford.
• The Cyc Project

General Resources Pages

• Ontology resources collated by Nicola Guarino (Padova, Italy)
• Ontology resources collated by Doug Skuce at the University of Ottawa
• Knowledge-base Projects collated by Bruce Porter's group at the University of Texas, Austin.
• Classification Research Home Page (SIGCR, ASIS)
• Knowledge Representation and Reasoning group, collated by Enrico Franconi at IRST, Povo TN, Italy
• TOP: Ontology resources page maintained by KR&R, Inc.
• Aristotle - A clearinghouse devoted to projects, research, products and services devoted to 'automated categorization'.
• Untangle - Intelligent information access by providing a deep representation of information using description logics.
• University of Twente, the Ontology Collection homepage
• ESPRIT Projects relevant to knowledge sharing and ontologies:
• EuroKnowledge - ESPRIT Project to co-ordinate and encourage standardisation activities in the area of knowledge technology.
• KACTUS - ESPRIT Project on "modelling Knowledge About Complex Technical systems for multiple USe"
• KADS-II - ESPRIT Project on "An Advanced and Comprehensive Methodology for Integrated KBS Development";
• KEML - Knowledge Engineering Methods and Languages, archive and mailing list.
• FERMI - ESPRIT Project on "Formalisation and Experimentation on the Retrieval of Multimedia Information."
• COMMET and KREST - Components of Expertise Method and Toolkit(Free University of Brussels)
• TRADE, LCM and TCM - Toolkit for Requirements and Design Engineering (Free University of Amsterdam)
• Linguistic Geometry - applications to manufacturing, space navigation, robotics, planning, scheduling, VLSI design and other systems
• SPACENET - European Qualitative Spatial Reasoning Network
• Internet Medical Terminology Resources.
• GALEN - Generalised Architecture for Languages, Encyclopaedias and Nomenclatures in Medicine.
• Unified Medical Language System - (UMLS®).
• SHOE - A proposed small extension to HTML which allows HTML authors to annotate their web documents with formal knowledge-representation semantics.
• Language Analysis & Knowledge Engineering (LAKE) Research Group at Ottawa;
• SRI Artificial Intelligence Center - Representation and Reasoning Technologies;
• the GKB-Editor: graphical browser/editor for declarative knowledge
• Knowledge reuse and ontologies research at Osaka University.
• Mizoguchi Lab, Japan - Ontology Engineering
• Shelter - an environment for collaborative, team development of large knowledge based systems in a manner facilitating sharing and reuse.
• Sensus - Ontology Creation and Use in the Pangloss project (papers)
• The Enterprise Ontology and Project at AIAI, University of Edinburgh
• The ThoughtTreasure ontology, as part of the ThoughtTreasure artificial intelligence program/tool set.
• The MIKROKOSMOS Ontology - from the Computing Research Laboratory, New Mexico State University.
• The Moby lexicon project.
• The Reuse Center - An Intelligent Distributed Data Base for OO Software Components.
• Ontological Foundations of Knowledge Representation - The AI & Robotics Group of LADSEB, Padua, Italy
• The ARPA/Rome Laboratory Planning Initiative (ARPI)Planning Ontology Construction Group (POCG), growing out of the older Knowledge Representation Specification Language (KRSL) effort.
• The MIT LCSClinical Decision-Making Group Guardian Angel project
• The MIT LCSPlanning Ontology Project
• The USC ISI SENSUS project
• The Edinburgh Plan Ontology Project
• ARPA Knowledge Sharing Effort library
• The ThoughtTreasure ontology. This ontology is available under the terms of the GNU General Public License. It consists of 21,521 concepts and 37,162 assertions and is part of the ThoughtTreasure artificial intelligence program/tool set, which contains much else besides the ontology.
• The Mikrokosmos ontology: An in-depth, broad coverage ontology for multilingual Natural Language Processing

Sources for Implemented Ontologies

• The MIKROKOSMOS Ontology - from the Computing Research Laboratory, New Mexico State University.
• The Generalized Upper Model 2.0 developed originally to support natural language processing, but with extended goals towards more general domain modeling.
• The Toronto Virtual Enterprise (TOVE) project
• Generalized Upper Model - GMD, Darmstadt, Germany
• Planning and Reasoning Ontology at MIT;
• the Knowledge Representation Specification Language (KRSL);
• Planning Ontology Construction Group (POCG);
• the Edinburgh Activity/Process/Plan Ontology Project.

Bibliography

• What is an Ontology? (Gruber)
• Data and Knowledge Engineering (DKE) journal, Elsevier, 1996 special issue on Modelling Parts and Wholes;

Alessandro Artale, Enrico Franconi, Nicola Guarino and Luca Pazzi: Part-Whole Relations in Object-Centered Systems: An Overview.