BẰNG ONTOLOGY
Trong cuộc sống ta hay gặp những bài toán đố logic mà không phải có thể giải một cách đơn giản, và phải mất thời gian để suy luận. Bài toán logic của Einstein là một trong số đó. Suy luận logic tự động là khả năng rất mạnh của Ontology mà ta đã trình bày trong những phần trước. Sau đây ta đi xét việc biểu diễn và giải bài toán này bằng Ontology.
4.1 GIỚI THIỆU BÀI TOÁN LOGIC CỦA EINSTEIN (ZEBRA PUZZLE)
Bài toán đố logic Zebra puzzle được sáng tạo bởi Albert Einstein và theo như tác giả nói là chỉ có 2% số người trên thế giới này có thể giải được. Nhưng ngày này với ontology và OWL, ta có thể giải chúng một cách dễ dàng bằng cách dùng công cụ suy luận tự động (reasoning) của OWL.
Ta có thể tìm hiểu bài toán ở đây
http://en.wikipedia.org/wiki/Zebra_Puzzle
Bài toán này hiện nay có nhiều phiên bản, nhưng chỉ là sửa lại các tên riêng, còn linh hồn của bài toán vẫn không thay đổi.
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 the house next to the house where the horse is kept. [should be "... a house ...", see discussion below]
13.The Lucky Strike smoker drinks orange juice.
14.The Japanese smokes Parliaments.
“Có 5 căn nhà nằm kề nhau mang màu sắc khác nhau, trong mỗi căn là 1 người đàn ông quốc tịch khác nhau. Mỗi người đàn ông nuôi 1 con vật khác nhau, uống loại nước uống khác nhau và hút thuốc lá hiệu khác nhau. Sau đây là các dữ kiện.