Package uk.ac.manchester.owl.owlapi.tutorial

Examples of uk.ac.manchester.owl.owlapi.tutorial.ClosureAxioms


        System.out.println("Ontology Loaded...");
        System.out.println("Logical URI : " + documentIRI);
        System.out.println("Document IRI: " + ontology.getOntologyID());
        System.out.println("Format      : "
                + manager.getOntologyFormat(ontology));
        ClosureAxioms closureAxioms = new ClosureAxioms(manager, ontology);
        OWLClass clazz = Class(classIRI);
        System.out.println("Class URI   : " + classIRI);
        System.out.println(clazz);
        /* Add the closure axioms */
        closureAxioms.addClosureAxioms(clazz);
        /* Now save a copy to another location */
        System.out.println("Saving: " + outputDocumentIRI);
        manager.saveOntology(ontology, outputDocumentIRI);
        System.out.println("Ontology Saved...");
        System.out.println("Document IRI : " + outputDocumentIRI);
View Full Code Here

TOP

Related Classes of uk.ac.manchester.owl.owlapi.tutorial.ClosureAxioms

Copyright © 2018 www.massapicom. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.