- From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
- Date: Mon, 29 Jul 2002 02:12:40 +0200
- To: www-archive@w3.org
( <http://www.w3.org/2002/03owlt/FunctionalProperty/premises001.n3> <http://www.w3.org/2002/07/owl> ) log:entails <http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions001.n3> . ( <http://www.w3.org/2002/03owlt/FunctionalProperty/premises002.n3> <http://www.w3.org/2002/07/owl> ) log:entails <http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions002.n3> . ( <http://www.w3.org/2002/03owlt/FunctionalProperty/premises003.n3> <http://www.w3.org/2002/07/owl> ) log:entails <http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions003.n3> . ( <http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises001.n3> <http://www.w3.org/2002/07/owl> ) log:entails <http://www.w3.org/2002/03owlt/InverseFunctionalProperty/conclusions001.n3> . ( <http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises002.n3> <http://www.w3.org/2002/07/owl> ) log:entails <http://www.w3.org/2002/03owlt/InverseFunctionalProperty/conclusions002.n3> . ( <http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises003.n3> <http://www.w3.org/2002/07/owl> ) log:entails <http://www.w3.org/2002/03owlt/InverseFunctionalProperty/conclusions003.n3> . ====some evidence==== # Generated with http://www.agfa.com/w3c/euler/#R31028 on 28 Jul 2002 23:56:20 GMT # for query http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions001.n3 # given {http://www.w3.org/2002/03owlt/FunctionalProperty/premises001.n3=[], http://www.agfa.com/w3c/euler/owl-rules.n3=[]} @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/FunctionalProperty/test001#> . @prefix log: <http://www.w3.org/2000/10/swap/log#> . @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . @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#rule6e2> . :prop a owl:FunctionalProperty. :subject :prop :object1. :subject :prop :object2} log:implies {:object1 owl:sameIndividualAs :object2}. <http://www.w3.org/2002/03owlt/FunctionalProperty/test001#object2> <http://www.w3.org/2002/07/owl#equivalentTo> <http://www.w3.org/2002/03owlt/FunctionalProperty/test001#object1> . # Proof found for http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions001.n3 in 4 steps (13698 steps/sec) # Generated with http://www.agfa.com/w3c/euler/#R31028 on 28 Jul 2002 23:56:25 GMT # for query http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions002.n3 # given {http://www.w3.org/2002/03owlt/FunctionalProperty/premises002.n3=[], http://www.agfa.com/w3c/euler/owl-rules.n3=[]} @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/FunctionalProperty/test002#> . @prefix eg: <http://www.example.org/> . @prefix log: <http://www.w3.org/2000/10/swap/log#> . @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . @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#> . :object2 eg:prop2 "value". <http://www.w3.org/2002/03owlt/FunctionalProperty/test002#object2> <http://www.w3.org/2002/07/owl#equivalentTo> <http://www.w3.org/2002/03owlt/FunctionalProperty/test002#object1> . # Proof found for http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions002.n3 in 1 step (4273 steps/sec) # Generated with http://www.agfa.com/w3c/euler/#R31028 on 28 Jul 2002 23:56:29 GMT # for query http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions003.n3 # given {http://www.w3.org/2002/03owlt/FunctionalProperty/premises003.n3=[], http://www.agfa.com/w3c/euler/owl-rules.n3=[]} @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/FunctionalProperty/test003#> . @prefix log: <http://www.w3.org/2000/10/swap/log#> . @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . @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#rule7f1> . :prop a owl:FunctionalProperty. :prop owl:inverseOf :inv} log:implies {:inv a owl:InverseFunctionalProperty}. # Proof found for http://www.w3.org/2002/03owlt/FunctionalProperty/conclusions003.n3 in 34 steps (10572 steps/sec) # Generated with http://www.agfa.com/w3c/euler/#R31028 on 28 Jul 2002 23:56:34 GMT # for query http://www.w3.org/2002/03owlt/InverseFunctionalProperty/conclusions001.n3 # given {http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises001.n3=[], http://www.agfa.com/w3c/euler/owl-rules.n3=[]} @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/InverseFunctionalProperty/test001#> . @prefix log: <http://www.w3.org/2000/10/swap/log#> . @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . @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#rule6e3> . :prop a owl:InverseFunctionalProperty. :subject1 :prop :object. :subject2 :prop :object} log:implies {:subject1 owl:sameIndividualAs :subject2}. <http://www.w3.org/2002/03owlt/InverseFunctionalProperty/test001#subject2> <http://www.w3.org/2002/07/owl#equivalentTo> <http://www.w3.org/2002/03owlt/InverseFunctionalProperty/test001#subject1> . # Proof found for http://www.w3.org/2002/03owlt/InverseFunctionalProperty/conclusions001.n3 in 158 steps (62009 steps/sec) # Generated with http://www.agfa.com/w3c/euler/#R31028 on 28 Jul 2002 23:56:41 GMT # for query http://www.w3.org/2002/03owlt/InverseFunctionalProperty/conclusions002.n3 # given {http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises002.n3=[], http://www.agfa.com/w3c/euler/owl-rules.n3=[]} @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/InverseFunctionalProperty/test002#> . @prefix eg: <http://www.example.org/> . @prefix log: <http://www.w3.org/2000/10/swap/log#> . @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . @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#> . :subject2 eg:prop2 "value". <http://www.w3.org/2002/03owlt/InverseFunctionalProperty/test002#subject2> <http://www.w3.org/2002/07/owl#equivalentTo> <http://www.w3.org/2002/03owlt/InverseFunctionalProperty/test002#subject1> . # Proof found for http://www.w3.org/2002/03owlt/InverseFunctionalProperty/conclusions002.n3 in 1 step (4310 steps/sec) # Generated with http://www.agfa.com/w3c/euler/#R31028 on 28 Jul 2002 23:56:46 GMT # for query http://www.w3.org/2002/03owlt/InverseFunctionalProperty/conclusions003.n3 # given {http://www.agfa.com/w3c/euler/owl-rules.n3=[], http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises003.n3=[]} @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/InverseFunctionalProperty/test003#> . @prefix log: <http://www.w3.org/2000/10/swap/log#> . @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . @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#rule7f2> . :prop a owl:InverseFunctionalProperty. :prop owl:inverseOf :inv} log:implies {:inv a owl:FunctionalProperty}. # Proof found for http://www.w3.org/2002/03owlt/InverseFunctionalProperty/conclusions003.n3 in 35 steps (46052 steps/sec) -- , Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Sunday, 28 July 2002 20:13:17 UTC