W3C home > Mailing lists > Public > www-webont-wg@w3.org > April 2002

Re: TEST, SEM: test cases for dark triples

From: <jos.deroo.jd@belgium.agfa.com>
Date: Mon, 22 Apr 2002 22:36:45 +0200
To: pfps@research.bell-labs.com
Cc: jjc@hplb.hpl.hp.com, www-webont-wg@w3.org
Message-Id: <OF843310E7.2BF32B7C-ONC1256BA3.006E8914@bayer-ag.com>

> Here is another test case
>
> R:
>      John rdf:type Person .
>      Bill rdf:type Person .
>      John child Bill .
> entailing
>      John rdf:type _:1 .
>      _:1 rdf:type daml:Restriction .
>      _:1 rdf:onProperty child .
>      _:1 rdf:hasClass :_1 .
>
> This is a very different situation from that in Jeremy's cases, even case C.

Peter, it is _:label ;-) (just think about an anonymous namespace prefix)

could it be that that restriction is the class Person itself???
at least that's what we get after some testing

  ( <http://www.agfa.com/w3c/n3/psra.n3>
    <http://www.w3.org/2001/10/daml+oil#> )
    log:entails
    <http://www.agfa.com/w3c/n3/psrc.n3> .

i.e.

  :John a :Person .
  :Bill a :Person .
  :John :child :Bill .

OWL-entails

  :John a ( owl:Restriction _:x owl:onProperty :child owl:hasClass _:x ) .

we use http://www.agfa.com/w3c/euler/owl-rules.n3
more specifically entailment rule9g and rule9h
which is using shorthand () list notation
(maybe too liberal, but this is just testing...)

the proof argument we find is

   {
      <http://www.agfa.com/w3c/euler/owl-rules#rule9h> .
    :Bill a :Person.
    :John :child :Bill} log:implies
  {:John a ( owl:Restriction :Person owl:onProperty :child owl:hasClass :Person)}.

speaking about selfreference...

--
Jos
Received on Monday, 22 April 2002 19:18:55 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:57:49 GMT