owl:FunctionalProperty and owl:InverseFunctionalProperty etc's

( <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