100%
A83
A122
A83->A122
rdf:rest
http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Japanese
einsteins_riddle:Japanese
owl:NamedIndividual, owl:Thing
rdfs:comment
14. The Japanese smokes Parliaments.
A83->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Japanese
rdf:first
A123
A122->A123
rdf:rest
http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Kools
einsteins_riddle:Kools
d9c3d433-5efb-4e1b-88cb-6108fc21b5ae, 78387851-b6f6-48d7-b3ad-b3330a019d43, owl:NamedIndividual,
owl:Thing
rdfs:comment
12. Kools are smoked in a house next to the house
where the horse is kept. 8. Kools are smoked
in the yellow house.
A122->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Kools
rdf:first
http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Parliaments
einsteins_riddle:Parliaments
owl:NamedIndividual, owl:Thing
http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Japanese->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Parliaments
einsteins_riddle:smokes
A44
owl:Restriction
A160
owl:Restriction
A44->A160
owl:someValuesFrom
A161
A44->A161
owl:onProperty
http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#right_to
einsteins_riddle:right_to
owl:InverseFunctionalProperty, owl:FunctionalProperty, owl:ObjectProperty,
j.0:EdgeProperty
A160->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#right_to
owl:onProperty
A65
owl:Restriction
A160->A65
owl:someValuesFrom
http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#has_color
einsteins_riddle:has_color
owl:InverseFunctionalProperty, owl:FunctionalProperty, owl:ObjectProperty
A161->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#has_color
owl:inverseOf
A170
owl:Restriction
A141
owl:Restriction
A170->A141
owl:someValuesFrom
A203
A170->A203
owl:onProperty
http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#lives_in
einsteins_riddle:lives_in
j.0:EdgeProperty, owl:InverseFunctionalProperty, owl:FunctionalProperty,
owl:ObjectProperty
A141->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#lives_in
owl:onProperty
A55
owl:Restriction
A141->A55
owl:someValuesFrom
http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#smokes
einsteins_riddle:smokes
j.0:EdgeProperty, owl:InverseFunctionalProperty, owl:FunctionalProperty,
owl:ObjectProperty
A203->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#smokes
owl:inverseOf
http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Man
einsteins_riddle:Man
owl:Class
http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#smokes->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Man
rdfs:domain
http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Cigarette
einsteins_riddle:Cigarette
owl:Class
http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#smokes->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Cigarette
rdfs:range
A129
owl:Class
http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Man->A129
owl:equivalentClass
A234
owl:Class
http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Man->A234
rdfs:subClassOf
A4
owl:Restriction
http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Cigarette->A4
rdfs:subClassOf
A5
owl:Class
http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Cigarette->A5
owl:equivalentClass
A191
A191->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Japanese
rdf:first
http://www.w3.org/1999/02/22-rdf-syntax-ns#nil
rdf:nil
A191->http://www.w3.org/1999/02/22-rdf-syntax-ns#nil
rdf:rest
A205
A205->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#smokes
owl:inverseOf
A1
http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#drinks
einsteins_riddle:drinks
owl:InverseFunctionalProperty, owl:FunctionalProperty, owl:ObjectProperty,
j.0:EdgeProperty
A1->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#drinks
owl:inverseOf
http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#drinks->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Man
rdfs:domain
http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Beverage
einsteins_riddle:Beverage
owl:Class
http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#drinks->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Beverage
rdfs:range
A79
A123->A79
rdf:rest
http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Lucky_Strike
einsteins_riddle:Lucky_Strike
5470d90f-d941-4f8f-842f-4dca1fd88183, owl:NamedIndividual, owl:Thing
rdfs:comment
13. The Lucky Strike smoker drinks orange juice.
A123->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Lucky_Strike
rdf:first
http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Norwegian
einsteins_riddle:Norwegian
787fbf1e-377f-482c-9de6-669c9b23a9da, owl:NamedIndividual, owl:Thing
rdfs:comment
10. The Norwegian lives in the first house. 15.
The Norwegian lives next to the blue house.
A79->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Norwegian
rdf:first
A25
A79->A25
rdf:rest
A102
owl:Restriction
A107
owl:Restriction
A102->A107
owl:someValuesFrom
A108
A102->A108
owl:onProperty
A172
owl:Restriction
A107->A172
owl:someValuesFrom
A107->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#lives_in
owl:onProperty
A108->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#drinks
owl:inverseOf
A206
A210
A206->A210
rdf:rest
A29
owl:Restriction
A206->A29
rdf:first
A148
A210->A148
rdf:rest
A219
owl:Restriction
A210->A219
rdf:first
A29->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#drinks
owl:onProperty
A29->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Beverage
owl:someValuesFrom
A103
A103->http://www.w3.org/1999/02/22-rdf-syntax-ns#nil
rdf:rest
A221
owl:Restriction
A103->A221
rdf:first
A218
A221->A218
owl:onProperty
A39
owl:Restriction
A221->A39
owl:someValuesFrom
A198
http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#owns
einsteins_riddle:owns
owl:InverseFunctionalProperty, owl:FunctionalProperty, owl:ObjectProperty,
j.0:EdgeProperty
A198->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#owns
owl:inverseOf
http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#owns->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Man
rdfs:domain
http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Pet
einsteins_riddle:Pet
owl:Class
http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#owns->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Pet
rdfs:range
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
rdf:type
A28
A14
A28->A14
rdf:rest
http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#yellow
einsteins_riddle:yellow
owl:NamedIndividual, owl:Thing
A28->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#yellow
rdf:first
A14->http://www.w3.org/1999/02/22-rdf-syntax-ns#nil
rdf:rest
http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#zebra
einsteins_riddle:zebra
owl:NamedIndividual, owl:Thing
A14->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#zebra
rdf:first
A201
A201->http://www.w3.org/1999/02/22-rdf-syntax-ns#nil
rdf:rest
A202
owl:Restriction
A201->A202
rdf:first
A128
A202->A128
owl:onProperty
A216
owl:Restriction
A202->A216
owl:someValuesFrom
A21
A21->http://www.w3.org/1999/02/22-rdf-syntax-ns#nil
rdf:rest
A40
owl:Restriction
A21->A40
rdf:first
A13
A40->A13
owl:onProperty
A41
owl:Restriction
A40->A41
owl:someValuesFrom
A172->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#has_color
owl:onProperty
http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#green
einsteins_riddle:green
ea529a56-930d-4f08-b8f4-5f7acb7d0b41, owl:NamedIndividual, owl:Thing
rdfs:comment
6. The green house is immediately to the right of
the ivory house.
A172->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#green
owl:hasValue
http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#lives_in->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Man
rdfs:domain
http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#House
einsteins_riddle:House
owl:Class
http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#lives_in->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#House
rdfs:range
A37
owl:Restriction
A111
owl:Restriction
A37->A111
owl:someValuesFrom
A112
A37->A112
owl:onProperty
A111->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#owns
owl:onProperty
http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#fox
einsteins_riddle:fox
owl:NamedIndividual, owl:Thing
A111->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#fox
owl:hasValue
A112->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#lives_in
owl:inverseOf
A207
A207->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#has_color
owl:inverseOf
http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#has_color->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#House
rdfs:domain
http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Color
einsteins_riddle:Color
owl:Class
http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#has_color->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Color
rdfs:range
A166
owl:Class
http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#House->A166
rdfs:subClassOf
A204
owl:Class
http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#House->A204
owl:equivalentClass
A158
owl:Restriction
http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Color->A158
rdfs:subClassOf
A222
owl:Class
http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Color->A222
owl:equivalentClass
A20
A20->A21
rdf:rest
A22
owl:Restriction
A20->A22
rdf:first
A22->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#right_to
owl:onProperty
A89
owl:Restriction
A22->A89
owl:someValuesFrom
A87
owl:Class
A88
A87->A88
owl:unionOf
A88->A103
rdf:rest
A104
owl:Restriction
A88->A104
rdf:first
A128->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#right_to
owl:inverseOf
http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#right_to->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#House
rdfs:range
http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#right_to->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#House
rdfs:domain
A150
A150->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#smokes
owl:inverseOf
A155
owl:Restriction
A156
owl:Restriction
A155->A156
owl:someValuesFrom
A157
A155->A157
owl:onProperty
A156->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#owns
owl:onProperty
A156->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#fox
owl:hasValue
A157->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#lives_in
owl:inverseOf
A190
A190->A191
rdf:rest
http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Englishman
einsteins_riddle:Englishman
b1d58525-4f3f-43a2-a093-5488164e053e, owl:NamedIndividual, owl:Thing
rdfs:comment
2. The Englishman lives in the red house.
A190->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Englishman
rdf:first
A84
owl:Restriction
A89->A84
owl:someValuesFrom
A27
A89->A27
owl:onProperty
A84->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#owns
owl:onProperty
http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#horse
einsteins_riddle:horse
owl:NamedIndividual, owl:Thing
A84->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#horse
owl:hasValue
A27->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#lives_in
owl:inverseOf
A66
A67
A66->A67
rdf:rest
http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#orange_juice
einsteins_riddle:orange_juice
owl:NamedIndividual, owl:Thing
A66->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#orange_juice
rdf:first
A34
A67->A34
rdf:rest
http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#red
einsteins_riddle:red
owl:NamedIndividual, owl:Thing
A67->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#red
rdf:first
A167
A166->A167
owl:intersectionOf
A74
A167->A74
rdf:rest
A164
owl:Restriction
A167->A164
rdf:first
A181
A181->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#drinks
owl:inverseOf
A208
A195
A208->A195
rdf:rest
http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#house-5
einsteins_riddle:house-5
owl:NamedIndividual, owl:Thing, 99aea7a2-e52b-4cfa-a032-61c8a45c1a05
A208->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#house-5
rdf:first
A162
A195->A162
rdf:rest
http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#ivory
einsteins_riddle:ivory
owl:NamedIndividual, owl:Thing
A195->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#ivory
rdf:first
http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#house-4
einsteins_riddle:house-4
owl:NamedIndividual, owl:Thing
http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#house-5->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#house-4
einsteins_riddle:right_to
http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#dog
einsteins_riddle:dog
owl:NamedIndividual, owl:Thing
http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#house-2
einsteins_riddle:house-2
owl:NamedIndividual, owl:Thing
http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#house-1
einsteins_riddle:house-1
5c73971d-9c03-45d5-9dc4-1e4a1c205b51, owl:NamedIndividual, owl:Thing
http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#house-2->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#house-1
einsteins_riddle:right_to
A42
A42->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#right_to
owl:inverseOf
http://www.w3.org/2002/07/owl#Nothing
owl:Nothing
owl:Class
A209
A82
A209->A82
rdf:rest
http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Chesterfields
einsteins_riddle:Chesterfields
owl:NamedIndividual, owl:Thing, 6e0a18d1-dc16-45e1-a29e-3097373e6b06
rdfs:comment
11. The man who smokes Chesterfields lives in the
house next to the man with the fox.
A209->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Chesterfields
rdf:first
A82->A83
rdf:rest
A82->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Englishman
rdf:first
A30
owl:Restriction
A31
owl:Restriction
A30->A31
owl:someValuesFrom
A32
A30->A32
owl:onProperty
A31->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#owns
owl:onProperty
A31->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#fox
owl:hasValue
A32->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#lives_in
owl:inverseOf
A184
A184->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#has_color
owl:inverseOf
A104->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#right_to
owl:onProperty
A6
owl:Restriction
A104->A6
owl:someValuesFrom
A6->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#has_color
owl:onProperty
http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#blue
einsteins_riddle:blue
owl:NamedIndividual, owl:Thing
A6->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#blue
owl:hasValue
A187
owl:Restriction
A168
owl:Restriction
A187->A168
owl:someValuesFrom
A85
A187->A85
owl:onProperty
A168->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#drinks
owl:onProperty
A168->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#orange_juice
owl:hasValue
A85->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#smokes
owl:inverseOf
A140
A140->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#lives_in
owl:inverseOf
A231
A204->A231
owl:oneOf
A10
A10->http://www.w3.org/1999/02/22-rdf-syntax-ns#nil
rdf:rest
http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Old_Gold
einsteins_riddle:Old_Gold
a572f9a2-3063-4044-812a-ed1f95da3d38, owl:NamedIndividual, owl:Thing
rdfs:comment
7. The Old Gold smoker owns snails.
A10->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Old_Gold
rdf:first
A158->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#House
owl:someValuesFrom
A159
A158->A159
owl:onProperty
A212
A222->A212
owl:oneOf
A130
A130->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Lucky_Strike
rdf:first
A131
A130->A131
rdf:rest
A192
A131->A192
rdf:rest
A131->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Parliaments
rdf:first
A124
owl:Restriction
A124->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#lives_in
owl:onProperty
A125
owl:Class
A124->A125
owl:someValuesFrom
A76
A125->A76
owl:unionOf
A231->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#house-2
rdf:first
A180
A231->A180
rdf:rest
A134
owl:Restriction
A134->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#lives_in
owl:onProperty
http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#house-3
einsteins_riddle:house-3
owl:NamedIndividual, owl:Thing
A134->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#house-3
owl:hasValue
http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#house-3->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#house-2
einsteins_riddle:right_to
A94
A94->A201
rdf:rest
A176
owl:Restriction
A94->A176
rdf:first
A176->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#right_to
owl:onProperty
A154
owl:Restriction
A176->A154
owl:someValuesFrom
A72
A72->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#smokes
owl:inverseOf
A71
owl:Restriction
A71->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#lives_in
owl:onProperty
A95
owl:Restriction
A71->A95
owl:someValuesFrom
A95->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#yellow
owl:hasValue
A95->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#has_color
owl:onProperty
A97
A148->A97
rdf:rest
A149
owl:Restriction
A148->A149
rdf:first
A219->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#lives_in
owl:onProperty
A219->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#House
owl:someValuesFrom
A74->http://www.w3.org/1999/02/22-rdf-syntax-ns#nil
rdf:rest
A75
owl:Restriction
A74->A75
rdf:first
A164->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#has_color
owl:onProperty
A164->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Color
owl:someValuesFrom
http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#house-4->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#house-3
einsteins_riddle:right_to
A192->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Chesterfields
rdf:first
A192->A10
rdf:rest
A121
A121->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#lives_in
owl:inverseOf
http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#snails
einsteins_riddle:snails
owl:NamedIndividual, owl:Thing
A34->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#snails
rdf:first
A35
A34->A35
rdf:rest
A169
owl:Restriction
A171
owl:Restriction
A169->A171
owl:someValuesFrom
A196
A169->A196
owl:onProperty
A171->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#lives_in
owl:onProperty
A119
owl:Class
A171->A119
owl:someValuesFrom
A196->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#smokes
owl:inverseOf
A110
owl:Restriction
A110->A1
owl:onProperty
A189
owl:Restriction
A110->A189
owl:someValuesFrom
A189->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#lives_in
owl:onProperty
A86
owl:Restriction
A189->A86
owl:someValuesFrom
http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Spaniard
einsteins_riddle:Spaniard
owl:NamedIndividual, owl:Thing
rdfs:comment
3. The Spaniard owns the dog.
http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Spaniard->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#dog
einsteins_riddle:owns
A69
A69->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Spaniard
rdf:first
A147
A69->A147
rdf:rest
A147->A190
rdf:rest
A147->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Norwegian
rdf:first
A75->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Man
owl:someValuesFrom
A92
A75->A92
owl:onProperty
A92->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#lives_in
owl:inverseOf
A151
owl:Axiom
rdfs:comment
12. Kools are smoked in the house next to the
house where the horse is kept.
A151->http://www.w3.org/1999/02/22-rdf-syntax-ns#type
owl:annotatedProperty
A151->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Kools
owl:annotatedSource
A61
owl:Restriction
A151->A61
owl:annotatedTarget
A62
owl:Restriction
A61->A62
owl:someValuesFrom
A19
A61->A19
owl:onProperty
A13->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#right_to
owl:inverseOf
A64
owl:Restriction
A137
owl:Restriction
A64->A137
owl:someValuesFrom
A174
A64->A174
owl:onProperty
A137->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#owns
owl:onProperty
A137->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#fox
owl:hasValue
A174->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#lives_in
owl:inverseOf
A152
owl:Restriction
A153
owl:Restriction
A152->A153
owl:someValuesFrom
A9
A152->A9
owl:onProperty
A153->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#has_color
owl:onProperty
A153->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#blue
owl:hasValue
A9->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#right_to
owl:inverseOf
A93
owl:Class
A93->A94
owl:unionOf
A33
A33->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#right_to
owl:inverseOf
A144
owl:Restriction
A144->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#has_color
owl:onProperty
A144->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#blue
owl:hasValue
A211
owl:Axiom
rdfs:comment
14. The Japanese smokes Parliaments.
A211->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Japanese
owl:annotatedSource
A211->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#smokes
owl:annotatedProperty
A211->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Parliaments
owl:annotatedTarget
A47
owl:Restriction
A48
owl:Restriction
A47->A48
owl:someValuesFrom
A49
A47->A49
owl:onProperty
A48->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#lives_in
owl:onProperty
A96
owl:Class
A48->A96
owl:someValuesFrom
A49->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#smokes
owl:inverseOf
A109
owl:Axiom
rdfs:comment
4. Coffee is drunk in the green house.
A109->http://www.w3.org/1999/02/22-rdf-syntax-ns#type
owl:annotatedProperty
A109->A110
owl:annotatedTarget
http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#coffee
einsteins_riddle:coffee
aa448c3a-82bc-4a5c-91ea-fb5db2c92328, owl:NamedIndividual, owl:Thing
rdfs:comment
4. Coffee is drunk in the green house.
A109->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#coffee
owl:annotatedSource
A119->A20
owl:unionOf
A106
A106->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#smokes
owl:inverseOf
A212->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#green
rdf:first
A142
A212->A142
rdf:rest
A142->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#red
rdf:first
A143
A142->A143
rdf:rest
A213
A213->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#orange_juice
rdf:first
A225
A213->A225
rdf:rest
http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#tea
einsteins_riddle:tea
owl:NamedIndividual, owl:Thing
A225->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#tea
rdf:first
A193
A225->A193
rdf:rest
A18
A126
A18->A126
rdf:rest
A18->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#horse
rdf:first
A126->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#house-1
rdf:first
A146
A126->A146
rdf:rest
A116
A96->A116
owl:unionOf
A90
owl:Restriction
http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Pet->A90
rdfs:subClassOf
A91
owl:Class
http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Pet->A91
owl:equivalentClass
A90->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Man
owl:someValuesFrom
A90->A198
owl:onProperty
A23
A91->A23
owl:oneOf
A138
A138->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#fox
rdf:first
A17
A138->A17
rdf:rest
A17->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#green
rdf:first
A17->A18
rdf:rest
A24
A24->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#horse
rdf:first
A58
A24->A58
rdf:rest
A58->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#snails
rdf:first
A59
A58->A59
rdf:rest
A63
owl:Restriction
A116->A63
rdf:first
A117
A116->A117
rdf:rest
A173
owl:Restriction
A173->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#lives_in
owl:onProperty
A173->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#house-3
owl:hasValue
A118
owl:Restriction
A41->A118
owl:someValuesFrom
A127
A41->A127
owl:onProperty
A118->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#owns
owl:onProperty
A118->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#horse
owl:hasValue
A127->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#lives_in
owl:inverseOf
A77
A76->A77
rdf:rest
A78
owl:Restriction
A76->A78
rdf:first
A77->http://www.w3.org/1999/02/22-rdf-syntax-ns#nil
rdf:rest
A77->A152
rdf:first
A78->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#right_to
owl:onProperty
A78->A144
owl:someValuesFrom
A139
owl:Axiom
rdfs:comment
3. The Spaniard owns the dog.
A139->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#owns
owl:annotatedProperty
A139->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#dog
owl:annotatedTarget
A139->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Spaniard
owl:annotatedSource
A55->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#yellow
owl:hasValue
A55->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#has_color
owl:onProperty
A186
owl:Axiom
rdfs:comment
13. The Lucky Strike smoker drinks orange juice.
A186->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Lucky_Strike
owl:annotatedSource
A186->http://www.w3.org/1999/02/22-rdf-syntax-ns#type
owl:annotatedProperty
A186->A187
owl:annotatedTarget
A214
owl:Restriction
A214->A205
owl:onProperty
A227
owl:Restriction
A214->A227
owl:someValuesFrom
A227->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#drinks
owl:onProperty
A227->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#orange_juice
owl:hasValue
A215
A215->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#blue
rdf:first
A45
A215->A45
rdf:rest
A45->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#coffee
rdf:first
A46
A45->A46
rdf:rest
A60
owl:Restriction
A60->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#lives_in
owl:onProperty
A101
owl:Restriction
A60->A101
owl:someValuesFrom
A101->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#has_color
owl:onProperty
A101->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#red
owl:hasValue
A135
A135->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#house-1
rdf:first
A53
A135->A53
rdf:rest
A53->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#house-4
rdf:first
A54
A53->A54
rdf:rest
A73
A73->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Spaniard
rdf:first
A217
A73->A217
rdf:rest
A217->A215
rdf:rest
http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Ukrainian
einsteins_riddle:Ukrainian
owl:NamedIndividual, owl:Thing
rdfs:comment
5. The Ukrainian drinks tea.
A217->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Ukrainian
rdf:first
A63->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#right_to
owl:onProperty
A63->A64
owl:someValuesFrom
A26
A26->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Parliaments
rdf:first
A26->A73
rdf:rest
A11
owl:Restriction
A11->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#owns
owl:onProperty
A11->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#snails
owl:hasValue
A65->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#has_color
owl:onProperty
A65->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#ivory
owl:hasValue
A80
owl:Restriction
A80->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#lives_in
owl:onProperty
A56
owl:Class
A80->A56
owl:someValuesFrom
A57
A56->A57
owl:unionOf
A0
owl:Axiom
rdfs:comment
10. The Norwegian lives in the first house.
A0->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#lives_in
owl:annotatedProperty
A0->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#house-1
owl:annotatedTarget
A0->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Norwegian
owl:annotatedSource
http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Norwegian->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#house-1
einsteins_riddle:lives_in
A163
A163->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Kools
rdf:first
A163->A130
rdf:rest
A81
owl:Restriction
A216->A81
owl:someValuesFrom
A113
A216->A113
owl:onProperty
A81->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#owns
owl:onProperty
A81->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#horse
owl:hasValue
A113->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#lives_in
owl:inverseOf
http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Ukrainian->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#tea
einsteins_riddle:drinks
http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#water
einsteins_riddle:water
owl:NamedIndividual, owl:Thing
A120
A120->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#smokes
owl:inverseOf
A52
A57->A52
rdf:rest
A99
owl:Restriction
A57->A99
rdf:first
A52->http://www.w3.org/1999/02/22-rdf-syntax-ns#nil
rdf:rest
A36
owl:Restriction
A52->A36
rdf:first
A99->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#right_to
owl:onProperty
A99->A155
owl:someValuesFrom
A8
owl:Restriction
A8->A106
owl:onProperty
A105
owl:Restriction
A8->A105
owl:someValuesFrom
A105->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#owns
owl:onProperty
A105->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#snails
owl:hasValue
A54->http://www.w3.org/1999/02/22-rdf-syntax-ns#nil
rdf:rest
A54->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#house-5
rdf:first
A154->A140
owl:onProperty
A133
owl:Restriction
A154->A133
owl:someValuesFrom
A133->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#owns
owl:onProperty
A133->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#horse
owl:hasValue
A115
owl:Restriction
A115->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#lives_in
owl:onProperty
A115->A87
owl:someValuesFrom
A218->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#right_to
owl:inverseOf
A39->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#has_color
owl:onProperty
A39->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#blue
owl:hasValue
A183
owl:Restriction
A183->A80
owl:someValuesFrom
A185
A183->A185
owl:onProperty
A185->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#smokes
owl:inverseOf
A4->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Man
owl:someValuesFrom
A4->A150
owl:onProperty
A5->A163
owl:oneOf
A97->http://www.w3.org/1999/02/22-rdf-syntax-ns#nil
rdf:rest
A98
owl:Restriction
A97->A98
rdf:first
A149->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#owns
owl:onProperty
A149->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Pet
owl:someValuesFrom
A200
owl:Class
A200->A213
owl:oneOf
A199
owl:Restriction
A199->A42
owl:onProperty
A199->A30
owl:someValuesFrom
A162->A66
rdf:rest
http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#milk
einsteins_riddle:milk
af8e70b6-5939-4951-a28f-3fb62a2f485f, owl:NamedIndividual, owl:Thing
rdfs:comment
9. Milk is drunk in the middle house.
A162->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#milk
rdf:first
A23->A24
rdf:rest
A23->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#zebra
rdf:first
A220
A220->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#house-3
rdf:first
A229
A220->A229
rdf:rest
A229->A208
rdf:rest
A229->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#house-4
rdf:first
A35->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#tea
rdf:first
A165
A35->A165
rdf:rest
A165->A28
rdf:rest
A165->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#water
rdf:first
A36->A37
owl:someValuesFrom
A38
A36->A38
owl:onProperty
A16
owl:Restriction
A16->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#has_color
owl:onProperty
A16->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#red
owl:hasValue
http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Beverage->A200
owl:equivalentClass
A177
owl:Restriction
http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Beverage->A177
rdfs:subClassOf
A188
owl:Restriction
A188->A11
owl:someValuesFrom
A175
A188->A175
owl:onProperty
A175->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#smokes
owl:inverseOf
A197
owl:Restriction
A197->A181
owl:onProperty
A197->A134
owl:someValuesFrom
A177->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Man
owl:someValuesFrom
A178
A177->A178
owl:onProperty
A178->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#drinks
owl:inverseOf
A223
owl:Restriction
A223->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#right_to
owl:onProperty
A12
owl:Restriction
A223->A12
owl:someValuesFrom
A12->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#has_color
owl:onProperty
A12->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#ivory
owl:hasValue
A224
owl:Axiom
rdfs:comment
9. Milk is drunk in the middle house.
A224->http://www.w3.org/1999/02/22-rdf-syntax-ns#type
owl:annotatedProperty
A224->A197
owl:annotatedTarget
A224->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#milk
owl:annotatedSource
A62->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#lives_in
owl:onProperty
A62->A93
owl:someValuesFrom
A179
A179->http://www.w3.org/1999/02/22-rdf-syntax-ns#nil
rdf:rest
A179->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#ivory
rdf:first
A136
owl:Axiom
rdfs:comment
8. Kools are smoked in the yellow house.
A136->http://www.w3.org/1999/02/22-rdf-syntax-ns#type
owl:annotatedProperty
A136->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Kools
owl:annotatedSource
A70
owl:Restriction
A136->A70
owl:annotatedTarget
A70->A72
owl:onProperty
A70->A71
owl:someValuesFrom
A193->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#water
rdf:first
A2
A193->A2
rdf:rest
A143->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#blue
rdf:first
A194
A143->A194
rdf:rest
A194->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#yellow
rdf:first
A194->A179
rdf:rest
A86->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#has_color
owl:onProperty
A86->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#green
owl:hasValue
A19->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#smokes
owl:inverseOf
A182
owl:Axiom
rdfs:comment
11. The man who smokes Chesterfields lives in the
house next to the man with the fox.
A182->http://www.w3.org/1999/02/22-rdf-syntax-ns#type
owl:annotatedProperty
A182->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Chesterfields
owl:annotatedSource
A182->A183
owl:annotatedTarget
A226
owl:Restriction
A226->A173
owl:someValuesFrom
A230
A226->A230
owl:onProperty
A230->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#drinks
owl:inverseOf
A50
owl:Restriction
A50->http://www.w3.org/2002/07/owl#Nothing
owl:allValuesFrom
A51
A50->A51
owl:onProperty
A51->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#right_to
owl:inverseOf
A2->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#coffee
rdf:first
A3
A2->A3
rdf:rest
A25->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Old_Gold
rdf:first
A25->A26
rdf:rest
A3->http://www.w3.org/1999/02/22-rdf-syntax-ns#nil
rdf:rest
A3->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#milk
rdf:first
A98->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#smokes
owl:onProperty
A98->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Cigarette
owl:someValuesFrom
A114
owl:Axiom
rdfs:comment
15. The Norwegian lives next to the blue house.
A114->http://www.w3.org/1999/02/22-rdf-syntax-ns#type
owl:annotatedProperty
A114->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Norwegian
owl:annotatedSource
A114->A115
owl:annotatedTarget
A7
owl:Axiom
rdfs:comment
7. The Old Gold smoker owns snails.
A7->http://www.w3.org/1999/02/22-rdf-syntax-ns#type
owl:annotatedProperty
A7->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Old_Gold
owl:annotatedSource
A7->A8
owl:annotatedTarget
A68
A129->A68
owl:oneOf
A68->A69
rdf:rest
A68->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Ukrainian
rdf:first
A59->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#dog
rdf:first
A145
A59->A145
rdf:rest
A228
owl:Axiom
rdfs:comment
5. The Ukrainian drinks tea.
A228->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#drinks
owl:annotatedProperty
A228->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Ukrainian
owl:annotatedSource
A228->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#tea
owl:annotatedTarget
A117->http://www.w3.org/1999/02/22-rdf-syntax-ns#nil
rdf:rest
A117->A199
rdf:first
A46->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#dog
rdf:first
A46->A138
rdf:rest
A100
owl:Axiom
rdfs:comment
2. The Englishman lives in the red house.
A100->http://www.w3.org/1999/02/22-rdf-syntax-ns#type
owl:annotatedProperty
A100->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Englishman
owl:annotatedSource
A15
owl:Restriction
A100->A15
owl:annotatedTarget
A15->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#lives_in
owl:onProperty
A15->A16
owl:someValuesFrom
A43
owl:Axiom
rdfs:comment
6. The green house is immediately to the right of
the ivory house.
A43->A44
owl:annotatedTarget
A43->http://www.w3.org/1999/02/22-rdf-syntax-ns#type
owl:annotatedProperty
A43->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#green
owl:annotatedSource
A38->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#right_to
owl:inverseOf
A180->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#house-3
rdf:first
A180->A135
rdf:rest
A234->A206
owl:intersectionOf
A145->http://www.w3.org/1999/02/22-rdf-syntax-ns#nil
rdf:rest
A145->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#fox
rdf:first
A146->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#house-2
rdf:first
A146->A220
rdf:rest
A132
owl:Restriction
A132->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#right_to
owl:onProperty
A132->http://www.w3.org/2002/07/owl#Nothing
owl:allValuesFrom
A232
owl:AllDifferent
A232->A209
owl:distinctMembers
A233
owl:Restriction
A233->A184
owl:onProperty
A233->A223
owl:someValuesFrom
A159->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#has_color
owl:inverseOf
A235
A235->http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#drinks
owl:inverseOf