Description
OWL 2 ontologies can be reasoned over with a Java semantic-web tool. Researchers and developers install it to classify ontologies and check logical consistency.
Reasoners can process large knowledge bases and consume significant CPU or memory. Use trusted ontology inputs.