OWL

Ontology Web Language

•  http://en.wikipedia.org/wiki/Web_Ontology_Language
•  2
•  http://www.w3.org/TR/owl-guide/|guide

OWL use cases

Reasoning

Inferring Logic

Constraint Validation

 http://clarkparsia.com/pellet/icv