OWL Ontology Converter

Paste the URL of an OWL-RDF ontology into the box below, select a format and hit return or press the Convert button. The servlet will then attempt to convert the ontology to the selected format.

No guarantees are provided as to the correctness of this converter.

Developed by Sean Bechhofer of the University of Manchester and Raphael Volz of the University of Karlsruhe.

URL:
Abstract Syntax
FaCT. Produces output suitable for the FaCT reasoner. Note that this includes a special encoding for individuals which allows FaCT to use the "cheating semantics" for enumerations. Domain and range restrictions are also translated to general axioms.
FaCT++. Output suitable for the new implementation of FaCT.
DIG 2.0. Experimental output in DIG 2.0 XML.
TPTP. Output suitable for FO theorem provers.
OWL Converter 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