DAML+OIL

• Adds more constraints to RDF schema.
• Assert class equivalence or disjointness.
• Assert property transitivity.
• Basis for DAML-S language for web services.