From DAML+OIL to OWL

The namespace was changed to http://www.w3.org/2002/07/owl.
Various updates to RDF and RDF Schema from the RDF Core Working Group were incorporated, including
- cyclic subclasses are now allowed
- multiple rdfs:domain and rdfs:range properties are handled as intersection
- RDF Semantics
- datatypes
  - RDF and OWL use the XML Schema namespace http://www.w3.org/2001/XMLSchema rather than http://www.w3.org/2000/10/XMLSchema.
  - OWL does not support using datatypes as types, e.g.
```
<size>
  <xsd:integer rdf:value="10"/>
</size>
		  
```
    Instead use
```
<size
rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">10</size>

		  
```
- the daml:List construct used to represent closed collections was largely incorporated into RDF
  - rdf:parseType="Collection" replaces rdf:parseType="daml:collection"
  - rdf:List, rdf:first, rdf:rest and rdf:nil replace daml:List, daml:first, daml:rest, and daml:nil
  - daml:item is not supported.
Qualified restrictions were removed from the language, resulting in the removal of the following properties:
- daml:cardinalityQ
- daml:hasClassQ
- daml:maxCardinalityQ
- daml:minCardinalityQ

Various properties and classes were renamed, as shown in the following table:

DAML+OIL	OWL
`daml:differentIndividualFrom`	`owl:differentFrom`
`daml:equivalentTo`	`owl:sameAs`
`daml:sameClassAs`	`owl:equivalentClass`
`daml:samePropertyAs`	`owl:equivalentProperty`
`daml:hasClass`	`owl:someValuesFrom`
`daml:toClass`	`owl:allValuesFrom`
`daml:UnambiguousProperty`	`owl:InverseFunctionalProperty`
`daml:UniqueProperty`	`owl:FunctionalProperty`

owl:SymmetricProperty was added.
An owl:DatatypeProperty may be an InverseFunctionalProperty in OWL Full.
Synonyms for RDF and RDF Schema classes and properties were removed from the language, resulting in the removal of:
- daml:comment
- daml:domain
- daml:label
- daml:isDefinedBy
- daml:Literal
- daml:Property
- daml:range
- daml:seeAlso
- daml:subClassOf
- daml:subPropertyOf
- daml:type
- daml:value
daml:disjointUnionOf was removed from the language, since it can be effected using owl:unionOf or rdfs:subClassOf and owl:disjointWith.
daml:equivalentTo was renamed to owl:sameAs, and is no longer a superproperty of owl:equivalentClass and owl:equivalentProperty,
The following properties and classes were added to support versioning:
- owl:backwardCompatibleWith
- owl:DeprecatedClass
- owl:DeprecatedProperty
- owl:incompatibleWith
- owl:priorVersion
owl:AllDifferent and owl:distinctMembers were added to address the Unique Names Assumption.