PowerLoom and SUMO

Cameron,

it shouldn't be too hard to create a translator from SUO-KIF to
PowerLoom.  There are a few things you need to do:

(1) You need to create concept and relation definitions for each
concept and relation used in the ontologies before they can be used in
assertions.  These definitions can't (yet) be made via assertions but
need to be done via `defconcept' and `defrelation' (or `deffunction');
however, the definitions can be minimal and simply introduce the term
(and arity in the case of relations).  All other information such as
sub/superconcepts/relations, argument domains, rules, etc. can be
generated via standard assertions.  For example:

(defconcept Person)
(defconcept Animal)
(assert (subset-of Person Animal))
(assert (documentation Person "The class of human beings"))
(defrelation brother (?x ?y))
(assert (nth-domain brother 0 Person))
(assert (nth-domain brother 1 Person))
....

That is, all the keywords used in PowerLoom definitions are really
just syntactic sugar and can be handled via standard assertions.

(2) You need to watch out for subtle differences.  For example, the
SUO-KIF version of `nth-domain' is 1-based while PowerLoom's version
is 0-based (I remember that from some quick attempt of translating
SUMO into PowerLoom some years ago - never finished that).
There might be others.

I remember some people from NIST translated SUMO into Loom, so it
should certainly be possible to translate it into PowerLoom.

If you succeed and it is feasible for you to do so, it would be great
if you could make (some of) the translations available to the community.

Hans

--------------------------------------------------------------------------
Hans Chalupsky, PhD                     USC Information Sciences Institute
Project Leader, Loom KR&R Group         4676 Admiralty Way
<[email protected]>                          Marina del Rey, CA 90292
(310) 448-8745
--------------------------------------------------------------------------

>>>>> Cameron Ross <[email protected]> writes:

> I would like to construct a PowerLoom knowledge-base using ontologies 
> constructed with SUO-KIF (http://suo.ieee.org/SUO/KIF/index.html).  My 
> current plan is to create a tool that translates from SUO-KIF to 
> PowerLoom KIF.  Note that SUO-KIF is a minimalistic implementation of 
> KIF whereby many traditional KIF features have been moved out of the 
> language with the intention of having them defined using ontologies 
> (e.g.  defconcept, defrelation etc. don't exist in the language).  I 
> could implement the translator such that it maps these concepts, or I 
> can just account for keyword differences and load in the SUMO ontology 
> with the requisite abstractions.  I'd prefer to do the later as it would 
> be very simple to implement, but I'm concerned that I'll be missing out 
> on some key PowerLoom features.  Are there any recommendations as to how 
> I should proceed?

> Cheers,
> Cameron.

> _______________________________________________
> powerloom-forum mailing list
> [email protected]
> http://mailman.isi.edu/mailman/listinfo/powerloom-forum