# $Id: owl-facts.n3,v 1.18 2003/08/10 23:17:51 jderoo Exp $

@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix : <owl-rules#>.

:p a owl:FunctionalProperty.
:s :p :i.
:s :p :j.

:m owl:sameAs :n.
:n owl:sameAs :o.

:H owl:oneOf (:s :m :t).

:x owl:intersectionOf (:a :b :c).
:y owl:intersectionOf (:b :c).

:J a :x.

:test34 owl:equivalentClass :test43.
:test43 owl:equivalentClass :test46.
:test3x a :test34.

:R2 owl:onProperty :p2.
:R2 owl:hasValue :y2.
:x2 a :R2.

:Car rdfs:subClassOf :Automobile.
:Automobile rdfs:subClassOf :Car.

:X a [ owl:oneOf (:a :b :c)].
:Y a [ owl:intersectionOf (:A :X :C :D)].
:Z a [ owl:unionOf (:M :N :O)].