Package com.clarkparsia.modularity

Examples of com.clarkparsia.modularity.IncrementalClassifier.classify()


      Collection<OWLAxiom> additions, Collection<OWLAxiom> deletions, ReasonerComparisonMethod comparisonMethod) {
    PelletReasoner unified = PelletReasonerFactory.getInstance().createNonBufferingReasoner( ontology );
    IncrementalClassifier modular = PelletIncremantalReasonerFactory.getInstance().createReasoner( ontology, modExtractor );

    PelletOptions.USE_CLASSIFICATION_MONITOR = PelletOptions.MonitorType.CONSOLE;
    modular.classify();

    comparisonMethod.compare( unified, modular );
   
    OntologyUtils.addAxioms( ontology, additions );   
    OntologyUtils.removeAxioms( ontology, deletions );
View Full Code Here


    comparisonMethod.compare( unified, modular );
   
    OntologyUtils.addAxioms( ontology, additions );   
    OntologyUtils.removeAxioms( ontology, deletions );
   
    modular.classify();
    unified.flush();
    unified.getKB().classify();
   
    modular.timers.print();
View Full Code Here

   
    try {   
      ModuleExtractor moduleExtractor = createModuleExtractor();

      IncrementalClassifier modular = PelletIncremantalReasonerFactory.getInstance().createReasoner( ontology, moduleExtractor );
      modular.classify();

      List<OWLAxiom> axiomsToRemove = new ArrayList<OWLAxiom>( TestUtils.selectRandomAxioms( ontology, 1 ) );

      for( OWLAxiom axiomToRemove : axiomsToRemove ) {
        OWL.manager.applyChange( new RemoveAxiom(ontology, axiomToRemove ) );
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.