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

# PxButton | test  | java Euler --step 200000 owl-facts owl-rules rdfs-rules owl-query |
# PxButton | test# | Euler --step 200000 owl-facts owl-rules rdfs-rules owl-query |

@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#>.


: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)].