Package com.clarkparsia.pellet.owlapiv3

Examples of com.clarkparsia.pellet.owlapiv3.PelletReasoner

86
87
88
89
90
91
92
93
94
95
96
    axioms.add( OWL.classAssertion( i, A ) );
    axioms.add( OWL.classAssertion( i, B ) );
    axioms.add( OWL.classAssertion( j, C ) );

    OWLOntology ontology = OWL.Ontology( axioms );
    PelletReasoner reasoner = PelletReasonerFactory.getInstance().createReasoner( ontology );
    PelletExplanation explain = new PelletExplanation( reasoner );

    Set<Set<OWLAxiom>> actual = explain.getInconsistencyExplanations();

    Set<OWLAxiom> f = new HashSet<OWLAxiom>();
View Full Code Here
119
120
121
122
123
124
125
126
127
128
    axioms.add(OWL.disjointClasses(A, B));
    axioms.add(OWL.classAssertion(i, A));
    axioms.add(OWL.classAssertion(i, B));

    OWLOntology ontology = OWL.Ontology(axioms);
    PelletReasoner reasoner = PelletReasonerFactory.getInstance().createReasoner(ontology);
    PelletExplanation explain = new PelletExplanation(reasoner);

    assertFalse(explain.getInconsistencyExplanations().isEmpty());
  }
View Full Code Here
137
138
139
140
141
142
143
144
145
146
    axioms.add(OWL.disjointProperties(P, S));
    axioms.add(OWL.propertyAssertion(i, P, i));
    axioms.add(OWL.propertyAssertion(i, S, i));

    OWLOntology ontology = OWL.Ontology(axioms);
    PelletReasoner reasoner = PelletReasonerFactory.getInstance().createReasoner(ontology);
    PelletExplanation explain = new PelletExplanation(reasoner);

    assertFalse(explain.getInconsistencyExplanations().isEmpty());
  }
View Full Code Here
158
159
160
161
162
163
164
165
166
167
    axioms.add(OWL.classAssertion(i, A));
    axioms.add(OWL.classAssertion(j, B));
    axioms.add(OWL.sameAs(i, j));

    OWLOntology ontology = OWL.Ontology(axioms);
    PelletReasoner reasoner = PelletReasonerFactory.getInstance().createReasoner(ontology);
    PelletExplanation explain = new PelletExplanation(reasoner);

    assertFalse(explain.getInconsistencyExplanations().isEmpty());
  }
View Full Code Here
174
175
176
177
178
179
180
181
182
183
   
    Set<OWLAxiom> axioms = new HashSet<OWLAxiom>();
    axioms.add(OWL.equivalentClasses(A, OWL.oneOf(a, b)));

    OWLOntology ontology = OWL.Ontology(axioms);
    PelletReasoner reasoner = PelletReasonerFactory.getInstance().createReasoner(ontology);
    PelletExplanation explain = new PelletExplanation(reasoner);

    assertEquals( axioms, explain.getEntailmentExplanation(OWL.classAssertion(a, A)) );
  }
View Full Code Here
189
190
191
192
193
194
195
196
197
198
   
    Set<OWLAxiom> axioms = new HashSet<OWLAxiom>();
    axioms.add(OWL.equivalentClasses(A, OWL.oneOf(a)));

    OWLOntology ontology = OWL.Ontology(axioms);
    PelletReasoner reasoner = PelletReasonerFactory.getInstance().createReasoner(ontology);
    PelletExplanation explain = new PelletExplanation(reasoner);

    assertEquals( axioms, explain.getEntailmentExplanation(OWL.classAssertion(a, A)) );
  }
View Full Code Here
236
237
238
239
240
241
242
243
244
245
246
    OWLAxiom[] axioms = { OWL.subClassOf(VolcanicMountain, Mountain), OWL.subClassOf(VolcanicMountain, Volcano),
                    OWL.subClassOf(Mountain, UplandArea), OWL.subClassOf(UplandArea, OWL.not(Volcano)),
                    OWL.disjointClasses(UplandArea, Volcano) };

    OWLOntology ontology = OWL.Ontology(axioms);
    PelletReasoner reasoner = PelletReasonerFactory.getInstance().createReasoner(ontology);
    PelletExplanation explain = new PelletExplanation(reasoner);

    // bug 453 manifested by throwing an OWLRuntimeException from the following statement
    // (number of explanations is important -- there are two explanations in this case, and the problem
    // only occurs if both of them are produced)
View Full Code Here
130
131
132
133
134
135
136
137
138
139
140
141
142
  public void testOWL2() throws OWLException {
    String ns = "http://www.example.org/test#";

    OWLOntology ont = loadOntology( base + "owl2.owl" );
   
    PelletReasoner reasoner = PelletReasonerFactory.getInstance().createReasoner( ont ) ;
    try {
      testOWL2Reasoner( ns, reasoner );
    }
    finally {
      reasoner.dispose();
    }
  }
View Full Code Here
234
235
236
237
238
239
240
241
242
243
244
  public void testUncle() throws OWLException {
    String ns = "http://www.example.org/test#";

    OWLOntology ont = loadOntology( base + "uncle.owl" );

    PelletReasoner reasoner = PelletReasonerFactory.getInstance().createReasoner( ont );

    OWLNamedIndividual Bob = Individual( ns + "Bob" );
    OWLNamedIndividual Sam = Individual( ns + "Sam" );

    OWLObjectProperty uncleOf = ObjectProperty( ns + "uncleOf" );
View Full Code Here
250
251
252
253
254
255
256
257
258
259
260
  public void testSibling() throws OWLException {
    String ns = "http://www.example.org/test#";

    OWLOntology ont = loadOntology( base + "sibling.owl" );

    PelletReasoner reasoner = PelletReasonerFactory.getInstance().createReasoner( ont );

    OWLNamedIndividual Bob = Individual( ns + "Bob" );
    OWLNamedIndividual John = Individual( ns + "John" );
    OWLNamedIndividual Jane = Individual( ns + "Jane" );
View Full Code Here
TOP

Related Classes of com.clarkparsia.pellet.owlapiv3.PelletReasoner

  • aterm.ATerm
  • aterm.ATermAppl
  • aterm.ATermList
  • com.clarkparsia.explanation.test.MiscExplanationTests
  • com.clarkparsia.explanation.test.OWLAPIExplanationTest
  • com.clarkparsia.modularity.IncrementalClassifier
  • com.clarkparsia.modularity.test.PersistenceClassificationTest
  • com.clarkparsia.modularity.test.PersistenceRealizationTest
  • com.clarkparsia.modularity.test.PersistenceUpdatesTest
  • com.clarkparsia.modularity.test.TestUtils
    • 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.