Version 2 (modified by jerven, 8 years ago)

--

OWL

Ontology Web Language

OWL use cases

Reasoning

Inferring Logic

Constraint Validation

 http://clarkparsia.com/pellet/icv