# $Id: owl-query.n3,v 1.66 2005/09/22 11:50:38 amdus Exp $

# PxButton | test   | java euler.EulerRunner owl-facts.n3 owl-rules.n3 rdfs-rules.n3 owl-query.n3
# PxButton | test#  | Euler owl-facts.n3 owl-rules.n3 rdfs-rules.n3 owl-query.n3
# PxButton | test#i | ikvm euler.EulerRunner owl-facts.n3 owl-rules.n3 rdfs-rules.n3 owl-query.n3
# PxButton | test#m | mono /sfcvs/2004/01swap/bin/Release/Euler.exe owl-facts.n3 owl-rules.n3 rdfs-rules.n3 owl-query.n3

@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 : <http://www.agfa.com/w3c/euler/owl-facts#>.


:j owl:sameAs :i.

:o owl:sameAs :m.

:m a :H.

:x rdfs:subClassOf :y.

:J a :y.

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

:x2 :p2 :y2.

:Automobile owl:equivalentClass :Car.

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