Version 3 (modified by jerven, 9 years ago)

--

OWL

Ontology Web Language

OWL use cases

Reasoning

Inferring Logic

Constraint Validation

 http://clarkparsia.com/pellet/icv