Folks,
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"
or
"English Word" text areas at
<http://ontology.teknowledge.com:8080/rsigma/SKB.jsp?req=SC&skb=SUMO>
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
property
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/
Subscribe/Unsubscribe/Config:
http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (06)
|