[296]                           home                           [298]

 

Monday, December 12, 2005

 

 The BCNGroup Beadgames

 

 

Challenge Problem  à

 

A common, widely used, and available ontology

with UDEF (Universal Date Element Framework)

underneath

 

Note from Adam (one of the developers of SUMO)

 

Paul,

 

   I noticed that you are referencing SUMO, but it appears you are only using the OWL version.  Please note that most of SUMO is lost when translating to OWL, and that the OWL version of SUMO is also quite old.  The latest files are at http://www.ontologyportal.org

 

   I also noticed your reference to context.  This is a difficult area, and OWL simply lacks the representational facilities to handle a context logic, or the formal axioms that might even provide elements of context handling within rules.

 

Adam

 

 

Discussion …

 

I have looked at http://www.ontologyportal.org/ as part of my review of what the ONTAG working group was talking about.  You-all’s work is very nice, in my opinion… and should be the starting point for a future development that I am proposing.  See à [294]  I can see that it is serious work. 

 

I noticed, a while back, the linkage between SUMO and WordNet and I understand how significant that this is.. given that it is a starting point for a more common use of ontologies and controlled vocabularies (which are not really “controlled”), as you know.  Natural language evolves.   

 

How would you describe a context logic?  (The answer is partially given in the paper 

“Practical Semiotics: A Formal Theory”

(link to be found)

 

 

a recent paper is excellent

http://arxiv.org/ftp/cs/papers/0505/0505081.pdf

 

Can you give reading list so that I can read and post here?  We, others, would like to anticipate where the SUMO work is going. 

 

The best quick look at what I am proposing comes from the Soviet era “quasi axiomatic theory”, and refined by myself and Peter Kugler in 1997.  see (chapter on situational logic).

 

I wonder if you might weigh in on the discussion about separating the logic in an ontology from the pure concepts – how this might be done and what are the trade-offs.

 

 

 

Paul Prueitt

Taos Institute