DAML+OIL Knowledge Base
u “child” is an inverse of “parent”
u Every “Person” has 2 “parent”s
u Every “parent” of every “Person” is a “Person”
Query-Answering Dialogues