OWL Reasoning: Einstein's Puzzle
The below puzzle is known as the "Einstein's Puzzle".
The reason why it is mentioned here is that at the end of the
course you should be able
to write a characterization in OWL that can be used to
ask an OWL reasoner for the solution.
Try first to find a solution on your own (no, not by google).
Keep track what knowledge you (often implicitly) use for your
conclusions. Encoding this knowledge (not the conclusions themselves)
in OWL will then allow the reasoner to find the solution.
There are five houses in five different colours starting from left to
right. In each house lives a person of a different nationality. These
owners all drink a certain type of beverage, smoke a certain brand of
cigarette and keep a certain type of pet. No two owners have the same
pet, smoke the same brand or drink the same beverage.
The question is: WHO OWNS THE FISH???
- The Brit lives in the red house.
- The Swede keeps dogs as pets.
- The Dane drinks tea.
- The green house is directly on the left of the white house.
- The green house's owner drinks coffee.
- The person who smokes Pall Mall rears birds.
- The owner of the yellow house smokes Dunhill.
- The man living in the centre house drinks milk.
- The Norwegian lives in the first house.
- The person who smokes Marlboro lives next to the one who keeps cats.
- The person who keeps horses lives next to the person who smokes Dunhill.
- The person who smokes Winfield drinks beer.
- The German smokes Rothmans.
- The Norwegian lives next to the blue house.
- The person who smokes Marlboro has a neigbor who drinks water.