# 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/tambis3.n3 # Notation3 generation by # $Id: notation3.py,v 1.35 2000/12/07 21:35:48 timbl Exp $ @prefix log: . @prefix ex: . @prefix ont: . @prefix rdfs: . @prefix rdf: . @prefix : . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :toClass ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :onProperty ; :hasValue ]; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :minCardinality "1"; :onProperty ; :hasValue :Thing ]; :rest [ a :List; :first [ a :Restriction; :onProperty ; :hasValue ]; :rest [ a :Empty ] ] ] ] ] ] ]; :first ] . a rdfs:Class; rdfs:subClassOf . a rdf:Property . a rdfs:Class; rdfs:subClassOf , ; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :toClass ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :onProperty ; :hasValue ]; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :Empty ] ] ] ] ]; :first ] . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :toClass ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :cardinality "1"; :hasValue :Thing; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :toClass ; :onProperty ]; :rest [ a :Empty ] ] ] ] ] ]; :first ] . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :Empty ] ]; :first ] . a rdfs:Class; rdfs:subClassOf [ a :Restriction; :hasValue ; :onProperty ], [ a :Restriction; :toClass ; :onProperty ], . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdf:Property . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first ; :rest [ a :Empty ] ]; :first ] . a rdfs:Class . a rdfs:Class . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :complementOf . a rdfs:Class; rdfs:subClassOf :Thing . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :toClass ; :onProperty ]; :rest [ a :Empty ] ] ]; :first ] . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class . a rdfs:Class . a rdfs:Class . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :toClass ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :onProperty ; :hasValue ]; :rest [ a :List; :first [ a :Restriction; :minCardinality "1"; :onProperty ; :hasValue :Thing ]; :rest [ a :List; :first [ a :Restriction; :onProperty ; :hasValue ]; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :Empty ] ] ] ] ] ] ]; :first ] . a rdfs:Class; rdfs:subClassOf , [ a :Restriction; :hasValue ; :onProperty ], [ a :Restriction; :hasValue ; :onProperty ] . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first ; :rest [ a :Empty ] ]; :first ] . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :rest [ a :Empty ]; :first ]; :first ] . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdf:Property . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :toClass ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :onProperty ; :hasValue ]; :rest [ a :Empty ] ] ] ]; :first ] . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf ; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :toClass ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :onProperty ; :hasValue ]; :rest [ a :List; :first [ a :Restriction; :onProperty ; :toClass ]; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :toClass ; :onProperty ]; :rest [ a :Empty ] ] ] ] ] ] ]; :first ] . a rdfs:Class . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :rest [ a :Empty ]; :first ]; :first ] . a rdfs:Class; :unionOf [ a :List; :rest [ a :List; :rest [ a :Empty ]; :first ]; :first ] . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :toClass ; :onProperty ]; :rest [ a :Empty ] ] ]; :first ] . a rdfs:Class; rdfs:subClassOf ; :intersectionOf [ a :List; :first ; :rest [ a :Empty ] ] . a rdfs:Class; rdfs:subClassOf [ a :Restriction; :hasValue ; :onProperty ], . a rdfs:Class . a rdfs:Class; :unionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :onProperty ; :toClass ]; :rest [ a :Empty ] ]; :first ] . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing ]; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :Empty ] ] ]; :first ] . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf [ a :List; :first [ a :Restriction; :minCardinality "1"; :hasValue :Thing; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :toClass ; :onProperty ]; :rest [ a :Empty ] ] ] . a rdf:Property; rdfs:range . a rdfs:Class; rdfs:subClassOf [ a :Restriction; :hasValue ; :onProperty ], [ a :Restriction; :toClass ; :onProperty ], . a rdfs:Class; rdfs:subClassOf [ a :Restriction; :hasValue ; :onProperty ], [ a :Restriction; :toClass ; :onProperty ], [ a :Restriction; :hasValue ; :onProperty ], [ a :Restriction; :toClass ; :onProperty ], . a rdfs:Class . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :toClass ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :onProperty ; :hasValue ]; :rest [ a :List; :first [ a :Restriction; :minCardinality "1"; :onProperty ; :hasValue :Thing ]; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :Empty ] ] ] ] ] ] ]; :first ] . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :toClass ; :onProperty ]; :rest [ a :Empty ] ] ]; :first ] . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdf:Property; rdfs:domain ; rdfs:range . a rdfs:Class; rdfs:subClassOf . a rdf:Property; :inverseOf . a rdfs:Class; rdfs:subClassOf :Thing . a rdfs:Class; rdfs:subClassOf ; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :toClass ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :toClass ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :toClass ; :onProperty ]; :rest [ a :Empty ] ] ] ] ] ]; :first ] . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :Empty ] ]; :first ] . a rdfs:Class; :unionOf [ a :List; :first [ a :Restriction; :onProperty ; :toClass ]; :rest [ a :Empty ] ] . a rdf:Property; :inverseOf . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :Empty ] ]; :first ] . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :rest [ a :Empty ]; :first ]; :first ] . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing ]; :rest [ a :List; :first [ a :Restriction; :onProperty ; :hasValue ]; :rest [ a :Empty ] ] ]; :first ] . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing ]; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :Empty ] ] ]; :first ] . a rdf:Property; :inverseOf . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing ]; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :Empty ] ] ]; :first ] . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :Empty ] ]; :first ] . a rdfs:Class; :intersectionOf [ a :List; :first ; :rest [ a :Empty ] ] . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing ]; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :Empty ] ] ]; :first ] . a rdfs:Class; :intersectionOf [ a :List; :first ; :rest [ a :Empty ] ] . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :toClass ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :cardinality "1"; :hasValue :Thing; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :toClass ; :onProperty ]; :rest [ a :Empty ] ] ] ] ] ]; :first ]; :equivalentTo . a rdfs:Class; rdfs:subClassOf [ a :Restriction; :hasValue ; :onProperty ], [ a :Restriction; :hasValue ; :onProperty ], [ a :Restriction; :toClass ; :onProperty ], . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :toClass ; :onProperty ]; :rest [ a :Empty ] ] ]; :first ] . a rdfs:Class; :unionOf [ a :List; :first ; :rest [ a :Empty ] ] . a rdf:Property . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf [ a :Restriction; :onProperty ; :hasValue ], [ a :Restriction; :onProperty ; :toClass ], [ a :Restriction; :onProperty ; :hasValue ], [ a :Restriction; :onProperty ; :hasValue ], . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :unionOf [ a :List; :rest [ a :List; :rest [ a :Empty ]; :first ]; :first ] . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing ]; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :Empty ] ] ]; :first ] . a rdfs:Class; :unionOf [ a :List; :first ; :rest [ a :Empty ] ] . a rdfs:Class; :intersectionOf [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :toClass ; :onProperty ]; :rest [ a :Empty ] ] ] . a rdfs:Class; :unionOf [ a :List; :rest [ a :List; :rest [ a :Empty ]; :first ]; :first ] . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :minCardinality "1"; :onProperty ; :hasValue :Thing ]; :rest [ a :List; :first [ a :Restriction; :maxCardinality "4"; :onProperty ; :hasValue :Thing ]; :rest [ a :List; :first [ a :Restriction; :onProperty ; :hasValue ]; :rest [ a :Empty ] ] ] ]; :first ] . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :toClass ; :onProperty ]; :rest [ a :Empty ] ] ] . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing ]; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :Empty ] ] ]; :first ] . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :rest [ a :List; :first [ a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing ]; :rest [ a :List; :first [ a :Restriction; :onProperty ; :toClass ]; :rest [ a :Empty ] ] ]; :first ]; :first ] . a rdfs:Class; rdfs:subClassOf [ a :Restriction; :hasValue ; :onProperty ], . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :rest [ a :Empty ]; :first ]; :first ] . [ a :Disjoint; :rest [ a :Disjoint; :rest [ a :Disjoint; :rest [ a :Disjoint; :rest [ a :Empty ]; :first ]; :first ]; :first ]; :first ]. [ a :Disjoint; :rest [ a :Disjoint; :rest [ a :Empty ]; :first ]; :first ]. a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :rest [ a :Empty ]; :first ]; :first ] . a rdfs:Class; :complementOf . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing ]; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :Empty ] ] ]; :first ] . a rdfs:Class; :unionOf [ a :List; :rest [ a :List; :rest [ a :Empty ]; :first ]; :first ] . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :onProperty ; :hasValue ]; :rest [ a :List; :first [ a :Restriction; :cardinality "2"; :onProperty ; :hasValue :Thing ]; :rest [ a :List; :first [ a :Restriction; :onProperty ; :hasValue ]; :rest [ a :Empty ] ] ] ] ]; :first ] . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing ]; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :Empty ] ] ]; :first ] . a rdfs:Class; rdfs:subClassOf . a rdf:Property; :inverseOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :Empty ] ]; :first ] . a rdfs:Class; :intersectionOf [ a :List; :first [ a :Restriction; :minCardinality "1"; :onProperty ; :hasValue :Thing ]; :rest [ a :List; :first [ a :Restriction; :onProperty ; :hasValue ]; :rest [ a :Empty ] ] ] . a rdfs:Class; rdfs:subClassOf [ a :Restriction; :hasValue ; :onProperty ], [ a :Restriction; :toClass ; :onProperty ], . a rdf:Property; :inverseOf ; rdfs:subPropertyOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :unionOf [ a :List; :first ; :rest [ a :Empty ] ] . a rdfs:Class; :intersectionOf [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :toClass ; :onProperty ]; :rest [ a :Empty ] ] ] . a rdfs:Class; :unionOf [ a :List; :rest [ a :List; :rest [ a :Empty ]; :first ]; :first ] . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :minCardinality "1"; :onProperty ; :hasValue :Thing ]; :rest [ a :List; :first [ a :Restriction; :onProperty ; :hasValue ]; :rest [ a :Empty ] ] ]; :first ] . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first ; :rest [ a :Empty ] ]; :first ] . a rdfs:Class; :unionOf [ a :List; :rest [ a :List; :rest [ a :Empty ]; :first ]; :first ] . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :toClass ; :onProperty ]; :rest [ a :Empty ] ] ]; :first ] . a rdfs:Class; :intersectionOf [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :toClass ; :onProperty ]; :rest [ a :Empty ] ] ] . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class . a rdf:Property . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf [ a :Restriction; :hasValue ; :onProperty ], [ a :Restriction; :toClass ; :onProperty ], . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf [ a :List; :first ; :rest [ a :Empty ] ] . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :onProperty ; :hasValue ]; :rest [ a :Empty ] ]; :first ] . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing ]; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :Empty ] ] ]; :first ] . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdf:Property; :inverseOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdf:Property; :inverseOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing ]; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :Empty ] ] ]; :first ] . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :Empty ] ]; :first ] . a rdfs:Class; :intersectionOf [ a :List; :first ; :rest [ a :Empty ] ] . a rdfs:Class; rdfs:subClassOf . a rdf:Property; rdfs:range ; rdfs:domain . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :toClass ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :onProperty ; :hasValue ]; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :Empty ] ] ] ] ]; :first ] . a rdf:Property; :inverseOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf , [ a :Restriction; :minCardinality "1"; :onProperty ; :hasValue :Thing ], [ a :Restriction; :toClass ; :onProperty ] . a rdfs:Class . a rdf:Property; :inverseOf . a rdf:Property . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :toClass ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :onProperty ; :hasValue ]; :rest [ a :List; :first [ a :Restriction; :minCardinality "1"; :onProperty ; :hasValue :Thing ]; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :minCardinality "1"; :onProperty ; :hasValue :Thing ]; :rest [ a :List; :first [ a :Restriction; :onProperty ; :hasValue ]; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :Empty ] ] ] ] ] ] ] ] ]; :first ] . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :toClass ; :onProperty ]; :rest [ a :Empty ] ] ]; :first ] . a rdfs:Class . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :unionOf [ a :List; :first ; :rest [ a :Empty ] ] . a rdfs:Class; rdfs:subClassOf . a rdf:Property . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :minCardinality "1"; :onProperty ; :hasValue :Thing ]; :rest [ a :List; :first [ a :Restriction; :maxCardinality "4"; :onProperty ; :hasValue :Thing ]; :rest [ a :List; :first [ a :Restriction; :onProperty ; :hasValue ]; :rest [ a :Empty ] ] ] ]; :first ] . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first ; :rest [ a :Empty ] ]; :first ] . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :rest [ a :Empty ]; :first ]; :first ] . a rdfs:Class; rdfs:subClassOf :Thing . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdf:Property . a rdfs:Class . a rdfs:Class . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first ; :rest [ a :Empty ] ]; :first ] . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf , . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing ]; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :Empty ] ] ]; :first ] . a rdfs:Class; rdfs:subClassOf . a rdfs:Class . a rdfs:Class . a rdfs:Class; :intersectionOf [ a :List; :first [ a :Restriction; :minCardinality "1"; :onProperty ; :hasValue :Thing ]; :rest [ a :List; :first [ a :Restriction; :onProperty ; :hasValue ]; :rest [ a :Empty ] ] ] . a rdf:Property; :inverseOf . a rdf:Property; rdfs:range ; rdfs:domain ; :inverseOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf [ a :Restriction; :hasValue ; :onProperty ], [ a :Restriction; :hasValue ; :onProperty ], [ a :Restriction; :toClass ; :onProperty ], . a rdfs:Class; rdfs:subClassOf . a rdfs:Class . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :onProperty ; :hasValue ]; :rest [ a :List; :first [ a :Restriction; :cardinality "2"; :onProperty ; :hasValue :Thing ]; :rest [ a :List; :first [ a :Restriction; :onProperty ; :hasValue ]; :rest [ a :Empty ] ] ] ] ]; :first ] . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :Empty ] ] ]; :first ] . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :unionOf [ a :List; :rest [ a :List; :rest [ a :Empty ]; :first ]; :first ] . a rdfs:Class . a rdfs:Class; :unionOf [ a :List; :rest [ a :List; :rest [ a :List; :rest [ a :Empty ]; :first ]; :first ]; :first ] . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing ]; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :Empty ] ] ]; :first ] . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :Empty ] ]; :first ] . a rdfs:Class; :intersectionOf [ a :Empty ] . a rdfs:Class; :intersectionOf [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :toClass ; :onProperty ]; :rest [ a :Empty ] ] ] . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :unionOf [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :Empty ] ] . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :unionOf [ a :List; :first ; :rest [ a :Empty ] ] . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class . a rdf:Property; rdfs:subPropertyOf ; :inverseOf . a rdfs:Class . a rdf:Property . a rdfs:Class . a rdf:Property . a rdfs:Class; rdfs:subClassOf . a rdfs:Class . a rdfs:Class . a rdf:Property; :inverseOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdf:Property . [ a :Disjoint; :rest [ a :Disjoint; :rest [ a :Disjoint; :rest [ a :Empty ]; :first ]; :first ]; :first ]. a rdf:Property . a rdfs:Class; rdfs:subClassOf . a rdfs:Class . 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 :List; :rest [ a :List; :rest [ a :List; :first [ a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing ]; :rest [ a :List; :first [ a :Restriction; :toClass ; :onProperty ]; :rest [ a :Empty ] ] ]; :first ]; :first ] . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :unionOf [ a :List; :first ; :rest [ a :Empty ] ] . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf [ a :Restriction; :hasValue ; :onProperty ], [ a :Restriction; :hasValue ; :onProperty ], . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing ]; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :Empty ] ] ]; :first ] . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf [ a :List; :first ; :rest [ a :List; :first [ a :Restriction; :onProperty ; :hasValue ]; :rest [ a :List; :first [ a :Restriction; :onProperty ; :toClass ]; :rest [ a :Empty ] ] ] ] . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first ; :rest [ a :Empty ] ]; :first ] . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :toClass ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :onProperty ; :hasValue ]; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :Empty ] ] ] ] ]; :first ] . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :onProperty ; :hasValue ]; :rest [ a :List; :first [ a :Restriction; :cardinality "2"; :onProperty ; :hasValue :Thing ]; :rest [ a :List; :first [ a :Restriction; :onProperty ; :hasValue ]; :rest [ a :Empty ] ] ] ] ]; :first ] . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf [ a :List; :first ; :rest [ a :Empty ] ] . a rdfs:Class; :intersectionOf [ a :List; :first [ a :Restriction; :onProperty ; :hasValue ]; :rest [ a :List; :first [ a :Restriction; :onProperty ; :toClass ]; :rest [ a :Empty ] ] ] . a rdf:Property . a rdfs:Class; rdfs:subClassOf . a rdf:Property . a rdf:Property; rdfs:subPropertyOf ; :inverseOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :unionOf [ a :List; :rest [ a :List; :rest [ a :Empty ]; :first ]; :first ] . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :toClass ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :cardinality "1"; :hasValue :Thing; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :toClass ; :onProperty ]; :rest [ a :Empty ] ] ] ] ] ]; :first ] . a rdfs:Class; :complementOf . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :toClass ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :Empty ] ] ] ]; :first ] . a rdfs:Class . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :rest [ a :Empty ]; :first ]; :first ] . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing ]; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :Empty ] ] ]; :first ] . a rdfs:Class; :unionOf [ a :List; :first ; :rest [ a :Empty ] ] . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf [ a :Restriction; :minCardinality "1"; :onProperty ; :hasValue :Thing ], [ a :Restriction; :hasValue ; :onProperty ], [ a :Restriction; :hasValue ; :onProperty ], [ a :Restriction; :hasValue ; :onProperty ], [ a :Restriction; :minCardinality "1"; :onProperty ; :hasValue :Thing ], [ a :Restriction; :hasValue ; :onProperty ], . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf [ a :List; :first [ a :Restriction; :minCardinality "0"; :onProperty ; :hasValue :Thing ]; :rest [ a :List; :first [ a :Restriction; :onProperty ; :hasValue ]; :rest [ a :List; :first [ a :Restriction; :onProperty ; :toClass ]; :rest [ a :Empty ] ] ] ] . a rdfs:Class; :unionOf [ a :List; :first ; :rest [ a :Empty ] ] . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing ]; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :Empty ] ] ]; :first ] . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdf:Property . a rdf:Property; :inverseOf . a rdfs:Class; rdfs:subClassOf , . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf [ a :List; :first [ a :Restriction; :minCardinality "1"; :onProperty ; :hasValue :Thing ]; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :toClass ; :onProperty ]; :rest [ a :Empty ] ] ] ] . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :toClass ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :minCardinality "1"; :onProperty ; :hasValue :Thing ]; :rest [ a :List; :first [ a :Restriction; :onProperty ; :hasValue ]; :rest [ a :Empty ] ] ] ] ]; :first ] . a rdfs:Class; rdfs:subClassOf [ a :Restriction; :hasValue ; :onProperty ], [ a :Restriction; :toClass ; :onProperty ], . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first ; :rest [ a :Empty ] ]; :first ] . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :cardinality "1"; :hasValue :Thing; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :toClass ; :onProperty ]; :rest [ a :Empty ] ] ]; :first ] . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :toClass ; :onProperty ]; :rest [ a :Empty ] ] ]; :first ] . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :toClass ; :onProperty ]; :rest [ a :Empty ] ] ]; :first ] . a rdfs:Class; :unionOf [ a :List; :rest [ a :List; :rest [ a :Empty ]; :first ]; :first ] . a rdf:Property; :inverseOf ; rdfs:subPropertyOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :minCardinality "1"; :onProperty ; :hasValue ]; :rest [ a :Empty ] ]; :first ] . a rdfs:Class; :intersectionOf [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :toClass ; :onProperty ]; :rest [ a :Empty ] ] ] . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :minCardinality "1"; :onProperty ; :hasValue :Thing ]; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :onProperty ; :hasValue ]; :rest [ a :Empty ] ] ] ] ]; :first ] . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing ]; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :Empty ] ] ]; :first ] . a rdfs:Class; rdfs:subClassOf . a rdfs:Class . a rdfs:Class . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing ]; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :Empty ] ] ]; :first ] . a rdfs:Class; :unionOf [ a :List; :first ; :rest [ a :Empty ] ] . a rdfs:Class; :unionOf [ a :List; :first ; :rest [ a :Empty ] ] . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing ]; :rest [ a :List; :first [ a :Restriction; :onProperty ; :hasValue ]; :rest [ a :Empty ] ] ]; :first ] . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf [ a :Restriction; :hasValue ; :onProperty ], [ a :Restriction; :toClass ; :onProperty ], . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :toClass ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :onProperty ; :hasValue ]; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :Empty ] ] ] ] ]; :first ] . a rdf:Property; :inverseOf ; rdfs:subPropertyOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdf:Property . a rdfs:Class; rdfs:subClassOf . a rdf:Property . a rdfs:Class; rdfs:subClassOf [ a :Restriction; :toClass ; :onProperty ], [ a :Restriction; :hasValue ; :onProperty ], [ a :Restriction; :minCardinality "1"; :onProperty ; :hasValue :Thing ], [ a :Restriction; :hasValue ; :onProperty ], . a rdf:Property . a rdf:Property . a rdfs:Class; rdfs:subClassOf :Thing . a rdf:Property . :disjointUnionOf :unionOf [ a :List; :rest [ a :List; :rest [ a :Empty ]; :first ]; :first ], [ a :List; :rest [ a :List; :rest [ a :List; :rest [ a :Empty ]; :first ]; :first ]; :first ], [ a :List; :rest [ a :List; :rest [ a :List; :rest [ a :Empty ]; :first ]; :first ]; :first ], [ a :List; :rest [ a :List; :rest [ a :Empty ]; :first ]; :first ], [ a :List; :rest [ a :List; :rest [ a :Empty ]; :first ]; :first ], [ a :List; :rest [ a :List; :rest [ a :Empty ]; :first ]; :first ], [ a :List; :rest [ a :List; :rest [ a :Empty ]; :first ]; :first ] . a rdf:Property; :inverseOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdf:Property . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :toClass ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :cardinality "1"; :hasValue :Thing; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :toClass ; :onProperty ]; :rest [ a :Empty ] ] ] ] ] ]; :first ] . a rdf:Property; :inverseOf . a rdfs:Class; rdfs:subClassOf [ a :Restriction; :hasValue ; :onProperty ], [ a :Restriction; :toClass ; :onProperty ], . a rdfs:Class; :intersectionOf [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :toClass ; :onProperty ]; :rest [ a :Empty ] ] ] . a rdf:Property . a rdfs:Class; rdfs:subClassOf . a rdfs:Class . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdf:Property; :inverseOf . a rdfs:Class; rdfs:subClassOf . a rdf:Property; :inverseOf . a rdf:Property; :inverseOf ; rdfs:subPropertyOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :toClass ; :onProperty ]; :rest [ a :Empty ] ] ]; :first ] . a rdfs:Class; :intersectionOf [ a :List; :first [ a :Restriction; :cardinality "1"; :hasValue :Thing; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :toClass ; :onProperty ]; :rest [ a :Empty ] ] ] . a rdfs:Class; :unionOf [ a :List; :rest [ a :List; :first ; :rest [ a :Empty ] ]; :first ] . a rdfs:Class; :unionOf [ a :List; :rest [ a :List; :first ; :rest [ a :Empty ] ]; :first ] . a rdf:Property . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :toClass ; :onProperty ]; :rest [ a :Empty ] ] ] . a rdfs:Class; rdfs:subClassOf . a rdfs:Class . a rdfs:Class; rdfs:subClassOf :Thing . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :onProperty ; :hasValue ]; :rest [ a :Empty ] ]; :first ] . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :complementOf . a rdfs:Class; rdfs:subClassOf [ a :Restriction; :hasValue ; :onProperty ], . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :toClass ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :Empty ] ] ] ]; :first ] . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :onProperty ; :hasValue ]; :rest [ a :List; :first [ a :Restriction; :onProperty ; :toClass ]; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :toClass ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :minCardinality "1"; :hasValue :Thing; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :toClass ; :onProperty ]; :rest [ a :Empty ] ] ] ] ] ] ]; :first ] . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing ]; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :Empty ] ] ]; :first ] . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf , . a rdfs:Class; rdfs:subClassOf . a rdf:Property; :inverseOf . a rdf:Property . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing ]; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :Empty ] ] ]; :first ] . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :Empty ] ]; :first ] . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdf:Property . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing ]; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :Empty ] ] ]; :first ] . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :Empty ] ]; :first ] . a rdf:Property; :inverseOf . a rdf:Property; :inverseOf . a rdfs:Class; rdfs:subClassOf . a rdf:Property . a rdf:Property . a rdf:Property . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :minCardinality "1"; :onProperty ; :hasValue :Thing ]; :rest [ a :List; :first [ a :Restriction; :onProperty ; :hasValue ]; :rest [ a :Empty ] ] ]; :first ] . a rdf:Property; rdfs:domain ; rdfs:range . a rdfs:Class . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :unionOf [ a :List; :first ; :rest [ a :Empty ] ] . a rdfs:Class; :intersectionOf [ a :List; :first [ a :Restriction; :minCardinality "1"; :onProperty ; :hasValue :Thing ]; :rest [ a :List; :first [ a :Restriction; :onProperty ; :hasValue ]; :rest [ a :List; :first [ a :Restriction; :onProperty ; :toClass ]; :rest [ a :Empty ] ] ] ] . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :minCardinality "1"; :onProperty ; :hasValue :Thing ]; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :Empty ] ] ]; :first ] . a rdfs:Class; rdfs:subClassOf [ a :Restriction; :hasValue ; :onProperty ], [ a :Restriction; :hasValue ; :onProperty ], . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :onProperty ; :hasValue ]; :rest [ a :Empty ] ]; :first ] . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first ; :rest [ a :Empty ] ]; :first ] . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :Empty ] ]; :first ] . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :unionOf [ a :List; :first ; :rest [ a :Empty ] ] . a rdfs:Class . a rdf:Property; rdfs:domain ; rdfs:range ; rdfs:subPropertyOf . a rdfs:Class; :intersectionOf [ a :List; :first [ a :Restriction; :onProperty ; :hasValue ]; :rest [ a :List; :first [ a :Restriction; :onProperty ; :toClass ]; :rest [ a :Empty ] ] ] . a rdfs:Class; rdfs:subClassOf . a rdf:Property . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :Empty ] ]; :first ] . a rdfs:Class; rdfs:subClassOf . a rdfs:Class . a rdf:Property; :inverseOf . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :toClass ; :onProperty ]; :rest [ a :Empty ] ] ]; :first ] . a rdfs:Class . a rdfs:Class; :unionOf [ a :List; :rest [ a :List; :rest [ a :Empty ]; :first ]; :first ] . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :onProperty ; :hasValue ]; :rest [ a :List; :first [ a :Restriction; :onProperty ; :toClass ]; :rest [ a :Empty ] ] ]; :first ] . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing ]; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :Empty ] ] ]; :first ] . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing ]; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :Empty ] ] ]; :first ] . a rdfs:Class; :intersectionOf [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :toClass ; :onProperty ]; :rest [ a :Empty ] ] ] . a rdf:Property; :inverseOf . a rdfs:Class; rdfs:subClassOf . a rdf:Property; :inverseOf ; rdfs:subPropertyOf . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :Empty ] ]; :first ] . a rdf:Property; rdfs:range ; :inverseOf ; rdfs:domain . a rdf:Property; :inverseOf . a rdfs:Class . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :onProperty ; :hasValue ]; :rest [ a :List; :first [ a :Restriction; :onProperty ; :toClass ]; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :toClass ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing ]; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :Empty ] ] ] ] ] ] ]; :first ] . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :toClass ; :onProperty ]; :rest [ a :Empty ] ] ]; :first ] . a rdf:Property . a rdf:Property . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf [ a :Restriction; :hasValue ; :onProperty ], . a rdfs:Class; rdfs:subClassOf ; :intersectionOf [ a :List; :first ; :rest [ a :List; :first [ a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing ]; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :onProperty ; :hasValue ]; :rest [ a :List; :first [ a :Restriction; :onProperty ; :toClass ]; :rest [ a :List; :first [ a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing ]; :rest [ a :List; :first [ a :Restriction; :onProperty ; :hasValue ]; :rest [ a :Empty ] ] ] ] ] ] ] ] . a rdfs:Class; rdfs:subClassOf . a rdf:Property . a rdfs:Class; rdfs:subClassOf . a rdfs:Class . a rdf:Property; :inverseOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf [ a :List; :first [ a :Restriction; :onProperty ; :hasValue ]; :rest [ a :List; :first [ a :Restriction; :onProperty ; :toClass ]; :rest [ a :Empty ] ] ] . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :rest [ a :Empty ]; :first ]; :first ] . a rdfs:Class . a rdf:Property . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdf:Property; :inverseOf . a rdfs:Class; rdfs:subClassOf . a rdf:Property . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :equivalentTo ; rdfs:subClassOf . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :Empty ] ]; :first ] . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing ]; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :Empty ] ] ]; :first ] . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf [ a :List; :first [ a :Restriction; :minCardinality "1"; :onProperty ; :hasValue :Thing ]; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :toClass ; :onProperty ]; :rest [ a :Empty ] ] ] ] . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :cardinality "3"; :onProperty ; :hasValue :Thing ]; :rest [ a :List; :first [ a :Restriction; :onProperty ; :hasValue ]; :rest [ a :Empty ] ] ]; :first ] . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing ]; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :Empty ] ] ]; :first ] . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf [ a :Restriction; :hasValue ; :onProperty ], [ a :Restriction; :minCardinality "1"; :onProperty ; :hasValue :Thing ], [ a :Restriction; :hasValue ; :onProperty ], . a rdf:Property . a rdfs:Class . a rdfs:Class . a rdfs:Class . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :toClass ; :onProperty ]; :rest [ a :Empty ] ] ]; :first ] . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :toClass ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :onProperty ; :hasValue ]; :rest [ a :List; :first [ a :Restriction; :onProperty ; :hasValue ]; :rest [ a :Empty ] ] ] ] ]; :first ] . a rdf:Property . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :toClass ; :onProperty ]; :rest [ a :Empty ] ] ]; :first ] . a rdfs:Class; rdfs:subClassOf [ a :Restriction; :hasValue ; :onProperty ], [ a :Restriction; :toClass ; :onProperty ], . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :onProperty ; :hasValue ]; :rest [ a :Empty ] ]; :first ] . a rdfs:Class; :intersectionOf [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :toClass ; :onProperty ]; :rest [ a :Empty ] ] ] . a rdfs:Class; :intersectionOf [ a :List; :first ; :rest [ a :Empty ] ] . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :minCardinality "1"; :onProperty ; :hasValue :Thing ]; :rest [ a :List; :first [ a :Restriction; :onProperty ; :hasValue ]; :rest [ a :Empty ] ] ]; :first ] . a rdf:Property; :inverseOf ; rdfs:subPropertyOf . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :onProperty ; :hasValue ]; :rest [ a :Empty ] ]; :first ] . a rdfs:Class; :unionOf [ a :List; :first ; :rest [ a :Empty ] ] . a rdfs:Class; :intersectionOf [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :toClass ; :onProperty ]; :rest [ a :Empty ] ] ] . a rdf:Property . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :Empty ] ]; :first ] . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :Empty ] ]; :first ] . a rdfs:Class; rdfs:subClassOf . a rdf:Property . a rdf:Property . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing ]; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :Empty ] ] ]; :first ] . a rdfs:Class; rdfs:subClassOf . a rdf:Property; :inverseOf . a rdfs:Class; :unionOf [ a :List; :first ; :rest [ a :Empty ] ] . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :unionOf [ a :List; :first ; :rest [ a :Empty ] ] . a rdfs:Class; rdfs:subClassOf . a rdfs:Class . a rdfs:Class; :unionOf [ a :List; :rest [ a :List; :rest [ a :Empty ]; :first ]; :first ] . a rdfs:Class . a rdfs:Class . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :onProperty ; :hasValue ]; :rest [ a :List; :first [ a :Restriction; :onProperty ; :toClass ]; :rest [ a :Empty ] ] ]; :first ] . a rdfs:Class; :intersectionOf [ a :List; :first [ a :Restriction; :minCardinality "1"; :onProperty ; :hasValue :Thing ]; :rest [ a :List; :first [ a :Restriction; :onProperty ; :hasValue ]; :rest [ a :List; :first [ a :Restriction; :onProperty ; :toClass ]; :rest [ a :Empty ] ] ] ] . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :unionOf [ a :List; :rest [ a :List; :rest [ a :List; :rest [ a :Empty ]; :first ]; :first ]; :first ] . a rdfs:Class; :unionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :onProperty ; :toClass ]; :rest [ a :Empty ] ]; :first ] . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :toClass ; :onProperty ]; :rest [ a :Empty ] ] ]; :first ] . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :cardinality "2"; :onProperty ; :hasValue :Thing ]; :rest [ a :List; :first [ a :Restriction; :onProperty ; :hasValue ]; :rest [ a :Empty ] ] ]; :first ] . a rdfs:Class . a rdf:Property . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :unionOf [ a :List; :rest [ a :List; :rest [ a :Empty ]; :first ]; :first ] . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first ; :rest [ a :Empty ] ]; :first ] . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :Empty ] ]; :first ] . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf [ a :Restriction; :hasValue ; :onProperty ], . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing ]; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :Empty ] ] ]; :first ] . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :rest [ a :Empty ]; :first ]; :first ] . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :Empty ] ]; :first ] . a rdfs:Class; rdfs:subClassOf :Thing . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :rest [ a :Empty ]; :first ]; :first ] . a rdfs:Class . a rdfs:Class . a rdfs:Class . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :toClass ; :onProperty ]; :rest [ a :Empty ] ] ]; :first ] . a rdf:Property . a rdf:Property; :inverseOf . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :cardinality "2"; :onProperty ; :hasValue :Thing ]; :rest [ a :List; :first [ a :Restriction; :onProperty ; :hasValue ]; :rest [ a :Empty ] ] ]; :first ] . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :onProperty ; :hasValue ]; :rest [ a :Empty ] ]; :first ] . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf [ a :Restriction; :cardinality "1"; :hasValue :Thing; :onProperty ], [ a :Restriction; :onProperty ; :toClass ], . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdf:Property . a rdfs:Class; rdfs:subClassOf [ a :Restriction; :hasValue ; :onProperty ], [ a :Restriction; :toClass ; :onProperty ], . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf [ a :List; :first ; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :Empty ] ] ] . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :Empty ] ]; :first ] . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf [ a :Restriction; :onProperty ; :hasValue ], . a rdfs:Class; :unionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :onProperty ; :toClass ]; :rest [ a :Empty ] ]; :first ] . a rdfs:Class; rdfs:subClassOf . a rdfs:Class . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :Empty ] ]; :first ] . a rdfs:Class; rdfs:subClassOf [ a :Restriction; :hasValue ; :onProperty ], [ a :Restriction; :toClass ; :onProperty ], [ a :Restriction; :hasValue ; :onProperty ], [ a :Restriction; :toClass ; :onProperty ], [ a :Restriction; :hasValue ; :onProperty ], [ a :Restriction; :toClass ; :onProperty ], . a rdf:Property; :inverseOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :rest [ a :Empty ]; :first ]; :first ] . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :toClass ; :onProperty ]; :rest [ a :Empty ] ] ]; :first ] . a rdf:Property . a rdfs:Class; rdfs:subClassOf :Thing . a rdfs:Class; :intersectionOf [ a :List; :first ; :rest [ a :Empty ] ] . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :onProperty ; :hasValue ]; :rest [ a :Empty ] ]; :first ] . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :onProperty ; :hasValue ]; :rest [ a :List; :first [ a :Restriction; :onProperty ; :toClass ]; :rest [ a :Empty ] ] ]; :first ] . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf ; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing ]; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :Empty ] ] ]; :first ] . a rdf:Property . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdf:Property . a rdfs:Class; rdfs:subClassOf , , , , ; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :toClass ; :onProperty ]; :rest [ a :Empty ] ] ]; :first ] . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :unionOf [ a :List; :rest [ a :List; :rest [ a :Empty ]; :first ]; :first ] . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :toClass ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :onProperty ; :hasValue ]; :rest [ a :Empty ] ] ] ]; :first ] . a rdfs:Class; rdfs:subClassOf [ a :Restriction; :hasValue ; :onProperty ], [ a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing ], [ a :Restriction; :onProperty ; :hasValue ], . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :toClass ; :onProperty ]; :rest [ a :Empty ] ] ] . a rdf:Property . a rdfs:Class . a rdfs:Class; :unionOf [ a :List; :first ; :rest [ a :Empty ] ] . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :onProperty ; :hasValue ]; :rest [ a :List; :first [ a :Restriction; :onProperty ; :toClass ]; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :toClass ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :cardinality "1"; :hasValue :Thing; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :onProperty ; :toClass ]; :rest [ a :Empty ] ] ] ] ] ] ]; :first ] . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :unionOf [ a :List; :rest [ a :List; :rest [ a :Empty ]; :first ]; :first ] . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :toClass ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :onProperty ; :hasValue ]; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :Empty ] ] ] ] ]; :first ] . a rdfs:Class; :intersectionOf [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :toClass ; :onProperty ]; :rest [ a :Empty ] ] ] . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first ; :rest [ a :Empty ] ]; :first ] . a rdfs:Class; rdfs:subClassOf , . a rdfs:Class . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :onProperty ; :hasValue ]; :rest [ a :Empty ] ]; :first ] . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing ]; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :Empty ] ] ]; :first ] . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing ]; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :Empty ] ] ]; :first ] . a rdf:Property; :inverseOf . a rdfs:Class . a rdfs:Class . a rdfs:Class . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing ]; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :Empty ] ] ]; :first ] . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing ]; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :Empty ] ] ]; :first ] . a rdf:Property; rdfs:subPropertyOf ; :inverseOf . a rdfs:Class; rdfs:subClassOf . a rdf:Property . a rdf:Property; :inverseOf . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :toClass ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :List; :rest [ a :List; :first [ a :Restriction; :toClass ; :onProperty ]; :rest [ a :Empty ] ]; :first [ a :Restriction; :cardinality "1"; :hasValue :Thing; :onProperty ] ] ] ] ]; :first ] . a rdf:Property . a rdfs:Class; rdfs:subClassOf , [ a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing ], [ a :Restriction; :hasValue ; :onProperty ] . a rdf:Property; :inverseOf . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :rest [ a :List; :first [ a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing ]; :rest [ a :List; :first [ a :Restriction; :toClass ; :onProperty ]; :rest [ a :Empty ] ] ]; :first ]; :first ] . a rdf:Property . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :onProperty ; :hasValue ]; :rest [ a :Empty ] ]; :first ] . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing ]; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :Empty ] ] ]; :first ] . a rdfs:Class; rdfs:subClassOf , , , , , , , , , ; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :toClass ; :onProperty ]; :rest [ a :Empty ] ] ]; :first ] . a rdf:Property . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :intersectionOf [ a :List; :first ; :rest [ a :Empty ] ] . a rdfs:Class; rdfs:subClassOf [ a :Restriction; :hasValue ; :onProperty ], [ a :Restriction; :hasValue ; :onProperty ], . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing ]; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :Empty ] ] ]; :first ] . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :toClass ; :onProperty ]; :rest [ a :Empty ] ] ]; :first ] . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :onProperty ; :hasValue ]; :rest [ a :List; :first [ a :Restriction; :onProperty ; :toClass ]; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :toClass ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :cardinality "1"; :hasValue :Thing; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :onProperty ; :hasValue ]; :rest [ a :Empty ] ] ] ] ] ] ]; :first ] . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :onProperty ; :hasValue ]; :rest [ a :Empty ] ]; :first ] . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :Empty ] ]; :first ] . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf . a rdf:Property . a rdf:Property . a rdfs:Class; rdfs:subClassOf . a rdf:Property; :inverseOf ; rdfs:subPropertyOf . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :toClass ; :onProperty ]; :rest [ a :List; :first [ a :Restriction; :onProperty ; :hasValue ]; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :Empty ] ] ] ] ]; :first ] . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :first [ a :Restriction; :cardinality "1"; :onProperty ; :hasValue :Thing ]; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :Empty ] ] ]; :first ] . a rdfs:Class; :equivalentTo , . a rdf:Property; rdfs:subPropertyOf ; :inverseOf . a rdfs:Class; :intersectionOf [ a :List; :first [ a :Restriction; :minCardinality "1"; :onProperty ; :hasValue :Thing ]; :rest [ a :List; :first [ a :Restriction; :hasValue ; :onProperty ]; :rest [ a :Empty ] ] ] . a rdf:Property . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; rdfs:subClassOf [ a :Restriction; :hasValue ; :onProperty ], . a rdfs:Class; rdfs:subClassOf . a rdfs:Class; :unionOf [ a :List; :first ; :rest [ a :Empty ] ] . a rdfs:Class; :intersectionOf [ a :List; :rest [ a :List; :rest [ a :Empty ]; :first ]; :first ] . a rdfs:Class . #ENDS