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
• Workshops and Conferences

Specific Projects

• The Cyc Project
• 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
• 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.

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 LCS Clinical Decision-Making Group Guardian Angel project
• The MIT LCS Planning 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.

Workshops and Conferences

1997

• AAAI Spring Symposium on Ontological Engineering
• KB&KS'97 - 3rd Int. Conf. on Building and Sharing of Very Large-Scale Knowledge Bases.

1996

• BANFF Knowledge Acquisition Workshop (KAW) Series and Archives
• DKISD'96 - IFIP WG 8.1/13.2 Joint Working Conference on Domain Knowledge for Interactive System Design.
• KEML'96 - 6th Workshop on Knowledge Engineering: Methods and Languages
• ISKO'96 - "Knowledge Organization and Change": the 4th Int Conf of the Int Soc for Knowledge Organization (July 15-18, 1996, Washington, DC).
• FLAIRS-96 track on Information Interchange
• IPIC'96 - International Working Conference on Integration of Enterprise Information and Processes "Rethinking Documents"
• Workshop on Ontological Engineering - held in conjunction with ECAI'96
• FQAS'96 - International Workshop on Flexible Query-Answering Systems.
• KBSE'96 - The 11th Knowledge-Based Software Engineering Conference
• KRDB'96 - Knowledge Representation meets Databases, At ECAI'96
• Workshop Ontological Engineering - ECAI'96 Workshop
• BISCA-96 - Bolzano International Schools in Cognitive Analysis
• TKE'96 - 4th International Congress on Terminology and Knowledge Engineering; Association for Terminology and Knowledge Transfer (GTW), International Network for Terminology (TermNet), International Information Centre for Terminology (Infoterm)
• Workshop on Product Knowledge Sharing for Integrated Enterprises - within the First International Conference on Practical Aspects of Knowledge Management

1995

• AI Applications in Knowledge Navigation and Retrieval - AAAI Fall Symposium
• International Knowledge Retrieval, Use, and Storage for Efficiency Symposium (KRUSE-95)
• KB&KS'95 - Building and Sharing of Very Large-Scale Knowledge Bases
• Time, Space and Movement
• Abstraction of Knowledge for Reuse - AAAI Fall Symposium
• Basic Issues in Knowledge Sharing - IJCAI Workshop

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.