Re: TEST, SEM: test cases for dark triples

From: jos.deroo.jd@belgium.agfa.com
Subject: Re: TEST, SEM: test cases for dark triples
Date: Tue, 23 Apr 2002 16:28:07 +0200

> 
> [...]
> 
> > > OWL-entails
> > >
> > >   :John a ( owl:Restriction _:x owl:onProperty :child owl:hasClass _:x ) .
> 
> [...]
> 
> > I am confused as to what this syntax means.  Could you translate it back to
> > RDF?  In particular, does this mean that Person ends up with a restriction
> > on it, or is Person itself a restriction?
> 
> we actually just tried to express a restriction as a
> functional term but we had better said something like
> 
>   { ?s ?p ?o . ?o a ?C } log:implies { ?s a [ xx:functionOf ( ?p ?C ) ] } .
> 
> or some such
> and the () are indeed regular owl lists
> sorry about the confusion
> 
> --
> Jos
> 
> >> --
> >> Jos
> >
> >peter
> 

If the ( ) in the entailment is a list construct then I am even more
confused.  How can

	   _:1 owl:first owl:Restriction .
	   _:1 owl:rest _:2 .
	   _:2 owl:first _:x .
	   _:2 owl:rest _:3 .
	   _:3 owl:first owl:onProperty .
	   ....

be a class?

peter

Received on Tuesday, 23 April 2002 11:07:29 UTC