@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 daml: <http://www.daml.org/2001/03/daml+oil#> .
@prefix : <#> .

<> owl:versionInfo "$Id: owl.n3,v 1.2 2003/07/01 21:54:02 mdean Exp $";
   rdfs:comment "(incomplete) axiomatization of OWL needed for specific ruletests".

{ ?x owl:sameAs ?y }
=>
{ ?x daml:sameIndividualAs ?y }
.

{ ?sub rdfs:subClassOf ?class.
  ?s a ?sub }
=>
{ ?s a ?class }
.

{ ?sub rdfs:subPropertyOf ?prop.
  ?s ?sub ?o }
=>
{ ?s ?prop ?o }
.

{ ?r owl:cardinality ?c }
=>
{ ?r owl:minCardinality ?c.
  ?r owl:maxCardinality ?c }
. 

{ ?c a owl:Class;
     rdfs:subClassOf ?r.
  ?r a owl:Restriction;
     owl:onProperty ?p;
     owl:maxCardinality "1".
  ?s1 a ?c;
      ?p ?o.
  ?s2 a ?c;
      ?p ?o. }
=>
{
  ?s1 owl:sameAs ?s2
}
.