[ontolog-forum] Namespaces for ontologies

[Duane Nickull <dnickull@xxxxxxxxx>]

Hey all:

I am right now placing FOL binary relationships into the associations binding for labeled relations in a test Registry-Repository.  I am doing this because I got sick of just talking about this and not actually coding and doing something to solve the problem so the Canadian cowboy instinct to code first and see where problems arise has taken over.  

I have run into a problem that I would appreciate input on. My goal is to bind something like this:

(=>
      (instance ?OBJ Object)
      (exists
            (?TIME1 ?TIME2)
            (and
                  (instance ?TIME1 TimePoint)
                  (instance ?TIME2 TimePoint)
                  (before ?TIME1 ?TIME2)
                  (forall
                        (?TIME)
                        (=>
                              (and
                                    (beforeOrEqual ?TIME1 ?TIME)
                                    (beforeOrEqual ?TIME ?TIME2))
                              (time ?OBJ ?TIME))))))

..to a registry-repository instance to allow folksonomy tags to reference the upper level ontology classes the folksonomy tag owners believe they belong to.  Additionally, each instance of a folksonomy tag may have * relationships to other ontology classes or even other folksonomy tags.  The latter relastionships can be defined in terms of contrained relationship tags like “synonym, disjoint, etc.”.

I want to represent all upper ontologies however some of them contain subtle nuances between their terms.  Dolce, SUMO and others have defined binary relationships like transitive, intransitive, reflexive, irreflexive, symmetrical as well as some partial ontologies.  The problem is that there are no namespace qualifications for these so I want to introduce that into my work.  I was planning on just using the root URL’s for each work however there are versions possible in some of the work.

I would like this to be in the firm of  <upper_ontology_identifier>+<version_or_instance>+<uuid> as a classifier followed by the term label such as “transitive”.  I will probably use URI’s for the UUID.

Question:

Has anyone ever come across a similar problem and if so, how did they solve it?

Thoughts and comments welcome too.

Duane



_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/  
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (01)