Peter's example

• From: <jos.deroo.jd@belgium.agfa.com>
• Date: Thu, 3 Jan 2002 23:26:45 +0100
• To: www-webont-wg@w3.org
• Message-Id: <41256B36.007B50D5.00@ambem5.eps.agfa.be>

I'm trying to reconstruct Peter's example...

:John a :Owl .
:Owl owl:intersectionOf ( :Person :Student ) .
:Owl2 owl:intersectionOf ( :Student :Person ) .

and trying to entail

:John a :Owl2 .

and it works (*)

============

we use the axioms in http://www.agfa.com/w3c/euler/owl-rules.n3

the point is that the RDF MT is *not* insisting that
all triples are asserted (and we make use of that
in our implementation)

--
Jos De Roo


(*) the proof is like

@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#>.

 {:Owl2 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#nil>]].
   {{:Owl 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#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>
  :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}.
      :John a :Owl} log:implies
    {:John a :Student}.
     {{:Owl 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#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.
        :John a :Owl} log:implies
      {:John a :Person}.
      :John :ako <http://www.w3.org/2001/10/daml+oil#nil>} log:implies
    {:John :ako [ <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#nil>]}} log:implies
  {:John :ako [ <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#nil>]]}} log:implies
{:John a :Owl2}.

Received on Thursday, 3 January 2002 17:27:10 UTC