Re: Peter's example

> 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