Examples of PelletExplanation

Examples of com.clarkparsia.owlapi.explanation.PelletExplanation

64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
    // Create the reasoner and load the ontology
    PelletReasoner reasoner = PelletReasonerFactory.getInstance().createReasoner( ontology );

    // Create an explanation generator
    PelletExplanation expGen = new PelletExplanation( reasoner );

    // Create some concepts
    OWLClass madCow = OWL.Class( NS + "mad+cow" );
    OWLClass animalLover = OWL.Class( NS + "animal+lover" );
    OWLClass petOwner = OWL.Class( NS + "pet+owner" );

    // Explain why mad cow is an unsatisfiable concept
    Set<Set<OWLAxiom>> exp = expGen.getUnsatisfiableExplanations( madCow );
    out.println( "Why is " + madCow + " concept unsatisfiable?" );   
    renderer.render( exp );

    // Now explain why animal lover is a sub class of pet owner
    exp = expGen.getSubClassExplanations( animalLover, petOwner );
    out.println( "Why is " + animalLover + " subclass of " + petOwner + "?" );
    renderer.render( exp );
   
    renderer.endRendering();
  }
View Full Code Here

Examples of com.clarkparsia.owlapi.explanation.PelletExplanation

64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
    // Create the reasoner and load the ontology
    PelletReasoner reasoner = PelletReasonerFactory.getInstance().createReasoner( ontology );

    // Create an explanation generator
    PelletExplanation expGen = new PelletExplanation( reasoner );

    // Create some concepts
    OWLClass madCow = OWL.Class( NS + "mad+cow" );
    OWLClass animalLover = OWL.Class( NS + "animal+lover" );
    OWLClass petOwner = OWL.Class( NS + "pet+owner" );

    // Explain why mad cow is an unsatisfiable concept
    Set<Set<OWLAxiom>> exp = expGen.getUnsatisfiableExplanations( madCow );
    out.println( "Why is " + madCow + " concept unsatisfiable?" );   
    renderer.render( exp );

    // Now explain why animal lover is a sub class of pet owner
    exp = expGen.getSubClassExplanations( animalLover, petOwner );
    out.println( "Why is " + animalLover + " subclass of " + petOwner + "?" );
    renderer.render( exp );
   
    renderer.endRendering();
  }
View Full Code Here

Examples of com.clarkparsia.owlapi.explanation.PelletExplanation

159
160
161
162
163
164
165
166
167
    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

Examples of com.clarkparsia.owlapi.explanation.PelletExplanation

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

Examples of com.clarkparsia.owlapi.explanation.PelletExplanation

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

Examples of com.clarkparsia.owlapi.explanation.PelletExplanation

237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
                    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)
    Set<Set<OWLAxiom>> actual = explain.getUnsatisfiableExplanations(VolcanicMountain, 0);

    Set<OWLAxiom> f = SetUtils.create(axioms[0], axioms[1], axioms[2], axioms[3]);
    Set<OWLAxiom> s = SetUtils.create(axioms[0], axioms[1], axioms[2], axioms[4]);
    @SuppressWarnings("unchecked")
    Set<Set<OWLAxiom>> expected = SetUtils.create(f, s);
View Full Code Here

Examples of com.clarkparsia.owlapi.explanation.PelletExplanation

87
88
89
90
91
92
93
94
95
96
97
98
99
    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>();
    f.add( OWL.classAssertion( i, B ) );
    f.add( OWL.classAssertion( i, A ) );
    f.add( OWL.disjointClasses( A, B ) );
View Full Code Here

Examples of com.clarkparsia.owlapi.explanation.PelletExplanation

120
121
122
123
124
125
126
127
128
    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

Examples of com.clarkparsia.owlapi.explanation.PelletExplanation

138
139
140
141
142
143
144
145
146
    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
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.