Examples of Reasoner

com.hp.hpl.jena.reasoner.Reasoner

The minimal interface to which all reasoners (or reasoner adaptors) conform. This only supports attaching the reasoner to a set of RDF graphs which represent the rules or ontologies and instance data. The actual reasoner requests are made through the InfGraph which is generated once the reasoner has been bound to a set of RDF data.

org.mindswap.pellet.owlapi.Reasoner

larkparsia.com>

@author Evren Sirin

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.

    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);

Examples of org.semanticweb.HermiT.Reasoner

import org.semanticweb.owlapi.reasoner.OWLReasoner;


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

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.