Package org.semanticweb.HermiT

Examples of org.semanticweb.HermiT.EntailmentChecker$Edge


        public void run(Reasoner hermit,Prefixes prefixes,StatusOutput status,PrintWriter output) {
            status.log(2,"Checking whether the loaded ontology entails the conclusion ontology");
            OWLOntologyManager m=OWLManager.createOWLOntologyManager();
            try {
                OWLOntology conclusions = m.loadOntology(conclusionIRI);
                EntailmentChecker checker=new EntailmentChecker(hermit, m.getOWLDataFactory());
                boolean isEntailed=checker.entails(conclusions.getLogicalAxioms());
                output.println(isEntailed);
            } catch (OWLOntologyCreationException e) {
                e.printStackTrace();
            }
            output.flush();
View Full Code Here

TOP

Related Classes of org.semanticweb.HermiT.EntailmentChecker$Edge

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.