= OWL =
== Ontology Web Language ==
 * [http://en.wikipedia.org/wiki/Web_Ontology_Language]
 * [http://www.w3.org/TR/owl2-new-features/ OWL 2]
 * [http://www.w3.org/TR/owl-guide/ guide]

= OWL use cases =
== Reasoning ==

== Inferring Logic ==

== Constraint Validation ==
[http://clarkparsia.com/pellet/icv]