Class SavingInferredAxioms

java.lang.Object
org.semanticweb.elk.owlapi.examples.SavingInferredAxioms

public class SavingInferredAxioms
extends Object
This example shows how to classify an ontology and save the resulting taxonomy into a new file. The example is based on the example from the OWL API documentation.
Author:
Frantisek Simancik, Pavel Klinov pavel.klinov@uni-ulm.de, Peter Skocovsky
  • Constructor Details

  • Method Details

    • main

      public static void main​(String[] args) throws org.semanticweb.owlapi.model.OWLOntologyStorageException, org.semanticweb.owlapi.model.OWLOntologyCreationException
      Throws:
      org.semanticweb.owlapi.model.OWLOntologyStorageException
      org.semanticweb.owlapi.model.OWLOntologyCreationException