TEST: latest owl testcases from Jos De_Roo on 2002-12-15 (www-webont-wg@w3.org from December 2002)

From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
Date: Sun, 15 Dec 2002 23:36:23 +0100
To: jjc@hpl.hp.com
Cc: www-webont-wg@w3.org
Message-ID: <OF435F1AF5.A321814B-ONC1256C90.007B1901-C1256C90.007C2F45@agfa.be>
Jeremy,

It was a rainy sunday afternoon here, so I thought to
do some testing of the latest owl testcases...


-------------------------------------------------------------
-- http://www.w3.org/2002/03owlt/allValuesFrom/Manifest001 --
-------------------------------------------------------------
we changed owl:onPropertyOf into owl:onProperty
in http://www.w3.org/2002/03owlt/allValuesFrom/premises001
it then gives

 {
  <http://www.agfa.com/w3c/euler/owl-rules#rule9r1> .
  _:2214976_1 owl:onProperty
<http://www.w3.org/2002/03owlt/allValuesFrom/premises001#p>.
  _:2214976_1 owl:allValuesFrom
<http://www.w3.org/2002/03owlt/allValuesFrom/premises001#c>.
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs9> .
    <http://www.w3.org/2002/03owlt/allValuesFrom/premises001#r>
rdfs:subClassOf _:2214976_1.
    <http://www.w3.org/2002/03owlt/allValuesFrom/premises001#i> a
<http://www.w3.org/2002/03owlt/allValuesFrom/premises001#r>} log:implies
  {<http://www.w3.org/2002/03owlt/allValuesFrom/premises001#i> a
_:2214976_1}.
  <http://www.w3.org/2002/03owlt/allValuesFrom/premises001#i>
<http://www.w3.org/2002/03owlt/allValuesFrom/premises001#p>
<http://www.w3.org/2002/03owlt/allValuesFrom/premises001#o>} log:implies
{<http://www.w3.org/2002/03owlt/allValuesFrom/premises001#o> a
<http://www.w3.org/2002/03owlt/allValuesFrom/premises001#c>}.


-------------------------------------------------------------
-- http://www.w3.org/2002/03owlt/allValuesFrom/Manifest002 --
-------------------------------------------------------------
we changed owl:onPropertyOf into owl:onProperty
in http://www.w3.org/2002/03owlt/allValuesFrom/premises002


------------------------------------------------------------
-- http://www.w3.org/2002/03owlt/disjointWith/Manifest001 --
------------------------------------------------------------
after we added an inference rule it then gives

 {
  <http://www.agfa.com/w3c/euler/owl-rules#rule7d2> .
  <http://www.w3.org/2002/03owlt/disjointWith/premises001#A>
owl:disjointWith
<http://www.w3.org/2002/03owlt/disjointWith/premises001#B>.
  <http://www.w3.org/2002/03owlt/disjointWith/premises001#a> a
<http://www.w3.org/2002/03owlt/disjointWith/premises001#A>.
  <http://www.w3.org/2002/03owlt/disjointWith/premises001#b> a
<http://www.w3.org/2002/03owlt/disjointWith/premises001#B>} log:implies
{<http://www.w3.org/2002/03owlt/disjointWith/premises001#a>
<http://www.w3.org/2002/07/owl#differentFrom>
<http://www.w3.org/2002/03owlt/disjointWith/premises001#b>}.


------------------------------------------------------------
-- http://www.w3.org/2002/03owlt/disjointWith/Manifest002 --
------------------------------------------------------------
that one gives

 {
  <http://www.agfa.com/w3c/euler/owl-rules#rule7d2> .
  <http://www.w3.org/2002/03owlt/disjointWith/premises002#A>
owl:disjointWith
<http://www.w3.org/2002/03owlt/disjointWith/premises002#B>.
  <http://www.w3.org/2002/03owlt/disjointWith/premises002#a> a
<http://www.w3.org/2002/03owlt/disjointWith/premises002#A>.
  <http://www.w3.org/2002/03owlt/disjointWith/premises002#b> a
<http://www.w3.org/2002/03owlt/disjointWith/premises002#B>} log:implies
{<http://www.w3.org/2002/03owlt/disjointWith/premises002#a>
<http://www.w3.org/2002/07/owl#differentFrom>
<http://www.w3.org/2002/03owlt/disjointWith/premises002#b>}.


----------------------------------------------------
-- http://www.w3.org/2002/03owlt/I5.5/Manifest001 --
----------------------------------------------------
after adding a fact it then gives

rdf:first a <http://www.w3.org/2002/07/owl#FunctionalProperty>.


----------------------------------------------------
-- http://www.w3.org/2002/03owlt/I5.5/Manifest002 --
----------------------------------------------------
after adding a fact it then gives

rdf:rest a <http://www.w3.org/2002/07/owl#FunctionalProperty>.


----------------------------------------------------
-- http://www.w3.org/2002/03owlt/I5.5/Manifest003 --
----------------------------------------------------
after adding a rule to detect that inconsistency it then gives

 {
  <http://www.agfa.com/w3c/euler/owl-rules#rule20n2> .
  rdf:nil rdf:rest []} log:implies
{{rdf:nil rdf:rest []}
<http://www.w3.org/2000/10/swap/log#inconsistentWith> rdf:nil}.


----------------------------------------------------
-- http://www.w3.org/2002/03owlt/I5.5/Manifest004 --
----------------------------------------------------
after adding a rule to detect that inconsistency it then gives

 {
  <http://www.agfa.com/w3c/euler/owl-rules#rule20n1> .
  rdf:nil rdf:first []} log:implies
{{rdf:nil rdf:first []}
<http://www.w3.org/2000/10/swap/log#inconsistentWith> rdf:nil}.


--------------------------------------------------------------
-- http://www.w3.org/2002/03owlt/someValuesFrom/Manifest001 --
--------------------------------------------------------------
we changed owl:onPropertyOf into owl:onProperty
in http://www.w3.org/2002/03owlt/someValuesFrom/premises001

after we added some inference rules (having a skolem function)
it then gives

 {
  <http://www.agfa.com/w3c/euler/owl-rules#rule3r2> .
  _:8116722_1 <http://www.w3.org/2002/07/owl#onProperty>
<http://www.w3.org/2002/03owlt/someValuesFrom/premises001#p> .
  _:8116722_1 <http://www.w3.org/2002/07/owl#someValuesFrom>
<http://www.w3.org/2002/03owlt/someValuesFrom/premises001#c>.
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs9> .
    <http://www.w3.org/2002/03owlt/someValuesFrom/premises001#r>
rdfs:subClassOf _:8116722_1.
    <http://www.w3.org/2002/03owlt/someValuesFrom/premises001#i> a
<http://www.w3.org/2002/03owlt/someValuesFrom/premises001#r>} log:implies
  {<http://www.w3.org/2002/03owlt/someValuesFrom/premises001#i> a
_:8116722_1}} log:implies
{<http://www.w3.org/2002/03owlt/someValuesFrom/premises001#i>
<http://www.w3.org/2002/03owlt/someValuesFrom/premises001#p>
( <http://www.agfa.com/w3c/euler/owl-rules#sf1> _:8116722_1
<http://www.w3.org/2002/03owlt/someValuesFrom/premises001#p>
<http://www.w3.org/2002/03owlt/someValuesFrom/premises001#c>
<http://www.w3.org/2002/03owlt/someValuesFrom/premises001#i>)}.
 {
  <http://www.agfa.com/w3c/euler/owl-rules#rule9r3> .
  _:8116722_1 owl:onProperty
<http://www.w3.org/2002/03owlt/someValuesFrom/premises001#p>.
  _:8116722_1 owl:someValuesFrom
<http://www.w3.org/2002/03owlt/someValuesFrom/premises001#c>.
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs9> .
    <http://www.w3.org/2002/03owlt/someValuesFrom/premises001#r>
rdfs:subClassOf _:8116722_1.
    <http://www.w3.org/2002/03owlt/someValuesFrom/premises001#i> a
<http://www.w3.org/2002/03owlt/someValuesFrom/premises001#r>} log:implies
  {<http://www.w3.org/2002/03owlt/someValuesFrom/premises001#i> a
_:8116722_1}} log:implies
{( <http://www.agfa.com/w3c/euler/owl-rules#sf1> _:8116722_1
<http://www.w3.org/2002/03owlt/someValuesFrom/premises001#p>
<http://www.w3.org/2002/03owlt/someValuesFrom/premises001#c>
<http://www.w3.org/2002/03owlt/someValuesFrom/premises001#i>) a
<http://www.w3.org/2002/03owlt/someValuesFrom/premises001#c>}.


--------------------------------------------------------------
-- http://www.w3.org/2002/03owlt/someValuesFrom/Manifest002 --
--------------------------------------------------------------
we changed owl:onPropertyOf into owl:onProperty
in http://www.w3.org/2002/03owlt/someValuesFrom/premises002


I still have to do some older testcases...

-- ,
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Sunday, 15 December 2002 17:42:11 UTC