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
66
67
68
69
70
71
72
73
74
75
76
    try {
      PelletReasoner unified = PelletReasonerFactory.getInstance().createReasoner( ontology );
      ModuleExtractor moduleExtractor = createModuleExtractor();

      IncrementalClassifier modular = new IncrementalClassifier( unified, moduleExtractor );
      modular.classify();

      // first we only persist classified-but-not-realized classifier
      assertFalse( modular.isRealized() );

      FileOutputStream fos = new FileOutputStream( testFile );
View Full Code Here
65
66
67
68
69
70
71
72
73
74
75
      PelletReasoner unified = PelletReasonerFactory.getInstance().createReasoner( ontology );
      ModuleExtractor moduleExtractor = createModuleExtractor();

      IncrementalClassifier modular = new IncrementalClassifier( unified, moduleExtractor );

      modular.classify();

      FileOutputStream fos = new FileOutputStream( testFile );

      IncrementalClassifierPersistence.save( modular, fos );
View Full Code Here
142
143
144
145
146
147
148
149
150
151
152
      for( OWLAxiom axiomToRemove : axiomsToRemove ) {
        OWL.manager.applyChange( new RemoveAxiom(ontology, axiomToRemove ) );
      }

      // classify (i.e., update)
      modular.classify();   

      // add the axiom back but do not classify (do not cause an update)

      for( OWLAxiom axiomToAdd : axiomsToRemove ) {
        OWL.manager.applyChange( new AddAxiom(ontology, axiomToAdd ) );
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.