Package com.clarkparsia.modularity

Examples of com.clarkparsia.modularity.IncrementalClassifier.classify()

57
58
59
60
61
62
63
64
65
66
67
    assertFalse( modular.isEntailed( subClassOf( B, C ) ) );
    assertTrue( modular.isEntailed( subClassOf( C, D ) ) );

    OntologyUtils.addAxioms( ontology, Arrays.asList( equivalentClasses( D, all( p, D ) ),
        subClassOf( B, C ) ) );
    modular.classify();
    assertTrue( modular.isEntailed( subClassOf( A, B ) ) );
    assertTrue( modular.isEntailed( subClassOf( B, C ) ) );
    assertTrue( modular.isEntailed( subClassOf( C, D ) ) );

    OntologyUtils.removeAxioms( ontology, Arrays.asList( subClassOf( A, B ) ) );
View Full Code Here
63
64
65
66
67
68
69
70
71
72
73
    assertTrue( modular.isEntailed( subClassOf( A, B ) ) );
    assertTrue( modular.isEntailed( subClassOf( B, C ) ) );
    assertTrue( modular.isEntailed( subClassOf( C, D ) ) );

    OntologyUtils.removeAxioms( ontology, Arrays.asList( subClassOf( A, B ) ) );
    modular.classify();
    assertFalse( modular.isEntailed( subClassOf( A, B ) ) );
    assertTrue( modular.isEntailed( subClassOf( B, C ) ) );
    assertTrue( modular.isEntailed( subClassOf( D, D ) ) );

    modular.dispose();
View Full Code Here
78
79
80
81
82
83
84
85
86
87
88
  public void deleteNonLocal() throws OWLException {
    OWLAxiom[] axioms = { subClassOf( A, B ), subClassOf( C, D ), equivalentClasses( D, all( p, D ) ) };
    createOntology( axioms );

    IncrementalClassifier modular = PelletIncremantalReasonerFactory.getInstance().createReasoner( ontology );
    modular.classify();
   
    assertTrue( modular.isEntailed( subClassOf( A, B ) ) );
    assertFalse( modular.isEntailed( subClassOf( B, C ) ) );
    assertTrue( modular.isEntailed( subClassOf( C, D ) ) );
View Full Code Here
86
87
88
89
90
91
92
93
94
95
96
    assertFalse( modular.isEntailed( subClassOf( B, C ) ) );
    assertTrue( modular.isEntailed( subClassOf( C, D ) ) );

    OntologyUtils.removeAxioms( ontology, Arrays.asList( equivalentClasses( D, all( p, D ) ) ) );
    OntologyUtils.addAxioms( ontology, Arrays.asList( subClassOf( B, C ) ) );
    modular.classify();
    assertTrue( modular.isEntailed( subClassOf( A, B ) ) );
    assertTrue( modular.isEntailed( subClassOf( B, C ) ) );
    assertTrue( modular.isEntailed( subClassOf( C, D ) ) );

    OntologyUtils.removeAxioms( ontology, Arrays.asList( subClassOf( A, B ) ) );
View Full Code Here
92
93
94
95
96
97
98
99
100
101
102
    assertTrue( modular.isEntailed( subClassOf( A, B ) ) );
    assertTrue( modular.isEntailed( subClassOf( B, C ) ) );
    assertTrue( modular.isEntailed( subClassOf( C, D ) ) );

    OntologyUtils.removeAxioms( ontology, Arrays.asList( subClassOf( A, B ) ) );
    modular.classify();
    assertFalse( modular.isEntailed( subClassOf( A, B ) ) );
    assertTrue( modular.isEntailed( subClassOf( B, C ) ) );
    assertTrue( modular.isEntailed( subClassOf( D, D ) ) );

    modular.dispose();
View Full Code Here
106
107
108
109
110
111
112
113
114
115
116
  public void testDeferredClassification() {
    OWLAxiom[] axioms = { subClassOf( A, B ), subClassOf( C, D ) };
    createOntology( axioms );

    IncrementalClassifier modular = PelletIncremantalReasonerFactory.getInstance().createReasoner( ontology );
    modular.classify();
   
    assertTrue(modular.isClassified());
   
    assertEquals(Collections.emptySet(), modular.getTypes(a, false).getFlattened());
   
View Full Code Here
134
135
136
137
138
139
140
141
142
143
144
    // the classifier should no longer be in classified state
    assertFalse(modular.isClassified());
    assertFalse(modular.isRealized());
   
    // force classification
    modular.classify();
   
    // check whether the classifier returned to the classified state
    assertTrue(modular.isClassified());
   
    assertEquals(SetUtils.create(A, B, C, D, OWL.Thing), modular.getTypes(a, false).getFlattened());
View Full Code Here
149
150
151
152
153
154
155
156
157
158
159
    IncrementalClassifier classifier = new IncrementalClassifier( ont );
   
    try {
          // force classification
          classifier.classify();
          // force realization
          OWLNamedIndividual ind1 = Individual(ns + "ind1");
          classifier.getTypes(ind1, true);
          testOWL2Reasoner(ns, classifier);
        }
View Full Code Here
499
500
501
502
503
504
505
506
507
508
509
    IncrementalClassifier classifier = new IncrementalClassifier( ont );
   
    try {
          // force classification
          classifier.classify();
         
          testFamily( ns, classifier );
         
          // force realization
          OWLNamedIndividual ind1 = Individual( ns + "ind1" );
View Full Code Here
313
314
315
316
317
318
319
320
321
322
323
  private static void runComparisonTest(OWLOntology ontology, ModuleExtractor modExtractor, ReasonerComparisonMethod comparisonMethod) {
    PelletReasoner unified = PelletReasonerFactory.getInstance().createNonBufferingReasoner( ontology );
    IncrementalClassifier modular = PelletIncremantalReasonerFactory.getInstance().createReasoner( ontology, modExtractor );
   
    PelletOptions.USE_CLASSIFICATION_MONITOR = PelletOptions.MonitorType.CONSOLE;
    modular.classify();
    unified.getKB().classify();
   
    comparisonMethod.compare( unified, modular );
   
    modular.dispose();
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.