Ian Horrocks DAML+OIL: a Description Logic for the Semantic Web. 4-9 2002 http://sites.computer.org/debull/A02MAR-CD.pdf 25 IEEE Data Eng. Bull. 1 db/journals/debu/debu25.html#Horrocks02