Version 3 (modified by jerven, 7 years ago)

--

OWL

Ontology Web Language

OWL use cases

Reasoning

Inferring Logic

Constraint Validation

 http://clarkparsia.com/pellet/icv