=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