About Inference-Galaxy

Inference-Galaxy offers the possibility of performing automated reasoning in an ontology and then injecting the inferred axioms as asserted axioms, generating a new OWL ontology.

Usage

An ontology is needed as input: load it with Get Data >> Upload File from your computer or redirect the output of another galaxy tool. Inference-Galaxy uses the OWL API, and therefore it can load any ontology format that such API is able to load: OBO flat file, OWL (RDF/XML, OWL/XML, Functional, Manchester), turtle, and KRSS. In case the loaded ontology includes OWL imports, Inference-Galaxy will try to resolve them.

The reasoner can be Pellet, HermiT, FaCT++ or Elk.

The inferred axioms to add as asserted axioms can be chosen.

Contact

Please send any request or comment to mikel.egana.aranguren@gmail.com.