# Base URI of process is file:///afs/w3.org/pub/WWW/2000/10/swap/test/ # Input from file:/afs/w3.org/pub/WWW/2000/10/swap/test/daml-pref.n3 # Input from file:/afs/w3.org/pub/WWW/2000/10/swap/test/tambis-full-2.daml xml: encoding = ISO-8859-1 standalone = None DOCTYPE: rdf:RDF "\015\012\011 \012\011 \012\011 \012" # Notation3 generation by # $Id: notation3.py,v 1.35 2000/12/07 21:35:48 timbl Exp $ @prefix ex: . @prefix ont: . @prefix rdfs: . @prefix rdf: . @prefix : . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf . a rdfs:Class; rdfs:subClassOf . a rdf:Property . a rdfs:Class; rdfs:subClassOf , ; :intersectionOf . a rdfs:Class; :intersectionOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf . a rdfs:Class; rdfs:subClassOf , , . a rdfs:Class; rdfs:subClassOf . a :List; :first ; :rest . a :Restriction; :hasValue ; :onProperty . a :List; :first ; :rest . a :Restriction; :toClass ; :onProperty . a :Empty . a :List; :rest ; :first . a :List; :first ; :rest . a :Restriction; :onProperty ; :hasValue . a :Empty . a :Restriction; :hasValue ; :onProperty . a :Empty . a rdfs:Class; rdfs:subClassOf . a rdf:Property . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf . a :List; :first ; :rest . a :Restriction; :hasValue ; :onProperty . a :List; :first ; :rest . a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing . a :Empty . a :List; :rest ; :first . a :Restriction; :hasValue ; :onProperty . a rdfs:Class . a :Empty . a :List; :rest ; :first . a :Restriction; :hasValue ; :onProperty . a :List; :first ; :rest . a :List; :first ; :rest . a :Empty . a rdfs:Class . a :Empty . a :Empty . a :List; :rest ; :first . a :List; :first ; :rest . a rdfs:Class; rdfs:subClassOf . a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing . a :List; :first ; :rest . a rdfs:Class; :intersectionOf . a rdfs:Class . a :Restriction; :onProperty ; :toClass . a rdfs:Class; rdfs:subClassOf . a :List; :first ; :rest . a rdfs:Class; rdfs:subClassOf . a :List; :first ; :rest . a :Restriction; :onProperty ; :hasValue . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a :Restriction; :toClass ; :onProperty . a rdfs:Class; :complementOf . a :Empty . a rdfs:Class; :intersectionOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a :Restriction; :hasValue ; :onProperty . a :List; :first ; :rest . a :List; :first ; :rest . a rdfs:Class . a rdfs:Class . a :Restriction; :hasValue ; :onProperty . a :List; :rest ; :first . a :Empty . a :Restriction; :hasValue ; :onProperty . a :List; :first ; :rest . a :Empty . a rdfs:Class . a :List; :rest ; :first . a :List; :rest ; :first . a :Restriction; :hasValue ; :onProperty . a :List; :first ; :rest . a :List; :rest ; :first . a :List; :rest ; :first . a rdfs:Class . a :Restriction; :hasValue ; :onProperty . a :List; :rest ; :first . a :Empty . a :Empty . a :List; :rest ; :first . a :List; :first ; :rest . a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing . a :Restriction; :toClass ; :onProperty . a :Restriction; :hasValue ; :onProperty . a :Empty . a rdfs:Class; rdfs:subClassOf . a :List; :first ; :rest . a :List; :rest ; :first . a :List; :rest ; :first . a :Restriction; :hasValue ; :onProperty . a :List; :first ; :rest . a :Restriction; :hasValue ; :onProperty . a rdf:Property . a rdfs:Class; :intersectionOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf ; :intersectionOf . a :List; :first ; :rest . a :List; :rest ; :first . a :List; :rest ; :first . a :List; :rest ; :first . a :Restriction; :toClass ; :onProperty . a :Empty . a :Restriction; :hasValue ; :onProperty . a :List; :first ; :rest . a :List; :first ; :rest . a :List; :rest ; :first . a :List; :first ; :rest . a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing . a :Empty . a :Restriction; :toClass ; :onProperty . a rdfs:Class; :intersectionOf . a :List; :first ; :rest . a :Empty . a rdfs:Class . a rdfs:Class; :intersectionOf . a :List; :first ; :rest . a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing . a :List; :rest ; :first . a rdfs:Class; rdfs:subClassOf . a :List; :first ; :rest . a :Restriction; :onProperty ; :hasValue . a :List; :first ; :rest . a :Restriction; :onProperty ; :toClass . a :List; :first ; :rest . a :List; :rest ; :first . a :List; :rest ; :first . a :Restriction; :minCardinality "1"; :onProperty ; :hasValue :Thing . a :List; :first ; :rest . a :Restriction; :hasValue ; :onProperty . a :List; :first ; :rest . a :Restriction; :toClass ; :onProperty . a :List; :first ; :rest . a rdfs:Class; rdfs:subClassOf , . a :Empty . a :Empty . a :Empty . a :Empty . a :List; :first ; :rest . a :Restriction; :onProperty ; :toClass . a rdfs:Class; :unionOf . a :List; :rest ; :first . a :List; :first ; :rest . a :Restriction; :toClass ; :onProperty . a :Restriction; :onProperty ; :toClass . a :Empty . a :Restriction; :toClass ; :onProperty . a :List; :first ; :rest . a rdf:Property . a rdfs:Class; :unionOf . a :List; :rest ; :first . a :Empty . a :Restriction; :cardinality "1"; :hasValue :Thing; :onProperty . a :List; :first ; :rest . a :Empty . a rdfs:Class; :intersectionOf . a :List; :first ; :rest . a :Empty . a :List; :rest ; :first . a :List; :rest ; :first . a :List; :rest ; :first . a :Restriction; :hasValue ; :onProperty . a :List; :first ; :rest . a rdfs:Class; rdfs:subClassOf . a :List; :rest ; :first . a :List; :first ; :rest . a :Empty . a :Restriction; :hasValue ; :onProperty . a :Restriction; :hasValue ; :onProperty . a :Restriction; :toClass ; :onProperty . a :Empty . a :Restriction; :hasValue ; :onProperty . a :List; :first ; :rest . a :List; :rest ; :first . a :List; :first ; :rest . a rdfs:Class; :intersectionOf . a :List; :rest ; :first . a :Restriction; :hasValue ; :onProperty . a rdfs:Class; :intersectionOf . a rdfs:Class . a :Restriction; :hasValue ; :onProperty . a :List; :rest ; :first . a :List; :first ; :rest . a :List; :first ; :rest . a :Restriction; :cardinality "1"; :hasValue :Thing; :onProperty . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf . a rdfs:Class; rdfs:subClassOf . a rdf:Property; rdfs:range . a :Restriction; :toClass ; :onProperty . a rdfs:Class; rdfs:subClassOf , , . a :Empty . a rdfs:Class; rdfs:subClassOf , , , , . a rdfs:Class . a :List; :first ; :rest . a :List; :first ; :rest . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf . a :List; :rest ; :first . a rdfs:Class; :intersectionOf . a rdfs:Class; rdfs:subClassOf . a :List; :first ; :rest . a :List; :first ; :rest . a :Restriction; :hasValue ; :onProperty . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a :Restriction; :hasValue ; :onProperty . a :List; :rest ; :first . a :Restriction; :toClass ; :onProperty . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf , , . a rdf:Property; :inverseOf . a rdfs:Class; rdfs:subClassOf :Thing . a rdfs:Class; rdfs:subClassOf ; :intersectionOf . a rdfs:Class; :intersectionOf . a :List; :first ; :rest . a rdfs:Class; :intersectionOf . a rdfs:Class; :unionOf . a :List; :first ; :rest . a rdf:Property; :inverseOf . a rdf:Property . a rdfs:Class; :intersectionOf . a rdfs:Class; :intersectionOf . a :Restriction; :toClass ; :onProperty . a :Restriction; :toClass ; :onProperty . a rdfs:Class; rdfs:subClassOf . a :Empty . a :List; :first ; :rest . a :List; :rest ; :first . a :List; :rest ; :first . a rdfs:Class; :intersectionOf . a rdfs:Class; :intersectionOf . a :List; :rest ; :first . a rdfs:Class; rdfs:subClassOf . a :Restriction; :hasValue ; :onProperty . a :Restriction; :toClass ; :onProperty . a :Restriction; :hasValue ; :onProperty . a :Empty . a :List; :first ; :rest . a :List; :rest ; :first . a :Empty . a :Restriction; :hasValue ; :onProperty . a :List; :first ; :rest . a :Restriction; :onProperty ; :hasValue . a :List; :first ; :rest . a :Restriction; :cardinality "2"; :onProperty ; :hasValue :Thing . a :List; :first ; :rest . a :Empty . a rdfs:Class; rdfs:subClassOf , , , , . a rdfs:Class; :intersectionOf . a :List; :first ; :rest . a :List; :first ; :rest . a :List; :first ; :rest . a :Restriction; :hasValue ; :onProperty . a rdfs:Class; rdfs:subClassOf . a :List; :rest ; :first . a :Restriction; :toClass ; :onProperty . a :Restriction; :hasValue ; :onProperty . a :Empty . a :Restriction; :toClass ; :onProperty . a :List; :first ; :rest . a :Restriction; :hasValue ; :onProperty . a :List; :first ; :rest . a :Restriction; :onProperty ; :hasValue . a :Empty . a :Restriction; :cardinality "2"; :onProperty ; :hasValue :Thing . a :List; :first ; :rest . a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing . a :List; :first ; :rest . a :List; :rest ; :first . a :List; :first ; :rest . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf . a rdfs:Class; :intersectionOf . a rdfs:Class; :intersectionOf . a :List; :rest ; :first . a :Restriction; :hasValue ; :onProperty . a rdfs:Class; :intersectionOf ; :equivalentTo . a :Empty . a rdfs:Class; rdfs:subClassOf , , , . a rdfs:Class; :intersectionOf . a :Restriction; :hasValue ; :onProperty . a rdfs:Class; :unionOf . a rdf:Property . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a :List; :first ; :rest . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :unionOf . a :Restriction; :hasValue ; :onProperty . a rdfs:Class; :intersectionOf . a :List; :first ; :rest . a rdfs:Class; :intersectionOf . a rdfs:Class; rdfs:subClassOf :Thing . a :List; :first ; :rest . a :Restriction; :hasValue ; :onProperty . a :List; :first ; :rest . a :Restriction; :toClass ; :onProperty . a :Restriction; :hasValue ; :onProperty . a :Restriction; :hasValue ; :onProperty . a :Empty . a :Restriction; :hasValue ; :onProperty . a :Empty . a rdfs:Class; :unionOf . a :List; :rest ; :first . a :Empty . a :List; :rest ; :first . a :Empty . a :Empty . a :List; :rest ; :first . a :Empty . a :List; :first ; :rest . a :Restriction; :hasValue ; :onProperty . a :Restriction; :onProperty ; :hasValue . a :Restriction; :toClass ; :onProperty . a rdfs:Class; :unionOf . a :Empty . a :Empty . a rdfs:Class; :intersectionOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf :Thing . a :List; :rest ; :first . a rdfs:Class; :intersectionOf . a rdfs:Class; rdfs:subClassOf . a :List; :first ; :rest . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf . a :List; :first ; :rest . a rdfs:Class; rdfs:subClassOf . a :Restriction; :onProperty ; :hasValue . a rdfs:Class; rdfs:subClassOf , . a :Restriction; :hasValue ; :onProperty . a :List; :first ; :rest . a :List; :first ; :rest . a :Restriction; :onProperty ; :hasValue . a :List; :first ; :rest . a :Restriction; :onProperty ; :hasValue . a :List; :first ; :rest . a :Restriction; :toClass ; :onProperty . a rdfs:Class; :intersectionOf . a :List; :rest ; :first . a :Disjoint; :rest ; :first . a :Disjoint; :rest ; :first . a :Empty . a :Disjoint; :rest ; :first . a :Disjoint; :rest ; :first . a :Empty . a :Empty . a :Restriction; :onProperty ; :hasValue . a rdfs:Class; rdfs:subClassOf . a :List; :rest ; :first . a :List; :first ; :rest . a :Restriction; :onProperty ; :hasValue . a :Empty . a rdfs:Class; :intersectionOf . a :Disjoint; :rest ; :first . a :Disjoint; :rest ; :first . a rdfs:Class; :complementOf . a rdfs:Class . a rdfs:Class; :intersectionOf . a :Empty . a rdfs:Class; :intersectionOf . a :Empty . a rdfs:Class; :intersectionOf . a rdfs:Class; rdfs:subClassOf . a rdf:Property; :inverseOf . a :Restriction; :toClass ; :onProperty . a rdfs:Class; rdfs:subClassOf . a :Empty . a :Empty . a rdfs:Class; rdfs:subClassOf . a :Restriction; :minCardinality "1"; :onProperty ; :hasValue :Thing . a :List; :first ; :rest . a :Restriction; :onProperty ; :hasValue . a :List; :first ; :rest . a rdfs:Class; :unionOf . a :Empty . a rdfs:Class; :intersectionOf . a :List; :first ; :rest . a :List; :first ; :rest . a :List; :first ; :rest . a :Empty . a :Restriction; :hasValue ; :onProperty . a :List; :rest ; :first . a :Empty . a rdfs:Class; rdfs:subClassOf . a :List; :first ; :rest . a :List; :rest ; :first . a :List; :first ; :rest . a rdfs:Class; rdfs:subClassOf . a :Restriction; :onProperty ; :hasValue . a :Restriction; :hasValue ; :onProperty . a :List; :first ; :rest . a :List; :first ; :rest . a rdfs:Class; :intersectionOf . a rdfs:Class; rdfs:subClassOf , , . a rdf:Property; :inverseOf ; rdfs:subPropertyOf . a rdfs:Class; :unionOf . a :Empty . a :List; :rest ; :first . a rdfs:Class; :unionOf . a :Empty . a rdfs:Class; :intersectionOf . a :List; :first ; :rest . a :Restriction; :hasValue ; :onProperty . a :List; :first ; :rest . a :List; :rest ; :first . a rdfs:Class; :unionOf . a :List; :first ; :rest . a :Restriction; :toClass ; :onProperty . a :Empty . a :List; :rest ; :first . a rdf:Property; rdfs:subPropertyOf ; :inverseOf . a :Restriction; :hasValue ; :onProperty . a :Empty . a :Restriction; :hasValue ; :onProperty . a :List; :rest ; :first . a :List; :first ; :rest . a rdf:Property . a rdfs:Class; rdfs:subClassOf . a :List; :rest ; :first . a rdfs:Class; rdfs:subClassOf . a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing . a :List; :first ; :rest . a :List; :first ; :rest . a :List; :first ; :rest . a :Empty . a :Restriction; :toClass ; :onProperty . a :List; :rest ; :first . a :Restriction; :toClass ; :onProperty . a rdf:Property . a :List; :first ; :rest . a :Restriction; :hasValue ; :onProperty . a rdfs:Class; :unionOf . a rdfs:Class; :intersectionOf . a :List; :first ; :rest . a rdfs:Class; :intersectionOf . a :List; :first ; :rest . a rdfs:Class; :unionOf . a :List; :first ; :rest . a :Restriction; :hasValue ; :onProperty . a :Empty . a rdfs:Class; :intersectionOf . a :Restriction; :onProperty ; :toClass . a :Restriction; :toClass ; :onProperty . a :Restriction; :onProperty ; :hasValue . a :List; :first ; :rest . a rdfs:Class; rdfs:subClassOf . a :List; :first ; :rest . a :List; :rest ; :first . a :Restriction; :toClass ; :onProperty . a :Restriction; :hasValue ; :onProperty . a :Empty . a :Restriction; :toClass ; :onProperty . a :Restriction; :toClass ; :onProperty . a :Restriction; :hasValue ; :onProperty . a :List; :first ; :rest . a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing . a :List; :rest ; :first . a :List; :first ; :rest . a rdfs:Class . a :Empty . a rdf:Property . a :Restriction; :onProperty ; :hasValue . a :Empty . a :List; :first ; :rest . a rdfs:Class; rdfs:subClassOf . a :Restriction; :maxCardinality "4"; :onProperty ; :hasValue :Thing . a rdfs:Class; rdfs:subClassOf , , . a rdfs:Class; rdfs:subClassOf . a :Restriction; :onProperty ; :hasValue . a :List; :rest ; :first . a :List; :rest ; :first . a :List; :first ; :rest . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf . a rdfs:Class; rdfs:subClassOf . a :List; :first ; :rest . a rdfs:Class; :intersectionOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing . a :Empty . a rdf:Property; :inverseOf . a :Restriction; :hasValue ; :onProperty . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a :List; :rest ; :first . a :Empty . a :Empty . a rdfs:Class; :intersectionOf . a rdfs:Class; :intersectionOf . a rdfs:Class; rdfs:subClassOf . a rdf:Property; rdfs:range ; rdfs:domain . a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing . a :Empty . a rdfs:Class; rdfs:subClassOf . a :List; :rest ; :first . a rdfs:Class; rdfs:subClassOf . a :List; :rest ; :first . a rdfs:Class; :intersectionOf . a rdf:Property; :inverseOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf , , . a :List; :first ; :rest . a :List; :first ; :rest . a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing . a :List; :first ; :rest . a :Restriction; :toClass ; :onProperty . a :List; :first ; :rest . a :Restriction; :hasValue ; :onProperty . a :List; :first ; :rest . a :Restriction; :onProperty ; :toClass . a :List; :first ; :rest . a :Restriction; :onProperty ; :hasValue . a rdf:Property; :inverseOf . a :Restriction; :minCardinality "1"; :onProperty ; :hasValue :Thing . a rdf:Property . a :List; :first ; :rest . a rdfs:Class; rdfs:subClassOf . a :List; :rest ; :first . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf . a rdfs:Class; :intersectionOf . a :List; :first ; :rest . a :Restriction; :minCardinality "1"; :onProperty ; :hasValue :Thing . a rdfs:Class; rdfs:subClassOf . a :Restriction; :hasValue ; :onProperty . a :List; :first ; :rest . a :Restriction; :minCardinality "1"; :onProperty ; :hasValue :Thing . a :Empty . a :Restriction; :onProperty ; :hasValue . a :Restriction; :hasValue ; :onProperty . a :List; :first ; :rest . a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing . a :List; :first ; :rest . a :List; :rest ; :first . a :Empty . a rdfs:Class . a :Restriction; :hasValue ; :onProperty . a :List; :first ; :rest . a :Empty . a rdfs:Class; rdfs:subClassOf . a :List; :first ; :rest . a :Restriction; :hasValue ; :onProperty . a :List; :first ; :rest . a :List; :first ; :rest . a :Empty . a :List; :rest ; :first . a rdfs:Class; :intersectionOf . a rdfs:Class; :intersectionOf . a :Restriction; :hasValue ; :onProperty . a :Empty . a :List; :first ; :rest . a :Restriction; :toClass ; :onProperty . a :List; :rest ; :first . a :Empty . a :Restriction; :onProperty ; :hasValue . a :List; :first ; :rest . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a :List; :rest ; :first . a :List; :rest ; :first . a :Empty . a rdfs:Class; rdfs:subClassOf :Thing . a :List; :rest ; :first . a rdfs:Class; :intersectionOf . a rdfs:Class; rdfs:subClassOf . a rdf:Property . a :List; :first ; :rest . a :Restriction; :hasValue ; :onProperty . a :List; :first ; :rest . a :Restriction; :toClass ; :onProperty . a :List; :first ; :rest . a :Restriction; :onProperty ; :hasValue . a :Empty . a :Restriction; :hasValue ; :onProperty . a rdfs:Class; :intersectionOf . a :List; :rest ; :first . a :Empty . a :Restriction; :toClass ; :onProperty . a rdfs:Class . a :Restriction; :hasValue ; :onProperty . a rdfs:Class . a :Restriction; :minCardinality "1"; :onProperty ; :hasValue :Thing . a rdfs:Class; :intersectionOf . a :List; :first ; :rest . a :Empty . a :Restriction; :onProperty ; :toClass . a :List; :first ; :rest . a :Restriction; :onProperty ; :hasValue . a rdfs:Class . a :Empty . a :List; :first ; :rest . a :Restriction; :hasValue ; :onProperty . a :List; :first ; :rest . a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing . a :Empty . a :List; :rest ; :first . a :List; :first ; :rest . a :Restriction; :toClass ; :onProperty . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf , . a rdfs:Class; :intersectionOf . a rdfs:Class; rdfs:subClassOf . a :Restriction; :minCardinality "1"; :onProperty ; :hasValue :Thing . a rdfs:Class . a :Restriction; :minCardinality "1"; :onProperty ; :hasValue :Thing . a :Empty . a :Empty . a :List; :rest ; :first . a :Restriction; :hasValue ; :onProperty . a rdfs:Class . a :Restriction; :hasValue ; :onProperty . a :Restriction; :hasValue ; :onProperty . a :Empty . a :Empty . a :List; :rest ; :first . a :Empty . a rdfs:Class; :intersectionOf . a rdf:Property; :inverseOf . a rdf:Property; :inverseOf . a :List; :first ; :rest . a :Restriction; :toClass ; :onProperty . a :List; :first ; :rest . a :Restriction; :hasValue ; :onProperty . a :Empty . a :Restriction; :hasValue ; :onProperty . a :Restriction; :toClass ; :onProperty . a :Restriction; :onProperty ; :hasValue . a :List; :first ; :rest . a rdf:Property; rdfs:range ; rdfs:domain ; :inverseOf . a rdfs:Class; rdfs:subClassOf . a :Empty . a rdfs:Class; :intersectionOf . a :List; :first ; :rest . a :Restriction; :hasValue ; :onProperty . a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf , , , . a :Empty . a rdfs:Class . a :List; :rest ; :first . a :Disjoint; :rest ; :first . a :Restriction; :minCardinality "1"; :onProperty ; :hasValue . a :Restriction; :toClass ; :onProperty . a :List; :rest ; :first . a :Empty . a :Restriction; :hasValue ; :onProperty . a :List; :first ; :rest . a :Restriction; :hasValue ; :onProperty . a :Empty . a :List; :first ; :rest . a :Restriction; :toClass ; :onProperty . a :List; :first ; :rest . a :Restriction; :onProperty ; :hasValue . a rdfs:Class . a :Restriction; :minCardinality "1"; :onProperty ; :hasValue :Thing . a :List; :first ; :rest . a :Restriction; :onProperty ; :hasValue . a :List; :first ; :rest . a :Restriction; :hasValue ; :onProperty . a :List; :first ; :rest . a :Restriction; :cardinality "1"; :hasValue :Thing; :onProperty . a :List; :first ; :rest . a :List; :rest ; :first . a rdfs:Class; :intersectionOf . a :List; :rest ; :first . a :List; :first ; :rest . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf . a :Empty . a :Empty . a rdfs:Class; rdfs:subClassOf , , , , ; :intersectionOf . a :List; :rest ; :first . a rdfs:Class . a :Restriction; :hasValue ; :onProperty . a :Empty . a :Restriction; :onProperty ; :toClass . a :List; :first ; :rest . a :List; :rest ; :first . a :List; :first ; :rest . a :Restriction; :hasValue ; :onProperty . a :Empty . a :Restriction; :onProperty ; :hasValue . a :Restriction; :minCardinality "1"; :onProperty ; :hasValue :Thing . a :Restriction; :hasValue ; :onProperty . a :Empty . a :Restriction; :hasValue ; :onProperty . a rdfs:Class; :intersectionOf . a rdf:Property; :inverseOf . a :Restriction; :hasValue ; :onProperty . a :Empty . a :Empty . a rdfs:Class; rdfs:subClassOf . a :List; :rest ; :first . a :Restriction; :cardinality "1"; :hasValue :Thing; :onProperty . a rdfs:Class; :intersectionOf . a :List; :first ; :rest . a :Restriction; :hasValue ; :onProperty . a :Empty . a :List; :rest ; :first . a :Restriction; :onProperty ; :toClass . a :Restriction; :hasValue ; :onProperty . a :List; :first ; :rest . a :Restriction; :toClass ; :onProperty . a rdfs:Class; rdfs:subClassOf . a :Empty . a :Empty . a :List; :rest ; :first . a :List; :rest ; :first . a rdfs:Class; :unionOf . a :Restriction; :toClass ; :onProperty . a :List; :first ; :rest . a :Empty . a :List; :rest ; :first . a :List; :rest ; :first . a :Empty . a rdfs:Class; :intersectionOf . a :Restriction; :hasValue ; :onProperty . a rdfs:Class . a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing . a :List; :first ; :rest . a :List; :rest ; :first . a :List; :first ; :rest . a :Restriction; :hasValue ; :onProperty . a :List; :first ; :rest . a :Restriction; :toClass ; :onProperty . a :Empty . a :Empty . a :List; :rest ; :first . a :List; :rest ; :first . a :List; :first ; :rest . a :Restriction; :hasValue ; :onProperty . a :List; :first ; :rest . a :List; :rest ; :first . a :List; :rest ; :first . a :List; :first ; :rest . a :List; :first ; :rest . a :List; :rest ; :first . a :List; :rest ; :first . a rdfs:Class; :unionOf . a :List; :rest ; :first . a :List; :first ; :rest . a :Restriction; :hasValue ; :onProperty . a :List; :rest ; :first . a :List; :first ; :rest . a :List; :first ; :rest . a rdfs:Class; :intersectionOf . a :List; :rest ; :first . a rdfs:Class; :intersectionOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :unionOf . a :Restriction; :hasValue ; :onProperty . a :List; :first ; :rest . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdf:Property . a :Restriction; :hasValue ; :onProperty . a :Restriction; :toClass ; :onProperty . a :List; :first ; :rest . a :List; :rest ; :first . a :List; :rest ; :first . a :List; :rest ; :first . a :List; :first ; :rest . a rdfs:Class; rdfs:subClassOf . a rdf:Property . a rdfs:Class; :intersectionOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf . a :Empty . a rdfs:Class . a rdfs:Class; rdfs:subClassOf . a :Restriction; :onProperty ; :hasValue . a rdfs:Class; :intersectionOf . a :List; :first ; :rest . a rdf:Property . a rdfs:Class; rdfs:subClassOf ; :intersectionOf . a rdfs:Class; rdfs:subClassOf . a :List; :first ; :rest . a :Restriction; :hasValue ; :onProperty . a :List; :first ; :rest . a :List; :rest ; :first . a :List; :first ; :rest . a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing . a :Restriction; :hasValue ; :onProperty . a :Restriction; :onProperty ; :hasValue . a :List; :first ; :rest . a :Restriction; :minCardinality "1"; :onProperty ; :hasValue :Thing . a :Restriction; :hasValue ; :onProperty . a rdfs:Class; rdfs:subClassOf . a :List; :first ; :rest . a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing . a :Empty . a :List; :rest ; :first . a :Restriction; :onProperty ; :hasValue . a :List; :first ; :rest . a :List; :first ; :rest . a :List; :rest ; :first . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf . a :Empty . a rdfs:Class; :unionOf . a rdfs:Class; rdfs:subClassOf , , . a :List; :first ; :rest . a rdfs:Class; :unionOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf . a :List; :first ; :rest . a :Restriction; :hasValue ; :onProperty . a :List; :first ; :rest . a :Restriction; :toClass ; :onProperty . a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing . a :List; :first ; :rest . a :List; :first ; :rest . a :Restriction; :onProperty ; :hasValue . a rdfs:Class . a :Empty . a :List; :rest ; :first . a :List; :first ; :rest . a :List; :first ; :rest . a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing . a :List; :first ; :rest . a :Restriction; :hasValue ; :onProperty . a :List; :rest ; :first . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a :List; :first ; :rest . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf . a rdfs:Class; :intersectionOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf . a :Restriction; :hasValue ; :onProperty . a :List; :first ; :rest . a :Restriction; :onProperty ; :hasValue . a :List; :first ; :rest . a rdfs:Class; :intersectionOf . a :Empty . a :Empty . a :List; :first ; :rest . a :Restriction; :onProperty ; :toClass . a :Restriction; :onProperty ; :hasValue . a :List; :first ; :rest . a :Empty . a :List; :rest ; :first . a :Restriction; :hasValue ; :onProperty . a :List; :first ; :rest . a :Restriction; :toClass ; :onProperty . a :List; :first ; :rest . a rdf:Property . a rdfs:Class; rdfs:subClassOf . a rdf:Property . a rdfs:Class; rdfs:subClassOf . a :Restriction; :hasValue ; :onProperty . a :Empty . a rdfs:Class; rdfs:subClassOf , . a rdfs:Class; :intersectionOf . a :Empty . a :Empty . a :List; :rest ; :first . a :List; :rest ; :first . a :List; :first ; :rest . a rdfs:Class; :intersectionOf . a :Empty . a :List; :first ; :rest . a :Restriction; :onProperty ; :hasValue . a :List; :first ; :rest . a :Restriction; :hasValue ; :onProperty . a :Empty . a :Restriction; :hasValue ; :onProperty . a rdfs:Class; :complementOf . a :Restriction; :onProperty ; :hasValue . a :List; :first ; :rest . a :List; :first ; :rest . a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing . a :List; :first ; :rest . a :Restriction; :hasValue ; :onProperty . a :Restriction; :toClass ; :onProperty . a :Restriction; :hasValue ; :onProperty . a :Restriction; :toClass ; :onProperty . a :List; :first ; :rest . a :List; :rest ; :first . a :Restriction; :toClass ; :onProperty . a :List; :rest ; :first . a rdfs:Class; :intersectionOf . a :List; :rest ; :first . a rdfs:Class; rdfs:subClassOf . a :List; :rest ; :first . a rdfs:Class; :intersectionOf . a :Restriction; :hasValue ; :onProperty . a rdfs:Class; :intersectionOf . a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing . a :List; :rest ; :first . a rdfs:Class; rdfs:subClassOf . a :List; :first ; :rest . a :Restriction; :hasValue ; :onProperty . a :List; :first ; :rest . a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing . a rdfs:Class . a :Restriction; :hasValue ; :onProperty . a :Restriction; :hasValue ; :onProperty . a :Empty . a :Restriction; :hasValue ; :onProperty . a :List; :rest ; :first . a :List; :first ; :rest . a :Restriction; :hasValue ; :onProperty . a :List; :first ; :rest . a :Restriction; :toClass ; :onProperty . a :Empty . a :List; :rest ; :first . a rdfs:Class; rdfs:subClassOf , , , , , , . a :Restriction; :onProperty ; :hasValue . a :List; :first ; :rest . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf . a :List; :first ; :rest . a :Restriction; :minCardinality "0"; :onProperty ; :hasValue :Thing . a :List; :first ; :rest . a :Empty . a :Restriction; :onProperty ; :toClass . a rdfs:Class; :unionOf . a :Empty . a rdfs:Class; :intersectionOf . a :List; :rest ; :first . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdf:Property . a rdf:Property; :inverseOf . a rdfs:Class; rdfs:subClassOf , . a :Restriction; :hasValue ; :onProperty . a :Restriction; :hasValue ; :onProperty . a :Disjoint; :rest ; :first . a :Disjoint; :rest ; :first . a :List; :first ; :rest . a :Restriction; :onProperty ; :toClass . a rdfs:Class . a :Empty . a :Restriction; :hasValue ; :onProperty . a :List; :first ; :rest . a rdfs:Class; :intersectionOf . a :List; :first ; :rest . a :Empty . a :Empty . a :Restriction; :toClass ; :onProperty . a :List; :first ; :rest . a :List; :first ; :rest . a :List; :rest ; :first . a :List; :rest ; :first . a :List; :first ; :rest . a :Restriction; :toClass ; :onProperty . a :List; :rest ; :first . a :Empty . a :Restriction; :hasValue ; :onProperty . a :List; :rest ; :first . a rdfs:Class; :unionOf . a :Restriction; :hasValue ; :onProperty . a :Restriction; :hasValue ; :onProperty . a rdf:Property; :inverseOf . a :Restriction; :toClass ; :onProperty . a :Restriction; :hasValue ; :onProperty . a :List; :first ; :rest . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf . a :List; :first ; :rest . a rdfs:Class; :intersectionOf . a rdfs:Class; :intersectionOf . a rdfs:Class; :intersectionOf . a :Restriction; :toClass ; :onProperty . a :List; :first ; :rest . a rdfs:Class; :intersectionOf . a rdfs:Class; :unionOf . a :Restriction; :hasValue ; :onProperty . a :List; :first ; :rest . a :List; :rest ; :first . a :List; :first ; :rest . a rdfs:Class; :intersectionOf . a :List; :first ; :rest . a rdfs:Class; :unionOf . a rdfs:Class; :unionOf . a :Restriction; :hasValue ; :onProperty . a :Restriction; :onProperty ; :hasValue . a :List; :first ; :rest . a :List; :first ; :rest . a :Empty . a :List; :first ; :rest . a :List; :rest ; :first . a :Restriction; :hasValue ; :onProperty . a :Empty . a :Restriction; :minCardinality "1"; :hasValue :Thing; :onProperty . a rdf:Property; :inverseOf ; rdfs:subPropertyOf . a rdfs:Class; rdfs:subClassOf . a :List; :rest ; :first . a :Empty . a rdfs:Class; :intersectionOf . a rdfs:Class; :intersectionOf . a rdfs:Class; :intersectionOf . a rdfs:Class; rdfs:subClassOf . a :Empty . a rdfs:Class; :complementOf . a rdfs:Class . a :Restriction; :hasValue ; :onProperty . a rdfs:Class . a :Restriction; :hasValue ; :onProperty . a :List; :first ; :rest . a :List; :rest ; :first . a :List; :first ; :rest . a :Restriction; :hasValue ; :onProperty . a :Empty . a :Restriction; :hasValue ; :onProperty . a :Restriction; :hasValue ; :onProperty . a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing . a :Empty . a rdfs:Class . a :Empty . a :Restriction; :hasValue ; :onProperty . a :List; :first ; :rest . a :Restriction; :hasValue ; :onProperty . a :Empty . a :List; :rest ; :first . a :List; :first ; :rest . a :Restriction; :hasValue ; :onProperty . a rdfs:Class; rdfs:subClassOf . a :List; :first ; :rest . a :Restriction; :toClass ; :onProperty . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf . a rdfs:Class; :intersectionOf . a rdf:Property; :inverseOf . a :Restriction; :onProperty ; :toClass . a rdfs:Class; rdfs:subClassOf , , . a :List; :first ; :rest . a rdfs:Class; rdfs:subClassOf . a rdf:Property; :inverseOf ; rdfs:subPropertyOf . a :Restriction; :onProperty ; :hasValue . a :List; :first ; :rest . a :List; :rest ; :first . a :Empty . a :Restriction; :hasValue ; :onProperty . a :List; :first ; :rest . a :Restriction; :toClass ; :onProperty . a :List; :first ; :rest . a :Restriction; :minCardinality "1"; :onProperty ; :hasValue :Thing . a :List; :first ; :rest . a :List; :first ; :rest . a :List; :first ; :rest . a rdf:Property . a rdfs:Class; rdfs:subClassOf . a rdf:Property . a :List; :rest ; :first . a rdfs:Class; rdfs:subClassOf , , , , . a :Empty . a rdfs:Class . a rdf:Property . a rdfs:Class; rdfs:subClassOf :Thing . a rdf:Property . :disjointUnionOf :unionOf , , , , , , . a rdf:Property; :inverseOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdf:Property . a rdfs:Class; :intersectionOf . a rdf:Property; :inverseOf . a rdfs:Class; rdfs:subClassOf , , . a rdf:Property . a rdfs:Class; rdfs:subClassOf . a :Restriction; :hasValue ; :onProperty . a rdfs:Class . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdf:Property; :inverseOf . a :List; :rest ; :first . a rdf:Property; :inverseOf . a :List; :first ; :rest . a rdfs:Class; rdfs:subClassOf . a :Restriction; :toClass ; :onProperty . a rdfs:Class; :intersectionOf . a :List; :first ; :rest . a rdfs:Class; :intersectionOf . a :List; :rest ; :first . a rdfs:Class; :unionOf . a :List; :first ; :rest . a :Empty . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf :Thing . a rdfs:Class; :intersectionOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a :List; :first ; :rest . a :Restriction; :cardinality "1"; :hasValue :Thing; :onProperty . a :List; :first ; :rest . a rdfs:Class; rdfs:subClassOf . a :Empty . a :Restriction; :onProperty ; :hasValue . a :Restriction; :toClass ; :onProperty . a rdfs:Class; :unionOf . a :Restriction; :cardinality "1"; :hasValue :Thing; :onProperty . a :List; :first ; :rest . a :List; :first ; :rest . a :List; :first ; :rest . a :List; :rest ; :first . a :List; :first ; :rest . a :Restriction; :hasValue ; :onProperty . a :List; :rest ; :first . a rdfs:Class; rdfs:subClassOf , . a rdfs:Class; :intersectionOf . a :List; :first ; :rest . a :List; :rest ; :first . a rdfs:Class; rdfs:subClassOf . a :List; :first ; :rest . a :List; :rest ; :first . a :Restriction; :cardinality "2"; :onProperty ; :hasValue :Thing . a :List; :first ; :rest . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf , . a :List; :first ; :rest . a rdfs:Class; rdfs:subClassOf . a :List; :first ; :rest . a :Restriction; :minCardinality "1"; :onProperty ; :hasValue :Thing . a :List; :first ; :rest . a :Restriction; :hasValue ; :onProperty . a :List; :first ; :rest . a :Restriction; :onProperty ; :hasValue . a :List; :first ; :rest . a :Restriction; :toClass ; :onProperty . a :List; :first ; :rest . a :Restriction; :hasValue ; :onProperty . a :List; :rest ; :first . a :Restriction; :hasValue ; :onProperty . a rdfs:Class; :intersectionOf . a rdf:Property; :inverseOf . a rdfs:Class; :intersectionOf . a :Empty . a rdf:Property . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf . a rdfs:Class; :intersectionOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf . a rdfs:Class; :intersectionOf . a rdf:Property; :inverseOf . a :List; :rest ; :first . a :List; :first ; :rest . a :Restriction; :toClass ; :onProperty . a :Empty . a :Restriction; :hasValue ; :onProperty . a rdfs:Class . a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing . a :List; :first ; :rest . a :Empty . a :List; :rest ; :first . a :List; :first ; :rest . a rdfs:Class; rdfs:subClassOf . a rdf:Property . a :List; :first ; :rest . a rdf:Property . a rdf:Property . a :Restriction; :hasValue ; :onProperty . a :List; :rest ; :first . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf . a rdfs:Class; :intersectionOf . a :List; :rest ; :first . a :List; :first ; :rest . a :Restriction; :onProperty ; :hasValue . a :List; :first ; :rest . a :Restriction; :toClass ; :onProperty . a :List; :first ; :rest . a :Restriction; :hasValue ; :onProperty . a :List; :first ; :rest . a :List; :rest ; :first . a :List; :first ; :rest . a :List; :first ; :rest . a :Restriction; :hasValue ; :onProperty . a rdfs:Class; :unionOf . a :Empty . a :List; :first ; :rest . a rdfs:Class . a :Restriction; :hasValue ; :onProperty . a :Empty . a :Restriction; :onProperty ; :hasValue . a :List; :first ; :rest . a :Empty . a :List; :first ; :rest . a :Empty . a rdfs:Class; :intersectionOf . a :Restriction; :toClass ; :onProperty . a :Empty . a :Empty . a rdfs:Class; :unionOf . a :List; :first ; :rest . a rdfs:Class; :intersectionOf . a :List; :first ; :rest . a :Restriction; :minCardinality "1"; :onProperty ; :hasValue :Thing . a :List; :first ; :rest . a rdfs:Class; :intersectionOf . a rdfs:Class; rdfs:subClassOf , , . a :List; :first ; :rest . a rdfs:Class; rdfs:subClassOf . a :List; :first ; :rest . a :Restriction; :onProperty ; :hasValue . a :List; :first ; :rest . a rdfs:Class; :intersectionOf . a :Empty . a :Restriction; :toClass ; :onProperty . a :List; :first ; :rest . a :Restriction; :hasValue ; :onProperty . a rdfs:Class; :intersectionOf . a :List; :first ; :rest . a rdfs:Class; :unionOf . a :Empty . a :List; :rest ; :first . a rdfs:Class; rdfs:subClassOf . a :Restriction; :minCardinality "1"; :onProperty ; :hasValue :Thing . a :List; :first ; :rest . a :Restriction; :hasValue ; :onProperty . a rdfs:Class . a :List; :first ; :rest . a :Empty . a :List; :first ; :rest . a :Restriction; :hasValue ; :onProperty . a :List; :rest ; :first . a :List; :first ; :rest . a :Empty . a :List; :first ; :rest . a :List; :first ; :rest . a :List; :rest ; :first . a :List; :first ; :rest . a :Restriction; :toClass ; :onProperty . a :Restriction; :toClass ; :onProperty . a :List; :first ; :rest . a rdf:Property; rdfs:domain ; rdfs:range ; rdfs:subPropertyOf . a rdfs:Class; :intersectionOf . a rdfs:Class; rdfs:subClassOf . a :Restriction; :onProperty ; :hasValue . a :List; :first ; :rest . a :Restriction; :onProperty ; :toClass . a rdfs:Class; :intersectionOf . a rdfs:Class; rdfs:subClassOf , . a rdf:Property; :inverseOf . a rdfs:Class; :intersectionOf . a :List; :first ; :rest . a :Restriction; :toClass ; :onProperty . a rdfs:Class; :unionOf . a :Empty . a :List; :first ; :rest . a :Empty . a :Empty . a :List; :rest ; :first . a :List; :rest ; :first . a :List; :rest ; :first . a :List; :first ; :rest . a :Empty . a rdfs:Class; :unionOf . a :Empty . a :Restriction; :minCardinality "1"; :onProperty ; :hasValue :Thing . a :Empty . a :Empty . a :List; :rest ; :first . a :List; :first ; :rest . a :Restriction; :minCardinality "1"; :onProperty ; :hasValue :Thing . a rdfs:Class; :intersectionOf . a :List; :rest ; :first . a :List; :first ; :rest . a rdfs:Class; rdfs:subClassOf . a :List; :rest ; :first . a :Empty . a :List; :first ; :rest . a :List; :first ; :rest . a :Restriction; :hasValue ; :onProperty . a :List; :first ; :rest . a :List; :rest ; :first . a rdfs:Class; rdfs:subClassOf . a :List; :first ; :rest . a :Restriction; :onProperty ; :hasValue . a :List; :first ; :rest . a :Restriction; :hasValue ; :onProperty . a rdfs:Class; :intersectionOf . a :List; :first ; :rest . a :Restriction; :toClass ; :onProperty . a :Empty . a :List; :rest ; :first . a :Empty . a :List; :rest ; :first . a :List; :first ; :rest . a :Restriction; :hasValue ; :onProperty . a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing . a :List; :first ; :rest . a :List; :rest ; :first . a :List; :first ; :rest . a :Empty . a :List; :rest ; :first . a :Restriction; :hasValue ; :onProperty . a rdfs:Class . a :List; :first ; :rest . a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing . a rdfs:Class; :intersectionOf . a rdfs:Class; :intersectionOf . a rdf:Property; :inverseOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :unionOf . a rdf:Property; :inverseOf ; rdfs:subPropertyOf . a rdfs:Class; :intersectionOf . a rdf:Property; rdfs:range ; :inverseOf ; rdfs:domain . a rdf:Property; rdfs:domain ; rdfs:range . a rdfs:Class; rdfs:subClassOf . a :List; :rest ; :first . a :List; :first ; :rest . a :Restriction; :hasValue ; :onProperty . a :List; :first ; :rest . a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing . a :Empty . a rdfs:Class; rdfs:subClassOf . a :List; :first ; :rest . a :Restriction; :hasValue ; :onProperty . a rdfs:Class; rdfs:subClassOf . a rdfs:Class . a rdfs:Class . a :Empty . a rdfs:Class; rdfs:subClassOf . a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing . a :List; :rest ; :first . a :List; :first ; :rest . a :Empty . a :Restriction; :hasValue ; :onProperty . a rdfs:Class; :intersectionOf . a rdfs:Class . a rdfs:Class; :intersectionOf . a :Restriction; :cardinality "1"; :hasValue :Thing; :onProperty . a rdf:Property . a rdf:Property . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf , . a rdfs:Class; rdfs:subClassOf ; :intersectionOf . a rdfs:Class; rdfs:subClassOf . a rdf:Property . a :List; :first ; :rest . a :List; :first ; :rest . a rdfs:Class . a :Restriction; :cardinality "2"; :onProperty ; :hasValue :Thing . a :Empty . a :Empty . a :Restriction; :onProperty ; :hasValue . a :List; :rest ; :first . a :Restriction; :onProperty ; :hasValue . a :List; :first ; :rest . a rdfs:Class; :intersectionOf . a :List; :first ; :rest . a :Restriction; :hasValue ; :onProperty . a :Empty . a rdfs:Class . a rdf:Property . a :Restriction; :onProperty ; :hasValue . a :Restriction; :hasValue ; :onProperty . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf . a rdfs:Class; rdfs:subClassOf . a rdf:Property; :inverseOf . a rdfs:Class; rdfs:subClassOf . a :Empty . a rdfs:Class; :intersectionOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :equivalentTo ; rdfs:subClassOf . a rdfs:Class; :intersectionOf . a rdfs:Class; :intersectionOf . a :Restriction; :minCardinality "1"; :onProperty ; :hasValue :Thing . a :List; :first ; :rest . a :List; :rest ; :first . a rdfs:Class; rdfs:subClassOf . a :Restriction; :toClass ; :onProperty . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a :Restriction; :onProperty ; :hasValue . a :List; :first ; :rest . a rdfs:Class . a :Restriction; :hasValue ; :onProperty . a :List; :first ; :rest . a :List; :rest ; :first . a :Empty . a :Empty . a :Empty . a :Restriction; :toClass ; :onProperty . a :List; :rest ; :first . a :List; :first ; :rest . a rdfs:Class; :intersectionOf . a :Empty . a :Restriction; :hasValue ; :onProperty . a :Restriction; :toClass ; :onProperty . a :Restriction; :hasValue ; :onProperty . a :Empty . a :List; :first ; :rest . a :Restriction; :hasValue ; :onProperty . a :Restriction; :toClass ; :onProperty . a :Restriction; :onProperty ; :hasValue . a rdfs:Class; rdfs:subClassOf , , , . a rdf:Property . a :List; :first ; :rest . a rdfs:Class; rdfs:subClassOf . a :List; :rest ; :first . a :Empty . a :List; :rest ; :first . a :Empty . a rdfs:Class . a :Restriction; :hasValue ; :onProperty . a :List; :first ; :rest . a rdfs:Class . a :Restriction; :hasValue ; :onProperty . a :List; :first ; :rest . a rdf:Property; rdfs:domain ; rdfs:range . a :Restriction; :onProperty ; :hasValue . a rdfs:Class; :intersectionOf . a rdfs:Class; :intersectionOf . a rdf:Property . a :List; :first ; :rest . a :List; :first ; :rest . a :List; :first ; :rest . a :Restriction; :hasValue ; :onProperty . a rdf:Property; :inverseOf . a rdf:Property; :inverseOf . a :List; :first ; :rest . a rdfs:Class; :intersectionOf . a :Empty . a rdfs:Class; rdfs:subClassOf , , . a :List; :rest ; :first . a :Restriction; :onProperty ; :toClass . a :List; :first ; :rest . a :Restriction; :onProperty ; :hasValue . a :List; :first ; :rest . a :Empty . a :List; :first ; :rest . a :List; :first ; :rest . a :List; :rest ; :first . a :List; :rest ; :first . a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing . a :List; :rest ; :first . a :Empty . a :List; :rest ; :first . a :List; :first ; :rest . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :unionOf . a rdfs:Class; :intersectionOf . a :Empty . a :List; :first ; :rest . a :List; :first ; :rest . a rdfs:Class; rdfs:subClassOf , , . a rdf:Property; :inverseOf ; rdfs:subPropertyOf . a :Restriction; :toClass ; :onProperty . a :Restriction; :hasValue ; :onProperty . a :Empty . a :List; :first ; :rest . a :Restriction; :onProperty ; :hasValue . a :List; :first ; :rest . a :Restriction; :toClass ; :onProperty . a :Restriction; :hasValue ; :onProperty . a :Restriction; :hasValue ; :onProperty . a :Empty . a :Restriction; :hasValue ; :onProperty . a :Restriction; :onProperty ; :toClass . a :List; :first ; :rest . a :Restriction; :toClass ; :onProperty . a rdfs:Class; rdfs:subClassOf . a :Restriction; :toClass ; :onProperty . a :List; :first ; :rest . a :Restriction; :hasValue ; :onProperty . a :List; :first ; :rest . a rdfs:Class; :unionOf . a :Empty . a :Empty . a :Restriction; :toClass ; :onProperty . a :Restriction; :hasValue ; :onProperty . a :List; :first ; :rest . a rdfs:Class; :intersectionOf . a :List; :first ; :rest . a rdf:Property . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf . a rdfs:Class; :intersectionOf . a rdfs:Class; rdfs:subClassOf . a rdf:Property . a rdf:Property . a rdfs:Class; :intersectionOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf . a :List; :first ; :rest . a rdfs:Class; :unionOf . a :List; :first ; :rest . a :Empty . a :Empty . a :List; :first ; :rest . a :Restriction; :toClass ; :onProperty . a :List; :first ; :rest . a :Restriction; :hasValue ; :onProperty . a :List; :first ; :rest . a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing . a :List; :first ; :rest . a :List; :rest ; :first . a :List; :rest ; :first . a :Empty . a rdfs:Class; :intersectionOf . a :List; :first ; :rest . a rdfs:Class; :intersectionOf . a rdfs:Class . a :List; :rest ; :first . a :Empty . a :Empty . a :Restriction; :onProperty ; :toClass . a :Empty . a :Restriction; :onProperty ; :toClass . a :Empty . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :unionOf . a rdfs:Class; rdfs:subClassOf . a :Empty . a rdfs:Class . a :List; :rest ; :first . a :Empty . a rdfs:Class . a :List; :rest ; :first . a :List; :rest ; :first . a :List; :rest ; :first . a rdfs:Class . a :List; :rest ; :first . a rdfs:Class; :intersectionOf . a :List; :first ; :rest . a :Empty . a :Empty . a :Restriction; :onProperty ; :hasValue . a :List; :first ; :rest . a :Restriction; :onProperty ; :toClass . a :List; :first ; :rest . a rdfs:Class; :intersectionOf . a :List; :first ; :rest . a :Restriction; :minCardinality "1"; :onProperty ; :hasValue :Thing . a :List; :first ; :rest . a :Restriction; :hasValue ; :onProperty . a :List; :first ; :rest . a :List; :rest ; :first . a :Restriction; :toClass ; :onProperty . a rdfs:Class; rdfs:subClassOf . a :List; :first ; :rest . a :Restriction; :toClass ; :onProperty . a :List; :first ; :rest . a :Restriction; :onProperty ; :toClass . a :List; :first ; :rest . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :unionOf . a :Restriction; :toClass ; :onProperty . a rdfs:Class; :intersectionOf . a rdfs:Class; :intersectionOf . a :Restriction; :hasValue ; :onProperty . a :Empty . a :List; :rest ; :first . a :List; :first ; :rest . a :Restriction; :hasValue ; :onProperty . a :Empty . a :List; :rest ; :first . a :Empty . a :Restriction; :hasValue ; :onProperty . a :List; :first ; :rest . a :List; :rest ; :first . a :Empty . a :Restriction; :hasValue ; :onProperty . a :List; :first ; :rest . a rdf:Property; rdfs:subPropertyOf ; :inverseOf . a rdfs:Class; :intersectionOf . a :List; :rest ; :first . a :List; :first ; :rest . a :Restriction; :hasValue ; :onProperty . a :Empty . a rdfs:Class . a :Restriction; :hasValue ; :onProperty . a :Empty . a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing . a :List; :first ; :rest . a rdf:Property . a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing . a rdfs:Class; :equivalentTo , . a :List; :first ; :rest . a :Restriction; :minCardinality "1"; :onProperty ; :hasValue :Thing . a rdfs:Class; rdfs:subClassOf . a :List; :first ; :rest . a :List; :rest ; :first . a :Empty . a rdfs:Class; rdfs:subClassOf . a :Restriction; :hasValue ; :onProperty . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf . a :List; :first ; :rest . a rdfs:Class; :intersectionOf . a :List; :first ; :rest . a rdfs:Class; rdfs:subClassOf , , . a :Restriction; :minCardinality "1"; :onProperty ; :hasValue :Thing . a rdfs:Class; rdfs:subClassOf . a :List; :rest ; :first . a rdf:Property; :inverseOf . a :List; :first ; :rest . a rdfs:Class; rdfs:subClassOf , , , , , , , , , ; :intersectionOf . a :List; :first ; :rest . a :List; :rest ; :first . a rdfs:Class; :intersectionOf . a :List; :first ; :rest . a :Empty . a :Restriction; :onProperty ; :toClass . a rdfs:Class; :intersectionOf . a rdf:Property . a rdfs:Class; rdfs:subClassOf . a :Restriction; :toClass ; :onProperty . a :Empty . a :List; :first ; :rest . a :List; :first ; :rest . a :Restriction; :minCardinality "1"; :hasValue :Thing; :onProperty . a :Empty . a :Restriction; :toClass ; :onProperty . a :List; :rest ; :first . a :List; :first ; :rest . a :List; :rest ; :first . a :Restriction; :hasValue ; :onProperty . a rdfs:Class; rdfs:subClassOf :Thing . a :Empty . a :List; :first ; :rest . a :Restriction; :toClass ; :onProperty . a :List; :rest ; :first . a rdf:Property . a :Empty . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf , , . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdf:Property . a :Restriction; :minCardinality "1"; :onProperty ; :hasValue :Thing . a rdfs:Class; rdfs:subClassOf . a :List; :first ; :rest . a rdfs:Class; rdfs:subClassOf . a :Restriction; :toClass ; :onProperty . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf . a rdfs:Class; rdfs:subClassOf . a :Empty . a :List; :first ; :rest . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf . a rdfs:Class; :intersectionOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class . a rdfs:Class . a :Empty . a :Empty . a :List; :rest ; :first . a :List; :first ; :rest . a :Restriction; :hasValue ; :onProperty . a :List; :first ; :rest . a :Restriction; :cardinality "2"; :onProperty ; :hasValue :Thing . a :List; :first ; :rest . a :Restriction; :onProperty ; :hasValue . a :List; :rest ; :first . a :Empty . a :Restriction; :onProperty ; :hasValue . a :List; :first ; :rest . a :List; :rest ; :first . a :Empty . a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing . a :List; :first ; :rest . a :Restriction; :hasValue ; :onProperty . a rdfs:Class; :intersectionOf . a :Empty . a rdfs:Class; rdfs:subClassOf , , , , , , . a rdfs:Class; :intersectionOf . a :List; :first ; :rest . a :List; :rest ; :first . a rdf:Property; :inverseOf . a rdfs:Class; rdfs:subClassOf . a :List; :first ; :rest . a :List; :rest ; :first . a :List; :first ; :rest . a :Restriction; :hasValue ; :onProperty . a :List; :first ; :rest . a :Restriction; :toClass ; :onProperty . a :Empty . a :Restriction; :hasValue ; :onProperty . a :List; :rest ; :first . a :Empty . a :Restriction; :cardinality "3"; :onProperty ; :hasValue :Thing . a :List; :first ; :rest . a :Restriction; :onProperty ; :hasValue . a :Empty . a rdfs:Class . a :Restriction; :hasValue ; :onProperty . a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing . a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing . a :List; :first ; :rest . a :Empty . a :List; :rest ; :first . a :List; :rest ; :first . a rdfs:Class; :intersectionOf . a :List; :first ; :rest . a rdf:Property . a :List; :first ; :rest . a rdfs:Class; :intersectionOf . a :List; :first ; :rest . a :List; :first ; :rest . a rdfs:Class; :intersectionOf . a :Restriction; :toClass ; :onProperty . a :List; :first ; :rest . a :Restriction; :hasValue ; :onProperty . a :List; :first ; :rest . a :Restriction; :toClass ; :onProperty . a :List; :rest ; :first . a :Restriction; :onProperty ; :hasValue . a :Empty . a :List; :rest ; :first . a :List; :first ; :rest . a :Restriction; :toClass ; :onProperty . a :List; :first ; :rest . a :List; :rest ; :first . a :Restriction; :onProperty ; :hasValue . a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing . a rdfs:Class . a :Restriction; :hasValue ; :onProperty . a :List; :first ; :rest . a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing . a :List; :rest ; :first . a :Restriction; :onProperty ; :hasValue . a :List; :rest ; :first . a rdfs:Class; rdfs:subClassOf ; :intersectionOf . a rdfs:Class; rdfs:subClassOf . a :Restriction; :onProperty ; :hasValue . a rdf:Property . a rdfs:Class; :intersectionOf . a rdfs:Class; rdfs:subClassOf . a rdf:Property . a rdfs:Class; rdfs:subClassOf . a :Restriction; :hasValue ; :onProperty . a :List; :first ; :rest . a :List; :rest ; :first . a :List; :rest ; :first . a :Restriction; :onProperty ; :hasValue . a :Empty . a :List; :first ; :rest . a :List; :rest ; :first . a :List; :first ; :rest . a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing . a :List; :first ; :rest . a rdfs:Class; :unionOf . a rdfs:Class . a :Empty . a :List; :rest ; :first . a :List; :first ; :rest . a :Empty . a :Restriction; :toClass ; :onProperty . a :List; :first ; :rest . a :Restriction; :hasValue ; :onProperty . a :List; :first ; :rest . a :List; :rest ; :first . a :Empty . a :Restriction; :onProperty ; :toClass . a rdfs:Class; :unionOf . a :List; :first ; :rest . a :List; :rest ; :first . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a :List; :first ; :rest . a rdfs:Class; :intersectionOf . a rdfs:Class; rdfs:subClassOf , , , . a rdfs:Class; :intersectionOf . a rdfs:Class; :intersectionOf . a :List; :first ; :rest . a rdf:Property . a :List; :rest ; :first . a :List; :rest ; :first . a rdfs:Class . a :Restriction; :onProperty ; :toClass . a :Empty . a :List; :rest ; :first . a :List; :first ; :rest . a :Empty . a :Empty . a :Empty . a :Restriction; :toClass ; :onProperty . a :Restriction; :hasValue ; :onProperty . a :Restriction; :onProperty ; :hasValue . a :Empty . a :List; :rest ; :first . a :List; :first ; :rest . a :List; :first ; :rest . a :Restriction; :hasValue ; :onProperty . a :List; :rest ; :first . a :Restriction; :toClass ; :onProperty . a :Restriction; :hasValue ; :onProperty . a :List; :first ; :rest . a :Restriction; :cardinality "1"; :hasValue :Thing; :onProperty . a :List; :first ; :rest . a rdfs:Class; :intersectionOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf . a rdfs:Class; :intersectionOf . a :List; :first ; :rest . a :List; :rest ; :first . a :List; :first ; :rest . a rdfs:Class; :intersectionOf . a :List; :rest ; :first . a :List; :rest ; :first . a :List; :rest ; :first . a :List; :first ; :rest . a :Empty . a :List; :rest ; :first . a rdf:Property; :inverseOf ; rdfs:subPropertyOf . a :Restriction; :hasValue ; :onProperty . a :List; :first ; :rest . a :Restriction; :hasValue ; :onProperty . a :Empty . a :Restriction; :hasValue ; :onProperty . a :List; :first ; :rest . a :Restriction; :hasValue ; :onProperty . a :List; :first ; :rest . a :Restriction; :toClass ; :onProperty . a :Empty . a rdfs:Class; :intersectionOf . a :List; :rest ; :first . a :List; :first ; :rest . a rdfs:Class; :intersectionOf . a rdfs:Class; rdfs:subClassOf . a :Empty . a :Restriction; :onProperty ; :hasValue . a :List; :first ; :rest . a :Restriction; :cardinality "1"; :hasValue :Thing; :onProperty . a :List; :first ; :rest . a :Restriction; :toClass ; :onProperty . a :List; :first ; :rest . a rdfs:Class; rdfs:subClassOf , . a :Restriction; :toClass ; :onProperty . a rdfs:Class; :intersectionOf . a :List; :rest ; :first . a :List; :first ; :rest . a :Restriction; :minCardinality "1"; :onProperty ; :hasValue :Thing . a :List; :first ; :rest . a :List; :rest ; :first . a :List; :first ; :rest . a rdfs:Class; :intersectionOf . a :List; :first ; :rest . a :Restriction; :hasValue ; :onProperty . a :Empty . a :Restriction; :toClass ; :onProperty . a :Empty . a :Restriction; :onProperty ; :hasValue . a :List; :first ; :rest . a :Restriction; :minCardinality "1"; :onProperty ; :hasValue :Thing . a :List; :first ; :rest . a :Restriction; :hasValue ; :onProperty . a :Empty . a :List; :rest ; :first . a :List; :rest ; :first . a :List; :first ; :rest . a :Restriction; :hasValue ; :onProperty . a :Empty . a :Restriction; :onProperty ; :hasValue . a :List; :first ; :rest . a :Restriction; :hasValue ; :onProperty . a :List; :first ; :rest . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf . a :List; :rest ; :first . a :List; :first ; :rest . a :Restriction; :hasValue ; :onProperty . a :List; :first ; :rest . a rdfs:Class; :intersectionOf . a rdf:Property; :inverseOf . a rdfs:Class; rdfs:subClassOf . a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing . a :List; :first ; :rest . a :Restriction; :hasValue ; :onProperty . a :List; :first ; :rest . a :Empty . a :Restriction; :hasValue ; :onProperty . a :Empty . a :List; :first ; :rest . a :List; :first ; :rest . a :List; :first ; :rest . a :Restriction; :hasValue ; :onProperty . a :List; :rest ; :first . a rdfs:Class; rdfs:subClassOf . a :List; :first ; :rest . a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing . a rdfs:Class . a :List; :first ; :rest . a :List; :rest ; :first . a :List; :first ; :rest . a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing . a :List; :first ; :rest . a :Restriction; :hasValue ; :onProperty . a :List; :first ; :rest . a :List; :rest ; :first . a :Restriction; :hasValue ; :onProperty . a rdfs:Class; :unionOf . a :Empty . a :Empty . a :Empty . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf . a :List; :first ; :rest . a :List; :first ; :rest . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf . a :List; :rest ; :first . a :Empty . a rdf:Property; rdfs:subPropertyOf ; :inverseOf . a rdfs:Class; rdfs:subClassOf . a rdf:Property . a rdf:Property; :inverseOf . a rdfs:Class; :intersectionOf . a rdf:Property . a rdfs:Class; rdfs:subClassOf , , . a rdf:Property; :inverseOf . a rdf:Property . a rdfs:Class; rdfs:subClassOf . a :List; :first ; :rest . a rdfs:Class; :intersectionOf . a rdfs:Class; rdfs:subClassOf . a :Restriction; :toClass ; :onProperty . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf . a :Restriction; :onProperty ; :hasValue . a :List; :first ; :rest . a :List; :first ; :rest . a rdfs:Class; rdfs:subClassOf , . a :Restriction; :cardinality "1"; :hasValue :Thing; :onProperty . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf . a rdfs:Class; rdfs:subClassOf , , . a rdfs:Class; :intersectionOf . a rdfs:Class; :intersectionOf . a :Restriction; :hasValue ; :onProperty . a rdfs:Class; :intersectionOf . a rdfs:Class; :intersectionOf . a rdfs:Class; :intersectionOf . a rdfs:Class; rdfs:subClassOf . a rdf:Property . a rdf:Property . a rdf:Property; :inverseOf ; rdfs:subPropertyOf . a rdfs:Class; :intersectionOf . a rdfs:Class; :intersectionOf . a rdf:Property . a rdf:Property; rdfs:subPropertyOf ; :inverseOf . a rdf:Property . a rdfs:Class; rdfs:subClassOf . a rdf:Property; :inverseOf . a :List; :first ; :rest . a :Restriction; :onProperty ; :hasValue . a :Empty . a :List; :rest ; :first . a :List; :first ; :rest . a :List; :rest ; :first . a rdfs:Class; :intersectionOf . a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing . a :List; :first ; :rest . a :List; :first ; :rest . a :Restriction; :hasValue ; :onProperty . a :List; :rest ; :first . a rdf:Property . a :Empty . a :List; :first ; :rest . a rdfs:Class; :unionOf . a :List; :rest ; :first . a :Restriction; :onProperty ; :hasValue . a :Empty . a :List; :rest ; :first . a :Empty . a :Empty . a :List; :first ; :rest . a :Restriction; :toClass ; :onProperty . a :List; :first ; :rest . a rdf:Property . a :Empty . a :List; :rest ; :first . a :Restriction; :hasValue ; :onProperty . a rdfs:Class . a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing . a :List; :first ; :rest . a :Restriction; :maxCardinality "4"; :onProperty ; :hasValue :Thing . a :List; :first ; :rest . a :Restriction; :onProperty ; :hasValue . a :List; :first ; :rest . a :Empty . a :List; :rest ; :first . a :Restriction; :minCardinality "1"; :onProperty ; :hasValue :Thing . a :List; :first ; :rest . a :List; :first ; :rest . a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing . a :List; :first ; :rest . a :Restriction; :onProperty ; :hasValue . a :List; :rest ; :first . a :Restriction; :onProperty ; :hasValue . a :List; :first ; :rest . a :Restriction; :onProperty ; :toClass . #ENDS