Version 4 (modified by erick.antezana, 15 years ago)

--

OWL

Ontology Web Language

OWL use cases

Reasoning

Inferring Logic

Constraint Validation

 http://clarkparsia.com/pellet/icv