The Generation of DAML+OIL

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 influences from the existing W3C efforts as well as input from DAML researchers. daml+oil pushes very close to the undecidability barrier. Developing effective reasoners for daml+oil will stress the capabilities of description logic researchers.

• Type: Conference
• Year: 2001
• Where: DLOG
• Authors: Ian Horrocks, Peter F. Patel-Schneider
• Keywords: Automated Reasoning, Daml+oil, Description Logic, DLOG 2001, W3C Semantic Web