@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix test: <http://www.daml.org/2003/06/ruletests/test-ont#> .
@prefix : <#> .

<> a test:Test;
   owl:versionInfo "$Id: equivalence-3.n3,v 1.3 2003/06/25 11:19:06 mdean Exp $";
   rdfs:comment "equivalence inferred via cardinality 1".

:Person a owl:Class;
  rdfs:subClassOf
    [ a owl:Restriction;
      owl:onProperty :father;
      owl:cardinality "1" ].

:father a owl:ObjectProperty.

:mike a :Person.
:mike :father :Joe.
:mike :father :Joseph.

:Joe :p1 "1".
:Joseph :p2 "2".

{ ?x :p1 "1".
  ?x :p2 "2". }
=>
{ <> test:successful "true" }
.