SUO Home
Scope and Purpose
How to Participate
How we do Business
Resolutions
Members Area
Expert Contributions
Ontology References
Links to related work
Start Documents
IFF
Lattice of Theories
OpenCYC
SUMO
4D Ontology
MSO
Procedures
SUO-KIF
|
IEEE P1600.1
Standard Upper Ontology Working Group (SUO WG)
References to Ontologies
Standard Upper Ontology Content references
Note that since the SUO effort aims to create a free, public
standard, only ontologies which are feely available may be listed
here
Ontologies in SUO-KIF
Formal ontologies
- Public Cyc upper
ontology and KIF version
- Many small ontologies posted on Ontolingua
- DOLCE from Laboratory of
Applied Ontology produced as part of the WonderWeb project.
- John Sowa's upper ontology: Sowa, John F., Knowledge
Representation: Logical, Philosophical, and Computational Foundations,
Brooks Cole Publishing Co., Pacific Grove, Calif., 2000.
- Russell & Norvig's upper
ontology: Russell, S., and Norvig, P. (1994), AI: A Modern
Approach, Prentice-Hall.
- Allen's temporal logic: Allen, J. F. (1983). Maintaining
knowledge about temporal intervals. Communications of the ACM,
26 (11), 832-843. (simple version
in KIF and other
papers)
- Casati and Varzi, 1995, Holes and Other Superficialities,
MIT Press - formal theory
from Appendix A (MIT
publications site)
- Ontology
of Boundaries, Ontology
of Niches, Ontology
of Geographic Information
- Many papers containing ontologies on Barry
Smith's site
- Marty, R., (1990), L'Algebre Des Signes : Essai De Semiotique
Scientifique D'Apres Charles Sanders Peirce (Foundations of Semiotics,
24)
- Eric Sandewall, Features and Fluents. For a brief summary
of his distinctions, see John Sowa's summary
- The
Enterprise Ontology - about 90 very well chosen terms worked
on by a group including industry and academia along with some
experts in British Standards. This is also formalised in KIF
and available via the Stanford Ontolingua server. It has 5 main
content areas for organisation, agents, activity, time (based
on Allen's temporal relations) (local
mirror)
- Plan and activity representations: SPAR
(Shared Planning and Activity Representation), Core
Plan Representation, NIST
PSL (Process Specification Language), Process
Interchange Format
- Public Domain Knowledge
Bank which has built on top of the public Cyc upper ontology
- pp. 12-14 and the prerequisite definitions from Anne Troelstra's
book (_Lectures on Linear Logic_, CSLI, 1992). A useful formalization
of linear logic in a Gentzen-style system of inference rules
can be found in "Linear
Logic and Computation: A Survey" by Andre Scedrov
- Botany
knowledge base
Linguistic ontologies/lexicons
Other standards which may provide terms and relations
which can be merged into the SUO
Domain specific information which could be supported
by the SUO
Some ontologies which do not appear to be freely available
include Mikrokosmos,
UMLS, EDR, and ThoughtTreasure |