How is OIL different from DAML?
The DAML language inherits many aspects from OIL, and the capabilities of the two languages are relatively similar: • both support hierarchies of classes and properties based on sub-class and sub-property relations. • both allow classes to be built from other classes using arbitrary combinations of intersection (AND), union (OR) and complement (NOT); • both allow the domain, range and cardinality of properties to be restricted; • both support transitive and inverse properties; • both support concrete data types (integers, strings, etc.); However, there are also some important differences, which we can only briefly discuss here: • OIL achieves a greater backward compatibility with RDF Schema than DAML. • OIL has been designed to enable reasoning services that are sound and complete as well as efficient. Some constructions in DAML make similar reasoning services for DAML impossible. • OIL one can state either sufficient conditions for a class, or conditions that are both sufficient and n
