Understanding PowerLoom's upper ontology

"Cameron Ross" <[email protected]> Thu, 2 Aug 2007 19:17:58 -0400

Newsgroups	gmane.comp.ai.powerloom
Message-ID	<0BFDAB9AF2DD462084225863740D9A3A@crosslaptop>

I need to understand PowerLoom's upper ontology so that I can construct a representation of it using CLIF.  I'm not versed in Stella and have primarily been analyzing the PL-KERNEL-KB module through the Ontosaurus website (http://blackcat.isi.edu:8950/ploom/shuttle.html).  I have the following questions based on my investigations to date: 
  1.. Ontosaurus reports that the PL-KERNEL-KB module contains 28 concepts, 121 relations and 42 instances.  However, I count 122 relations (see attached file).  Is this an "off by 1" counting error? 
  2.. Where can I find a description of the information displayed on the Ontosaurus web pages?  
  3.. What exactly is the difference between an "instance" and "direct instance"?  
  4.. How come some relations make reference to instances (e.g. BINARY-RELATION) while others refer to tuples (e.g. RELATION-CONSTRAINT)?
  5.. Where are the COMPUTATION-SPECIALIST and CONSTRAINT-SPECIALIST instances, mentioned in the detail page for COMPUTED-PROCEDURE, defined?
Thanks much,
Cameron Ross.

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

pl_relations.txt (text/plain, 1.7 KB)

Relations from PowerLoom 3.2.3 at http://blackcat.isi.edu:8950/ploom/shuttle.html
---------------------------------------------------------------------------------
*
+
-
/
<
=<
>
>=
ABSOLUTE-VALUE
ABSTRACT
ANTISYMMETRIC
ARITY
BOUND-VARIABLES
CARDINALITY
CASE-MATCH
CHEAP-DISJOINT
CLOSED
COLLECT-INTO-SET
COLLECTIONOF
COMMENT
COMMUTATIVE
COMPUTED
CONCEPT-PROTOTYPE
CONTEXT-OF
COVERING
CUT
DIFFERENT
DIRECT-SUBRELATION
DIRECT-SUPERRELATION
DISJOINT
DISJOINT-COVERING
DOCUMENTATION
DOMAIN
DUPLICATE-FREE
EMPTY
EQUIVALENT-RELATION
EXAMPLE
FILLERS
FORK
GOES-FALSE-DEMON
GOES-TRUE-DEMON
GOES-UNKNOWN-DEMON
HANDLES-REVERSE-POLARITY
HAS-PARTITION-MEMBERSHIP
HIDDEN-RELATION
HOLDS
IMAGE-URL
INEQUALITY
INSTANCE-OF
INTEGER-INTERVAL.INTERVAL-LOWER-BOUND
INTEGER-INTERVAL.INTERVAL-UPPER-BOUND
INTERVAL-CACHE-OF
INVERSE
IST
ISSUE
LENGTH
LENGTH-OF-LIST
LEXEME
LISTOF
MAXIMUM-VALUE
MEAN-VALUE
MEDIAN-VALUE
MEMBER-OF
MINIMUM-VALUE
MUTUALLY-DISJOINT-COLLECTION
NAME-TO-OBJECT
NEGATE
NTH-DOMAIN
NUMERIC-INTERVAL
NUMERIC-MAXIMUM
NUMERIC-MINIMUM
OBJECT-NAME
OBSERVED-CARDINALITY-OF
ORDERED
PARTITION-MEMBERSHIP
PHRASE
POLYMORPHIC
PORTION-OF
PROJECT-COLUMN
PROPER-SUBRELATION
PROPER-SUPERRELATION
QUALIFIED-RANGE-CARDINALITY
QUALIFIED-RANGE-MAX-CARDINALITY
QUALIFIED-RANGE-MIN-CARDINALITY
QUERY
RANGE
RANGE-CARDINALITY
RANGE-CARDINALITY-LOWER-BOUND
RANGE-CARDINALITY-UPPER-BOUND
RANGE-MAX-CARDINALITY
RANGE-MIN-CARDINALITY
RANGE-TYPE
REFLEXIVE
REFUTATION-DISJOINT
RELATION-COMPUTATION
RELATION-CONSTRAINT
RELATION-EVALUATOR
RELATION-SPECIALIST
SETOF
SINGLE-VALUED
SOFT-EQ
SQRT
SQUARE-ROOT
STANDARD-DEVIATION
STRING-CONCATENATE
STRING-MATCH
SUBRELATION
SUBSET-OF
SUBSTRING
SUM
SUPERRELATION
SYMMETRIC
SYNONYM
THE-ROLESET
TOTAL
TRANSITIVE
TYPE-OF
UNION-OF
UPDATE-PROPOSITION-DEMON
VALUE
VARIABLE-ARITY
VARIANCE