Re: TEST: mapVocab and Euler [was: LANG: closing issue 4.6]

[...]

> > just that
> > http://www.w3.org/2002/03owlt/mapVocabP.n3
> > is then not entailing anymore
> > http://www.w3.org/2002/03owlt/mapVocabC.n3
> > unless it would say
> > :all ont:equivalentTo ont:intersectionOf.
> > (at least, that's what we have tested)
>
> That looks like a bug.

right, it was one; thanks for pointing out

> From
>
>    :all ont:samePropertyAs ont:intersectionOf.
>
> and
>    { :rule6a . :p rdfs:subPropertyOf :r . :s :p :o } log:implies { :s :r
> :o } .
>
> and
>    owl:samePropertyAs a rdf:Property; rdfs:subPropertyOf
> rdfs:subPropertyOf .
>
> we should get
>
>       :all rdfs:subPropertyOf ont:intersectionOf.
>
> Then, from
>
>   :BigTall :all (:Big :Tall).
>
> and rule6a, we should get
>
>   :BigTall ont:intersectionOf (:Big :Tall).
>
> and so on.

right

> Maybe a namespace name mismatch somewhere?

well no (although we changed to http://www.w3.org/2002/07/owl
at that point in time) it had to do with variable
predicates (again, like the situation a year ago...)

> Also: I don't see anything in your rules that
> says samePropertyAs is symmetric.

well it's now done in a rdfs combined fashion per
{ :rule4p1 . ?p owl:samePropertyAs ?r . ?s ?p ?o } log:implies { ?s ?r ?o 
} .
{ :rule4p2 . ?p owl:samePropertyAs ?r . ?s ?r ?o } log:implies { ?s ?p ?o 
} .

-- ,
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/

PS the outcome is like

# Generated with http://www.agfa.com/w3c/euler/#R31026 on 26 Jul 2002 
17:06:17 GMT
# for query http://www.w3.org/2002/03owlt/mapVocabC.n3
# given {http://www.w3.org/2002/03owlt/mapVocabP.n3=[], 
http://www.agfa.com/w3c/euler/owl-rules.n3=[]}

@prefix ont: <http://www.daml.org/2001/03/daml+oil#>.
@prefix ns: <http://www.agfa.com/w3c/euler/owl-rules#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix : <http://www.w3.org/2002/03owlt/myList#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix ex: <http://www.w3.org/2002/03owlt/myList#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix nsns: <http://www.agfa.com/w3c/euler/rdfs-rules#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

 {
  <http://www.agfa.com/w3c/euler/owl-rules#rule9c3> .
  :bill a :BigTall.
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rule4p1> .
    :BigTall :all ( :Big :Tall)} log:implies
  {:BigTall owl:intersectionOf ( :Big :Tall)}.
   {
    <http://www.agfa.com/w3c/euler/owl-rules#rule11i1> } log:implies
  {( :Big :Tall) owl:item :Big}} log:implies
{:bill a :Big}.
 {
  <http://www.agfa.com/w3c/euler/owl-rules#rule9c3> .
  :bill a :BigTall.
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rule4p1> .
    :BigTall :all ( :Big :Tall)} log:implies
  {:BigTall owl:intersectionOf ( :Big :Tall)}.
   {
    <http://www.agfa.com/w3c/euler/owl-rules#rule11i2> .
     {
      <http://www.agfa.com/w3c/euler/owl-rules#rule11i1> } log:implies
    {( :Tall) owl:item :Tall}} log:implies
  {( :Big :Tall) owl:item :Tall}} log:implies
{:bill a :Tall}.

# Proof found for http://www.w3.org/2002/03owlt/mapVocabC.n3 in 72 steps 
(39344 steps/sec)

Received on Friday, 26 July 2002 13:14:27 UTC