Examples of EntailmentChecker

Examples of com.clarkparsia.pellet.owlapiv3.EntailmentChecker

107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
      entailmentOntology = loader.getManager().loadOntology( entailmentFileURI );
    } catch( Exception e ) {
      throw new PelletCmdException( e );
    }
   
    EntailmentChecker checker = new EntailmentChecker(reasoner);   
    Set<OWLLogicalAxiom> axioms = entailmentOntology.getLogicalAxioms();
   
    verbose( "Check entailments for (" + axioms.size() + ") axioms" );
    startTask( "Checking" );
    Set<OWLAxiom> nonEntailments = checker.findNonEntailments(axioms, findAll);   
    finishTask( "Checking" );
   
    if( nonEntailments.isEmpty() ) {
      output( "All axioms are entailed." );
    }
View Full Code Here

Examples of org.semanticweb.HermiT.EntailmentChecker

247
248
249
250
251
252
253
254
255
256
257
258
        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
Copyright © 2018 www.massapi.com. 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.