Package com.clarkparsia.modularity

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

181
182
183
184
185
186
187
188
189
190
191
   
    try {
      ModuleExtractor moduleExtractor = createModuleExtractor();

      IncrementalClassifier modular = PelletIncremantalReasonerFactory.getInstance().createReasoner( ontology, moduleExtractor );
      modular.classify();

      // first remove a random axiom
      List<OWLAxiom> axiomsToRemove = new ArrayList<OWLAxiom>( TestUtils.selectRandomAxioms( ontology, 1 ) );

      for( OWLAxiom axiomToRemove : axiomsToRemove ) {
View Full Code Here
203
204
205
206
207
208
209
210
211
212
213
      for( OWLAxiom axiomToRemove : axiomsToRemove2 ) {
        OWL.manager.applyChange( new RemoveAxiom(ontology, axiomToRemove ) );
      }

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

      // at this point, the ontology should be updated (despite the changes), and the save should succeed.   
      FileOutputStream fos = new FileOutputStream( testFile );

      IncrementalClassifierPersistence.save( modular, fos );
View Full Code Here
235
236
237
238
239
240
241
242
243
244
245
   
    try {   
      ModuleExtractor moduleExtractor = createModuleExtractor();

      IncrementalClassifier modular = PelletIncremantalReasonerFactory.getInstance().createReasoner( ontology, moduleExtractor );
      modular.classify();

      FileOutputStream fos = new FileOutputStream( testFile );

      IncrementalClassifierPersistence.save( modular, fos );
View Full Code Here
257
258
259
260
261
262
263
264
265
266
267
      for( OWLAxiom axiomToRemove : axiomsToRemove ) {
        OWL.manager.applyChange( new RemoveAxiom( modular.getRootOntology(), axiomToRemove) );
      }

      modular.classify();

      PelletReasoner expected = PelletReasonerFactory.getInstance().createReasoner( modular.getRootOntology() );   

      assertClassificationEquals( expected, modular );
    } finally {
View Full Code Here
282
283
284
285
286
287
288
289
290
291
292
    File testFile = new File( TEST_FILE );
    OWLOntology ontology = OntologyUtils.loadOntology( inputOnt );
   
    try {
      IncrementalClassifier modular = PelletIncremantalReasonerFactory.getInstance().createReasoner( ontology, createModuleExtractor() );   
      modular.classify();

      FileOutputStream fos = new FileOutputStream( testFile );

      IncrementalClassifierPersistence.save( modular, fos );
View Full Code Here
303
304
305
306
307
308
309
310
311
312
313
      for( OWLAxiom axiomToRemove : axiomsToRemove ) {
        OWL.manager.applyChange( new RemoveAxiom(ontology, axiomToRemove ) );
      }

      modular.classify();

      PelletReasoner expected = PelletReasonerFactory.getInstance().createReasoner( ontology );

      assertClassificationEquals( expected, modular );
    } finally {
View Full Code Here
319
320
321
322
323
324
325
326
327
328
329
    File testFile = new File( TEST_FILE );
    OWLOntology ontology = OntologyUtils.loadOntology( inputOnt );
   
    try {
      IncrementalClassifier modular = PelletIncremantalReasonerFactory.getInstance().createReasoner( ontology, createModuleExtractor() );   
      modular.classify();

      FileOutputStream fos = new FileOutputStream( testFile );

      IncrementalClassifierPersistence.save( modular, fos );
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
58
59
60
61
62
63
64
65
66
67
68
  private void testPersistence( OWLOntology ontology ) throws IOException {
    File testFile = new File( TEST_FILE );
    ModuleExtractor moduleExtractor = createModuleExtractor();
   
    IncrementalClassifier modular = PelletIncremantalReasonerFactory.getInstance().createReasoner( ontology, moduleExtractor ); 
    modular.classify();
   
    MultiValueMap<OWLEntity, OWLEntity> expectedModules = modular.getModules();
     
    FileOutputStream fos = new FileOutputStream( testFile );
 
View Full Code Here
49
50
51
52
53
54
55
56
57
58
59
  public void addNonLocal() throws OWLException {
    OWLAxiom[] axioms = { subClassOf( A, B ), subClassOf( C, 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
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.