Re: domainOf & other problems

> A quick question about "instanceOf".
> In RDF. "instanceOf" (isa) subsumes "individualOF" (isu) and "subClassOf" 
> (iss). Is that also true in TAP?  I noticed you don't have "individualOf".

If I understand your terminology correctly, we use rdf:type as "individualOf"
and rdfs:subClassOf as "subClassOf". We have a function called IsAncestor
which will scan for either (that is, if you ask if Person is an ancestor
of ActorTom_Hanks, where ActorTom_Hanks is "type Actor" and Actor is 
"subClassOf Person", then it will return true). However we don't have
an operator for it. 

I think Cyc calls these "instanceOf", "subClassOf", and "allInstanceOf",
if I remember an old discussion with Guha.

TAP also has two additional flags, includeSuperClasses and includeSubClasses,
which specify that in searching for the answer, look at sub classes of
property values, or at super classes. Consider this description:

type SportsTeam
term wizards

You might imagine this working in RDF, but in TAP it doesn't because the
Washington Wizards is a BasketballTeam, which is a subClassOf SportsTeam.
So to make this work, you would need to ask:

type SportsTeam includeSubClasses=yes
term wizards

This is all off the top of my head, but it should work.

Received on Tuesday, 7 January 2003 21:12:38 UTC