OWL Ontologies

Ontology Web Language (OWL) is a language definition for ontologies for the semantic web.  The definition allows a great deal of flexibility and granularity in the ontology definition and is typically aimed at machine learning and computer inference systems.