Package com.hp.hpl.jena.reasoner

Examples of com.hp.hpl.jena.reasoner.Reasoner

1012
1013
1014
1015
1016
1017
1018
1019
1020
1021
1022
  @Test
  public void testDeclaredProperties() {
    String ns = "urn:test:";

    Reasoner r = PelletReasonerFactory.theInstance().create();
    // ReasonerRegistry.getOWLMicroReasoner();

    OntModelSpec spec = new OntModelSpec( OntModelSpec.OWL_DL_MEM );
    spec.setReasoner( r );
    OntModel model = ModelFactory.createOntologyModel( spec, null );
View Full Code Here
109
110
111
112
113
114
115
116
117
118
119
120
  public void setupGenerators(Collection<OWLAxiom> ontologyAxioms) throws Exception {
    OWLOntology ontology = com.clarkparsia.owlapiv3.OWL.Ontology( ontologyAxioms );     
    
    Graph data = convertOntology( ontology, false );

    Reasoner reasoner = PelletReasonerFactory.theInstance().create();
    pellet = (PelletInfGraph) reasoner.bind( data );
   
    KnowledgeBase kb = pellet.getKB();
   
    if( classify ) {
      kb.setDoExplanation( true );
View Full Code Here
90
91
92
93
94
95
96
97
98
99
100
101
102
 
  protected MultiValueMap<ATermAppl, ATermAppl> run(Collection<ATermAppl> classes) {
    addClasses( classes );
    addClasses( m_Names.getAllAnons() );
   
    Reasoner reasoner = new GenericRuleReasoner(new ArrayList<Rule>(m_Rules));
   
    InfGraph inf = reasoner.bind( m_Facts );
    inf.prepare();
   
    MultiValueMap<ATermAppl, ATermAppl> subsumers = getSubsumptions(inf);
    for( ATermAppl c : classes ) {
      subsumers.add( ATermUtils.BOTTOM, c );     
View Full Code Here
107
108
109
110
111
112
113
114
115
116
117
118
  public void setupGenerators(Collection<OWLAxiom> ontologyAxioms) throws Exception {
    OWLOntology ontology = com.clarkparsia.owlapiv3.OWL.Ontology( ontologyAxioms );     
    
    Graph data = convertOntology( ontology, false );

    Reasoner reasoner = PelletReasonerFactory.theInstance().create();
    pellet = (PelletInfGraph) reasoner.bind( data );
   
    KnowledgeBase kb = pellet.getKB();
   
    if( classify ) {
      kb.setDoExplanation( true );
View Full Code Here
46
47
48
49
50
51
52
53
54
55
56
   */
  private void sameAs() {
    Resource resource;
    Model model = getModel();

    Reasoner owlReasoner = ReasonerRegistry.getOWLReasoner();
    InfModel infModel = ModelFactory.createInfModel(owlReasoner, model);

    resource = infModel.getResource(johnPrimeURI);
    printStatements("OWLReasoned", infModel, resource, null, null);

View Full Code Here
TOP

Related Classes of com.hp.hpl.jena.reasoner.Reasoner

  • com.clarkparsia.explanation.test.JenaExplanationTest
  • com.clarkparsia.pellet.el.JenaBasedELClassifier
  • com.hp.hpl.jena.ontology.impl.OntModelImpl
  • com.hp.hpl.jena.ontology.impl.TestOntReasoning
  • com.hp.hpl.jena.rdf.model.ModelFactory
  • com.hp.hpl.jena.rdf.model.test.TestModelFactory
  • com.hp.hpl.jena.reasoner.rulesys.test.OWLConsistencyTest
  • com.hp.hpl.jena.reasoner.rulesys.test.OWLWGTester
  • com.hp.hpl.jena.reasoner.rulesys.test.TestBackchainer
  • com.hp.hpl.jena.reasoner.rulesys.test.TestBugs
    • Copyright © 2018 www.massapicom. 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.