To improve the automated processability of web sites, formal knowledge representation standards are required, that can be used not only to annotate markup elements for simple machine-readable data, but also to express complex statements and relationships in a machine-processable manner. These statements written in a serialization of RDF, structured data can be efficiently modeled as well as annotated in the markup, or written in separate, machine-readable metadata files. The formal definitions used for modeling and representing data make efficient data analysis and reuse possible. Complex relationships expressed using the Web Ontology Language (OWL) are suitable for reasoning over knowledge representations and inferring statements not explicitly added to knowledge bases and ontologies, making automated knowledge discovery possible.
Formalizing Knowledge Representation with Description Logics
DAML+OIL, RDFS, and OWL support a family of knowledge representation languages called description logics (DL). A description logic can model concepts, roles and individuals, and their relationships.