01 package examples;
02
03 import dlejena.DLEJenaReasoner;
04 import java.io.File;
05 import java.net.URI;
06
07 /**
08 * This example shows the behavior of DLEJena on TBox
09 * inconsistencies.
10 *
11 * @author Georgios Meditskos <gmeditsk@csd.auth.gr>
12 */
13 public class TBoxInconsistency {
14
15 public static void main(String[] args) {
16
17
18 /*
19 * The physical URI (local path or Web address) of the ontology.
20 */
21 URI ontology = new File("src/examples/unsatisfiableTbox.owl").toURI();
22
23 /*
24 * Define an instance of the DLEJenaReasoner class.
25 * This class provides the necessary nethods for
26 * using the DLEJena library
27 */
28 DLEJenaReasoner dle = new DLEJenaReasoner();
29
30 /*
31 * Register the ontology to the reasoner.
32 */
33 dle.register(ontology);
34
35 /*
36 * Initiate the reasoner. This phase involves the
37 * separation of the TBox from ABox axioms (using the OWLAPI),
38 * the TBox reasoning procedure (using Pellet), the generation of the
39 * dynamic entailments and the ABox reasoning procedure (using
40 * the forwardRete rule engine of Jena).
41 */
42 dle.initialize();
43
44 /*
45 * A Runtime exception is thrown informing about the unsatisfiable concept.
46 * In this example, the ontology defines the class Man to be a subclass and
47 * disjoint class to the class Human. Therefore, the Man concept is unsatisfiable.
48 */
49
50 }
51 }
|