Einstein’s Riddle

Table of Content

Introduction
Classes
Object Properties
Annotation Properties
Namespace Declarations

Introduction

1. There are five houses.

2. The Englishman lives in the red house.

3. The Spaniard owns the dog.

4. Coffee is drunk in the green house.

5. The Ukrainian drinks tea.

6. The green house is immediately to the right of the ivory house.

7. The Old Gold smoker owns snails.

8. Kools are smoked in the yellow house.

9. Milk is drunk in the middle house.

10. The Norwegian lives in the first house.

11. The man who smokes Chesterfields lives in the house next to the man with the fox.

12. Kools are smoked in a house next to the house where the horse is kept.

13. The Lucky Strike smoker drinks orange juice.

14. The Japanese smokes Parliaments.

15. The Norwegian lives next to the blue house.

Now, who drinks water ? Who owns the zebra ?

In the interest of clarity, it must be added that each of the five houses is painted a different color, has a single inhabitant, and the inhabitants are of different national extractions, own different pets, drink different beverages and smoke different brands of American cigarettes. In statement 6, right refers to the reader"s right.

beverage ^c back to ToC or Class ToC

IRI: http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Beverage

is equivalent to: { coffee , water , orange juice , milk , tea }
has super-classes: inverse drinks ^op some man ^c
is in range of: drinks ^op

cigarette ^c back to ToC or Class ToC

IRI: http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Cigarette

is equivalent to: { parliaments , kools , chesterfields , lucky strike , old gold }
has super-classes: inverse smokes ^op some man ^c
is in range of: smokes ^op

color ^c back to ToC or Class ToC

IRI: http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Color

is equivalent to: { green , red , yellow , ivory , blue }
has super-classes: inverse has color ^op some house ^c
is in range of: has color ^op

house ^c back to ToC or Class ToC

IRI: http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#House

is equivalent to: { house 1 , house 3 , house 2 , house 4 , house 5 }
has super-classes: ( has color ^op some color ^c ) and ( inverse lives in ^op some man ^c )
is in domain of: has color ^op , right to ^op
is in range of: lives in ^op , right to ^op

man ^c back to ToC or Class ToC

IRI: http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Man

is equivalent to: { japanese , ukrainian , spaniard , norwegian , englishman }
has super-classes: ( drinks ^op some beverage ^c ) and ( lives in ^op some house ^c ) and ( owns ^op some pet ^c ) and ( smokes ^op some cigarette ^c )
is in domain of: drinks ^op , lives in ^op , owns ^op , smokes ^op

pet ^c back to ToC or Class ToC

IRI: http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl#Pet

is equivalent to: { horse , fox , zebra , snails , dog }
has super-classes: inverse owns ^op some man ^c
is in range of: owns ^op