Thread Links			Date Links
Thread Prev	Thread Next	Thread Index	Date Prev	Date Next	Date Index

SUO: 20 May 2002 -- Questions About SUMO Set Theory

To: SUO <standard-upper-ontology@ieee.org>
Subject: SUO: 20 May 2002 -- Questions About SUMO Set Theory
From: Jon Awbrey <jawbrey@oakland.edu>
Date: Mon, 20 May 2002 09:00:31 -0400
References: <3CD0ABB1.F1DCD83B@oakland.edu> <3CD27FBB.E4D2D16D@oakland.edu> <3CD2B9B3.2271FCFF@oakland.edu> <3CD6AA8E.A4EC1D50@oakland.edu> <3CD91CC2.F9431B3A@oakland.edu> <3CDA132B.89B47DDF@oakland.edu> <3CDB4794.A9101FDF@oakland.edu> <3CDEB802.D1DEE342@oakland.edu> <3CE09624.276C0047@oakland.edu> <3CE1E457.B7426C55@oakland.edu> <3CE6604F.B75B2201@oakland.edu>
Reply-To: Jon Awbrey <jawbrey@oakland.edu>
Sender: owner-standard-upper-ontology@majordomo.ieee.org


¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤

SUMO Queries 1, 2, 3

SUMO Team,

1.  What is the exact formulation of set theory used in SUMO?

Comment.  When I tried to trace this information I was led through
the following sequence of links, not counting dead ends and loops.

a.  http://suo.ieee.org/
b.  http://ontology.teknowledge.com/
c.  http://ontology.teknowledge.com/rsigma/annotatedHistory.html
d.  http://www-ksl.stanford.edu/knowledge-sharing/kif/
e.  http://www-ksl.stanford.edu/knowledge-sharing/ontologies/html/kif-sets/

Page (d) contains the remark that the set ontology that is supposed to be
"built into KIF" is "a version of Von Neumann/Bernays/Godel set theory".

2.  Can you provide a reference and a justification for this assertion?

3.  Can you provide a detailed account and a justification of
    the differences, if any, between the SUMO set theory and
    standard versions of Von Neumann/Bernays/Godel set theory?

Thanks In Prospect,

Jon Awbrey

¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤

Follow-Ups:
- SUO: 21 May 2002 -- Unanswered Questions About SUMO Set Theory
  - From: Jon Awbrey <jawbrey@oakland.edu>
- Re: SUO: 20 May 2002 -- Questions About SUMO Set Theory
  - From: "John F. Sowa" <sowa@bestweb.net>

References:
- SUO: *Date 01 May 2002 -- Landscape Paintings
  - From: Jon Awbrey <jawbrey@oakland.edu>
- SUO: *Date 02 May 2002 -- Intelligence Production Process Ontologies
  - From: Jon Awbrey <jawbrey@oakland.edu>
- SUO: *Date 03 May 2002 -- Information Flow
  - From: Jon Awbrey <jawbrey@oakland.edu>
- SUO: 06 May 2002 -- Differential Geometry for Engineers
  - From: Jon Awbrey <jawbrey@oakland.edu>
- SUO: 08 May 2002 -- Questions Of Fair Use
  - From: Jon Awbrey <jawbrey@oakland.edu>
- SUO: 09 May 2002 -- Divergence & Coincidence
  - From: Jon Awbrey <jawbrey@oakland.edu>
- SUO: 10 May 2002 -- Procedural Questions
  - From: Jon Awbrey <jawbrey@oakland.edu>
- SUO: 12 May 2002 -- Procedural Questions
  - From: Jon Awbrey <jawbrey@oakland.edu>
- SUO: 14 May 2002 -- IFF Model Theory Ontology 1.0, Request For Comment
  - From: Jon Awbrey <jawbrey@oakland.edu>
- SUO: 15 May 2002 -- Abstract Syntax & Set Theory
  - From: Jon Awbrey <jawbrey@oakland.edu>
- SUO: 18 May 2002 -- Set Theory
  - From: Jon Awbrey <jawbrey@oakland.edu>

Prev by Date: Re: SUO: 20 May 2002 -- Questions About SUMO Set Theory
Next by Date: SUO: RE: Proposed additions to SUO
Prev by thread: SUO: 18 May 2002 -- Set Theory
Next by thread: Re: SUO: 20 May 2002 -- Questions About SUMO Set Theory
Index(es):
- Date
- Thread