Examples of unloadOntologies()

Examples of org.semanticweb.owl.inference.OWLReasoner.unloadOntologies()

614
615
616
617
618
619
620
621
622
623
624
        logger.info("Abox's Logical URI: "+abox.getURI());
        logger.info("======================================================");
        logger.info("");
       
        /* Remove approximated Tbox and Abox from reasoner */
        reasoner.unloadOntologies(Collections.singleton(approximatedTbox));
        reasoner.unloadOntologies(Collections.singleton(abox));
        reasoner.dispose();
        /* Remove Abox from manager */
        manager.removeOntology(abox.getURI());
        manager = null;
View Full Code Here

Examples of org.semanticweb.owl.inference.OWLReasoner.unloadOntologies()

615
616
617
618
619
620
621
622
623
624
625
        logger.info("======================================================");
        logger.info("");
       
        /* Remove approximated Tbox and Abox from reasoner */
        reasoner.unloadOntologies(Collections.singleton(approximatedTbox));
        reasoner.unloadOntologies(Collections.singleton(abox));
        reasoner.dispose();
        /* Remove Abox from manager */
        manager.removeOntology(abox.getURI());
        manager = null;
        reasoner = null;
View Full Code Here

Examples of org.semanticweb.owl.inference.OWLReasoner.unloadOntologies()

513
514
515
516
517
518
519
520
521
522
523
          manager.saveOntology(modifiedAboxOntology,
              newAboxPhysicalURI);
          aboxPhysicalURI = newAboxPhysicalURI;
        }

        reasoner.unloadOntologies(Collections
            .singleton(approximatedTboxOntology));
        reasoner.unloadOntologies(Collections.singleton(aboxOntology));
        reasoner.dispose();
        manager.removeOntology(aboxOntology.getURI());
        manager = null;
View Full Code Here

Examples of org.semanticweb.owl.inference.OWLReasoner.unloadOntologies()

515
516
517
518
519
520
521
522
523
524
525
          aboxPhysicalURI = newAboxPhysicalURI;
        }

        reasoner.unloadOntologies(Collections
            .singleton(approximatedTboxOntology));
        reasoner.unloadOntologies(Collections.singleton(aboxOntology));
        reasoner.dispose();
        manager.removeOntology(aboxOntology.getURI());
        manager = null;
        reasoner = null;
        runCounter++;
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.