SUO: SUMO history
Folks,
I thought it might be helpful in understanding the development of SUMO
to show the version history. This has been available from
<http://ontology.teknowledge.com/cgi-bin/cvsweb.cgi/SUO/Merge.txt> but
folks may not have checked out that link so I've reproduced the content here.
----------------------------
Revision : 1.15
Date : 2001/6/22 20:5:44
Author : 'iniles'
State : 'Exp'
Lines : +3746 -3085
Description :
Incorporates a revision of all of the docu-strings in the SUMO. Includes
approximately 100 new axioms, which specify formally what had previously
only been part of the documentation. Also incorporates changes prompted by
Chris Menzel's critique of the SUMO.
----------------------------
Revision : 1.14
Date : 2001/6/6 20:21:43
Author : 'iniles'
State : 'Exp'
Lines : +977 -461
Description :
Incorporates part of Chris Menzel's revamped structural
ontology (essentially the part that does not depend on row
variables). Also includes some new general concepts relating to social
roles and semiotics. Finally, many typos have been corrected in this
versionon the basis of a browser-based review and Patrick
Cassidy's comments.
----------------------------
Revision : 1.13
Date : 2001/5/22 16:51:56
Author : 'iniles'
State : 'Exp'
Lines : +1444 -1492
Description :
Incorporates content from the SUO-KIF version of Wilkins' ontology, as
well as the core of PSL. It also includes many new axioms and new
docu-strings. This is the "first release" of the merged ontology.
----------------------------
Revision : 1.12
Date : 2001/5/10 17:21:9
Author : 'iniles'
State : 'Exp'
Lines : +1332 -780
Description :
Aside from numerous small changes, this version incorporates content from
the Enterprise Ontology and five ITBM-CNR ontologies (Unrestricted-Time,
Representation, Anatomy, Biologic-Functions,and Biologic-Substances).
----------------------------
Revision : 1.11
Date : 2001/3/16 18:45:14
Author : 'iniles'
State : 'Exp'
Lines : +1045 -553
Description :
Incorporates the following ITBM-CNR ontologies: topic, meronymy, topology,
topo-morphology, localization, assessment, structuring-concepts, and
physical-concepts. Also includes the revision of the "Quantities and Units
of Measure" section done by Helena Sofia Pinto of the Instituto Superior
Tecnico in Portgual.
----------------------------
Revision : 1.10
Date : 2001/3/2 19:9:40
Author : 'iniles'
State : 'Exp'
Lines : +904 -287
Description :
Incorporates the following
ontologies: component-assemblies, product-ontology, physical-quantities,
scalar-quantities, and unary-scalar-functions (all from the Ontolingua
server), and top-level and social-objects (developed by ITBM-CNR).
----------------------------
Revision : 1.9
Date : 2001/2/15 21:39:39
Author : 'iniles'
State : 'Exp'
Lines : +861 -292
Description :
Incorporates abstract-algebra, kif-extensions, kif-relations, kif-sets,
and portions of frame-ontology and okbc-ontology (all six of which are
ontologies on the Ontolingua server). Also resolves numerous problems
noted by Adam Pease and Pat Hayes.
----------------------------
Revision : 1.8
Date : 2001/2/9 21:7:48
Author : 'iniles'
State : 'Exp'
Lines : +1484 -517
Description :
Incorporates three new ontologies: Standard Dimensions (from the
Ontolingua server) and the Quantities and Actors ontologies (from
ITBM-CNR). It also includes numerous revisions suggested by Pat Hayes, as
well as selectional restrictions on the mathematical functions and
predicates that were lacking them.
----------------------------
Revision : 1.7
Date : 2001/1/26 16:59:19
Author : 'iniles'
State : 'Exp'
Lines : +439 -788
Description :
Purged philosophical elements from the docu-strings. Incorporated content
from Robert E. Kent's emails into the ontology. Merged the general,
mereotopological axioms from the "Theory of Holes" with the
mereotopological section, and eliminated what remained of this theory
(since it is very controversial and purely of philosophical interest).
----------------------------
Revision : 1.6
Date : 2001/1/12 15:8:23
Author : 'iniles'
State : 'Exp'
Lines : +616 -456
Description :
Incorporates the Simple-Time ontology (from the Ontolingua server) and the
Positions ontology (from ITBM-CNR). The tip of the ontology has been
simplified by eliminating concepts that are of purely
philosophical interest, and the temporal axioms have been heavily revised
on the basis of Pat Hayes' comments.
----------------------------
Revision : 1.5
Date : 2001/1/5 19:6:33
Author : 'iniles'
State : 'Exp'
Lines : +1343 -663
Description :
Incorporates the Natural-Kinds ontology (from ITBM-CNR) and
the Standard-Units ontology (from the Ontolingua server). Also
includes numerous changes designed to enhance readability.
----------------------------
Revision : 1.4
Date : 2000/12/22 19:28:33
Author : 'iniles'
State : 'Exp'
Lines : +627 -131
Description :
Incorporates substantial revision of Sowa's predicate hierarchy and merges
the Agents and Numbers ontologies from the Ontolingua server.
----------------------------
Revision : 1.3
Date : 2000/12/15 16:33:31
Author : 'iniles'
State : 'Exp'
Lines : +306 -267
Description :
Clean-up of previous version. This will be submitted as part of the
"bridge funding" deliverable for the SUO project.
----------------------------
Revision : 1.2
Date : 2000/12/14 20:17:19
Author : 'iniles'
State : 'Exp'
Lines : +472 -83
Description :
Incorporates Chris Menzel's KIF formalization of the top of Sowa's upper
ontology. It also resolves some inconsistencies and infelicities with
earlier versions.
----------------------------
Revision : 1.1
Date : 2000/12/9 1:53:56
Author : 'iniles'
State : 'Exp'
Lines : +0 0
Description :
Initial check-in of the merge of the SUO ontology sources
===============================================
Adam Pease
Teknowledge
(650) 424-0500 x571