- From: <jos.deroo.jd@belgium.agfa.com>
- Date: Fri, 4 Jan 2002 02:57:15 +0100
- To: pfps@research.bell-labs.com
- Cc: www-webont-wg@w3.org
> But then I can modify the example to > > :John a :_1 . > :_ 1 owl:intersectionOf ( :Person :Student ) . > > should entail > > :John a :_2 . > :_2 owl:intersectionOf ( :Student :Person :Student) . > > You need a solution that works for all lists that contain only :Student and > :Person, and lots of other possibilities. but that example also works (*) (after modifying :_2 into _:2) it's just that we are *not* asserting all triples... -- Jos (*)# Generated with http://www.agfa.com/w3c/euler/#R29003 on Fri Jan 04 02:49:32 CET 2002 # for query file:/euler/owl-query.n3 # given [file:/euler/owl-facts.n3, file:/euler/owl-rules.n3] @prefix xsd: <http://www.w3.org/2001/XMLSchema#>. @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>. @prefix log: <http://www.w3.org/2000/10/swap/log#>. @prefix : <file:/euler/owl-rules#>. @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>. @prefix owl: <http://www.w3.org/2001/10/daml+oil#>. {:John a [ owl:intersectionOf [ <http://www.w3.org/2001/10/daml+oil#first> :Person; <http://www.w3.org/2001/10/daml+oil#rest> [ <http://www.w3.org/2001/10/daml+oil#first> :Student; <http://www.w3.org/2001/10/daml+oil#rest> <http://www.w3.org/2001/10/daml+oil#nil>]]]. {{<http://www.w3.org/2001/10/daml+oil#nil> :okw [ <http://www.w3.org/2001/10/daml+oil#first> :Student; <http://www.w3.org/2001/10/daml+oil#rest> [ <http://www.w3.org/2001/10/daml+oil#first> :Person; <http://www.w3.org/2001/10/daml+oil#rest> [ <http://www.w3.org/2001/10/daml+oil#first> :Student; <http://www.w3.org/2001/10/daml+oil#rest> <http://www.w3.org/2001/10/daml+oil#nil>]]]. [ <http://www.w3.org/2001/10/daml+oil#first> :Student; <http://www.w3.org/2001/10/daml+oil#rest> [ <http://www.w3.org/2001/10/daml+oil#first> :Person; <http://www.w3.org/2001/10/daml+oil#rest> [ <http://www.w3.org/2001/10/daml+oil#first> :Student; <http://www.w3.org/2001/10/daml+oil#rest> <http://www.w3.org/2001/10/daml+oil#nil>]]] owl:item :Student} log:implies {[ <http://www.w3.org/2001/10/daml+oil#first> :Student; <http://www.w3.org/2001/10/daml+oil#rest> <http://www.w3.org/2001/10/daml+oil#nil>] :okw [ <http://www.w3.org/2001/10/daml+oil#first> :Student; <http://www.w3.org/2001/10/daml+oil#rest> [ <http://www.w3.org/2001/10/daml+oil#first> :Person; <http://www.w3.org/2001/10/daml+oil#rest> [ <http://www.w3.org/2001/10/daml+oil#first> :Student; <http://www.w3.org/2001/10/daml+oil#rest> <http://www.w3.org/2001/10/daml+oil#nil>]]]}. {[ <http://www.w3.org/2001/10/daml+oil#first> :Person; <http://www.w3.org/2001/10/daml+oil#rest> [ <http://www.w3.org/2001/10/daml+oil#first> :Student; <http://www.w3.org/2001/10/daml+oil#rest> <http://www.w3.org/2001/10/daml+oil#nil>]] owl:item :Person} log:implies {[ <http://www.w3.org/2001/10/daml+oil#first> :Student; <http://www.w3.org/2001/10/daml+oil#rest> [ <http://www.w3.org/2001/10/daml+oil#first> :Person; <http://www.w3.org/2001/10/daml+oil#rest> [ <http://www.w3.org/2001/10/daml+oil#first> :Student; <http://www.w3.org/2001/10/daml+oil#rest> <http://www.w3.org/2001/10/daml+oil#nil>]]] owl:item :Person}} log:implies {[ <http://www.w3.org/2001/10/daml+oil#first> :Person; <http://www.w3.org/2001/10/daml+oil#rest> [ <http://www.w3.org/2001/10/daml+oil#first> :Student; <http://www.w3.org/2001/10/daml+oil#rest> <http://www.w3.org/2001/10/daml+oil#nil>]] :okw [ <http://www.w3.org/2001/10/daml+oil#first> :Student; <http://www.w3.org/2001/10/daml+oil#rest> [ <http://www.w3.org/2001/10/daml+oil#first> :Person; <http://www.w3.org/2001/10/daml+oil#rest> [ <http://www.w3.org/2001/10/daml+oil#first> :Student; <http://www.w3.org/2001/10/daml+oil#rest> <http://www.w3.org/2001/10/daml+oil#nil>]]]}} log:implies {:John a [ owl:intersectionOf [ <http://www.w3.org/2001/10/daml+oil#first> :Student; <http://www.w3.org/2001/10/daml+oil#rest> [ <http://www.w3.org/2001/10/daml+oil#first> :Person; <http://www.w3.org/2001/10/daml+oil#rest> [ <http://www.w3.org/2001/10/daml+oil#first> :Student; <http://www.w3.org/2001/10/daml+oil#rest> <http://www.w3.org/2001/10/daml+oil#nil>]]]]}. # Proof found for file:/euler/owl-query.n3 in 56 steps (7879 steps/sec) @done in 1015 msec
Received on Thursday, 3 January 2002 20:57:39 UTC