Motivation for Ontologies
  - RDF Schema and DAML+OIL
      constrain an
      RDF graph
    
      - so programs know what to expect
      
- so that additional statements can be inferred
    
 
- DAML+OIL extends RDF(S) in the following ways
    
      - supporting 
          XML Schema Datatypes
          rather than just
          string literals
      
- cardinality restrictions
      
- local restrictions
      
- enumerations
      
- class expressions
      
- ontology and instance mapping
      
- providing additional hints to reasoners