SUO Home
Scope and Purpose
How to Participate
How we do Business
Resolutions
Members Area
Expert Contributions
Ontology References
Links to related work
IFF
Lattice of Theories
OpenCYC
SUMO
4D Ontology
MSO
Procedures
SUO-KIF
IEEE P1600.1
Standard Upper Ontology Working Group (SUO WG)
Links to related work
- Steps toward Formalizing Context (AI Magazine, 1996).
- OntoMap project
- IDEF-5
- Theorem provers
- Interlingua mail archives on which the development of KIF was discussed
- Some Notes on the Nature of Things
- Investigation of the biological nature of signes and semiotic base of biology
- Pat Hayes' brief tutorial on higher order logic
- An essay on Definitions, Dictionaries and Meanings
- "Official" RDF page
- OntoLogos
- OntoKnowledge
- Semantic Web
- FIPA
- ANSI Ad Hoc Group on Ontology Standards
- Modal logic (from the classic paper SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTIFICIAL INTELLIGENCE
- Logic and Philosophy links (from the Sito Web Italiano per la Filosophia - Italian Philosophy Web Site)
- The Stanford Encyclopedia of Philosophy and other encyclopedias
- DARPA HPKB and RKF projects
- EXIST project
- Introduction to EXIST (PowerPoint Presentation)
- Lexical form of EXIST (PowerPoint Presentation)
- EBNF Syntax for the lexical form (text file)
- Graphical form of EXIST (PowerPoint Presentation)
- Meta Model for EXIST - entity-relationship model (Word file):