Knowledge Representation
- 1
- Action Theory Contraction and Minimal Change
- Article by Ivan José Varzinczak, postdoc researcher in artificial intelligence at universities in France and South Africa, building on Propositional Dynamic Logic. [PDF]
- 2
- Knowledge Interchange Format (KIF)
- A DARPA project. KIF is a language designed for use in the interchange of knowledge among disparate computer systems.
- 3
- Tockit Project
- Aims to create a framework for conceptual knowledge processing in terms of social structures and a common code base. Features software description and contact details.
- 4
- WebKB
- A set of tools using Conceptual Graphs formalism for building and documentation of knowledge bases, indexing or connecting elements of WWW-accessible documents.
- 5
- Buffalo Ontology Site
- Comprehensive collection of links maintained by Barry Smith, on the philosophy faculty at State University of New York at Buffalo.
- 6
- CO-ODE
- Collaborative Open Ontology Development Environment is a project led by the Medical Informatics Group at the University of Manchester.
- 7
- European Centre for Ontological Research (ECOR)
- ECOR represents a new approach in applying ontology to a variety of problems in information science and related areas, by coordinating institutions, organisations and companies working in the field.
- 8
- Guided Tour of Ontology
- Very large site comprising six papers by mathematician John F. Sowa of Harvard and MIT, each with summary introductory paragraph followed by numbered topic headings hyperlinked to detailed articles. Exhaustive summary bibliography.
- 9
- KBS/Ontology Projects and Groups
- Hundreds of annotated, alphabetically sorted links to ongoing work by members of the Knowledge Systems Research Group, part of the Artificial Intelligence Lab at the University of Texas at Austin.
- 11
- Ontolog
- Ontolog is an open, international, virtual community devoted to advancing the field of ontological engineering and semantic technologies, and advocating their adoption into mainstream applications and international standards.
- 12
- Ontologies Come of Age
- Paper by Deborah L. McGuinness discussing ontologies and requirements for their effective use on the web. [2002]
- 14
- What is an Ontology?
- Short and long answers from Tom Gruber of Knowledge Systems Lab at Stanford University.
- 15
- Annotea Project
- Live early adoption and demonstration project enhancing the W3C collaboration environment with shared annotations.
- 17
- Euler Proof Mechanism
- A backward-chaining reasoner based on RDF and OWL, using resolution inference mechanism and following Euler paths.