OWL Ontology Patcher

This service will try and produce a valid OWL DL ontology. It does this by adopting a number of strategies including:

The service uses a number of heuristics. In some situations, this could change the semantics of your ontology, particularly if you are really interested in OWL Full reasoning.

URL:
OWL Patcher running on rosalind.cs.man.ac.uk [130.88.192.204] under Apache Tomcat/5.5.20
© University of Manchester, 2003, © University of Karlsruhe, 2003