It uses the ID of an RDF node as an identifier for the node. There currently is no unique name assumption. A method for asserting the equality and inequality of individuals is needed. Some mappings require the presence of several triples. Some mappings have side conditions.
Abbreviated syntax is used in some places, such as for lists.
Let KB be a DAML-OIL KB in the form of a collection of RDF triples. The following mappings are specified mostly in the order that the DAML-OIL syntax is specified, with a few reorderings to place similar constructs together.