Ian Horrocks DAML+OIL: A Reason-able Web Ontology Language. 2-13 2002 conf/edbt/2002 EDBT http://dx.doi.org/10.1007/3-540-45876-X_2 db/conf/edbt/edbt2002.html#Horrocks02