[Top] [All Lists]

[ontolog-forum] nuts and bolts

To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Adam Pease <apease@xxxxxxxxxxxxxxxxxx>
Date: Thu, 17 Apr 2003 12:15:32 -0700
Message-id: <>
   Within the space of our methodology I might suggest a minimal 
nuts-and-bolts explanation of how to get the job done.    (01)

1.  Use Protege to define the class hierarchy and properties of classes
   a.  Find classes in SUMO that are relevant and record a mapping from UBL 
to SUMO as being either equal, subsuming or instance.
        i.  type a single word that relates to the UBL term in the "SUMO term" 
"English Word" text areas at 
   b.  Create a subclass of SUMO if it's a subsuming mapping
   c.  Add properties to the subclass, either by reusing SUMO properties, 
or by extending SUMO properties by creating a &%subrelation of an existing 
   d.  Add English definition to the class to define constraints that 
express how the subclass is more specific than the superclass    (02)

2.  Switch from using Protege to using a text editor to express the classes 
and properties in KIF and begin creating axioms, based on the English 
definitions created previously.    (03)

   A related question is how to create an application that uses this 
ontology.  There are many options that can be grouped roughly by the degree 
to which they use the full expressive power of the definitions in the 
ontology.  At one extreme is using the ontology like a set of precise 
comments that a human software designer is supposed to read, and creating a 
database schema or XML schema that uses the same terminology and structure 
as the ontology.  A slightly more sophisticated approach would be to use 
the axioms as comments that inform a programmer about what sorts of 
constraints need to be checked in a stored procedure or Java code.
   An intermediate approach would be to use just a portion of the axioms 
that are easily expressed and employed in a less expressive formalism such 
as DAML+OIL or Prolog (horn clauses).
   At the other extreme would be employing a formal theorem prover, such as 
SNARK, within the context of an intelligent reasoning system or agent that 
employs the full set of axioms in the ontology.    (04)

Adam    (05)

Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (06)

<Prev in Thread] Current Thread [Next in Thread>