The Generation of DAML+OIL.
Ian Horrocks, Peter F. Patel‐Schneider · 2001
daml+oil is a new description logic developed for use within the DAML project and as a submission to the upcoming W3C semantic web ontology working group. It is closely based on the oil, but also has strong in uences from the existing W3C eorts as well as input from DAML researchers. daml+oil pushes very close to the undecidability barrier. Developing eective reasoners for daml+oil will stress the capabilities of description logic researchers. 1