Examples of org.semanticweb.HermiT.Reasoner

org.semanticweb.HermiT.Reasoner
Answers queries about the logical implications of a particular knowledge base. A Reasoner is associated with a single knowledge base, which is "loaded" when the reasoner is constructed. By default a full classification of all atomic terms in the knowledge base is also performed at this time (which can take quite a while for large or complex ontologies), but this behavior can be disabled as a part of the Reasoner configuration. Internal details of the loading and reasoning algorithms can be configured in the Reasoner constructor and do not change over the lifetime of the Reasoner object---internal data structures and caches are optimized for a particular configuration. By default, HermiT will use the set of options which provide optimal performance.

                    OWLOntologyManager ontologyManager=OWLManager.createOWLOntologyManager();
                    OWLOntology ontology=ontologyManager.loadOntology(ont);
                    long parseTime=System.currentTimeMillis()-startTime;
                    status.log(2,"Ontology parsed in "+String.valueOf(parseTime)+" msec.");
                    startTime=System.currentTimeMillis();
                    Reasoner hermit=new Reasoner(config,ontology);
                    long loadTime=System.currentTimeMillis()-startTime;
                    status.log(2,"Reasoner created in "+String.valueOf(loadTime)+" msec.");
                    if (!ignoreOntologyPrefixes)
                        prefixes.addPrefixes(hermit.getPrefixes());
                    for (Action action : actions) {
                        status.log(2,"Doing action...");
                        startTime=System.currentTimeMillis();
                        action.run(hermit,prefixes,status,output);
                        long actionTime=System.currentTimeMillis()-startTime;

View Full Code Here

    assertTrue(extractor.getOWLEntity() instanceof OWLEntity);
    assertTrue(extractor.getOWLProperty() instanceof OWLProperty);
    
    OWLDataFactory factory = OWLManager.getOWLDataFactory();
    OWLDataProperty dataProperty = factory.getOWLDataProperty(IRI.create("http://example.owl#test"));
    Reasoner reasoner = new Reasoner(ontology);
    NodeSet<OWLClass> nodeSet = reasoner.getDataPropertyDomains(dataProperty, true);
    System.out.println(nodeSet);
    
    assertTrue(extractor.getOWLDataProperty() instanceof OWLDataProperty);
    assertTrue(extractor.getOWLObjectProperty() instanceof OWLObjectProperty);
    assertTrue(extractor.getOWLIndividual() instanceof OWLIndividual);

View Full Code Here

import org.semanticweb.owlapi.reasoner.OWLReasoner;


public class Hermit {
  
  public OWLReasoner getReasoner(OWLOntology ontology){
    Reasoner reasoner = new Reasoner(ontology);
    return reasoner;
  }

View Full Code Here

TOP

Related Classes of org.semanticweb.HermiT.Reasoner

org.herakles.ml.selection.trainingData.queryGenerate.OWLOntoElementExtractorTest

org.herakles.ml.selection.trainingData.reasonerTest.test.noOwllink.reasoners.Hermit

org.protege.editor.owl.model.inference.ReasonerPreferences

org.semanticweb.HermiT.blocking.AncestorBlocking

org.semanticweb.HermiT.blocking.AnywhereBlocking

org.semanticweb.HermiT.blocking.AnywhereValidatedBlocking

org.semanticweb.HermiT.blocking.BlockingSignatureCache

org.semanticweb.HermiT.blocking.BlockingStrategy

org.semanticweb.HermiT.blocking.DirectBlockingChecker

org.semanticweb.HermiT.blocking.PairWiseDirectBlockingChecker

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.