Package com.clarkparsia.pellet.owlapiv3

Examples of com.clarkparsia.pellet.owlapiv3.PelletReasoner

805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
  public void testDLSafeConstants() throws OWLOntologyCreationException {
    String ns = "http://owldl.com/ontologies/dl-safe-constants.owl#";

    OWLOntology ont = loadOntology( base + "dl-safe-constants.owl" );

    PelletReasoner reasoner = PelletReasonerFactory.getInstance().createReasoner( ont );

    OWLClass DreamTeamMember = Class( ns + "DreamTeamMember" );
    OWLClass DreamTeamMember1 = Class( ns + "DreamTeamMember1" );
    OWLClass DreamTeamMember2 = Class( ns + "DreamTeamMember2" );

    OWLIndividual Alice = Individual( ns + "Alice" );
    OWLIndividual Bob = Individual( ns + "Bob" );
    OWLIndividual Charlie = Individual( ns + "Charlie" );

    for( int test = 0; test < 1; test++ ) {
      if( test != 0 ) {
              reasoner.prepareReasoner();
            }

      assertIteratorValues( reasoner.getInstances( DreamTeamMember, false ).getFlattened().iterator(),
          new Object[] { Alice, Bob, Charlie } );

      assertIteratorValues( reasoner.getInstances( DreamTeamMember1, false ).getFlattened().iterator(),
          new Object[] { Alice, Bob, Charlie } );

      assertIteratorValues( reasoner.getInstances( DreamTeamMember2, false ).getFlattened().iterator(),
          new Object[] { Alice, Bob, Charlie } );
    }
  }
View Full Code Here
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
    OWLOntology ont = OWL.Ontology( transitive( p1 ),
        classAssertion( x, all( p1, C ) ), propertyAssertion( x, p1, y ),
        propertyAssertion( y, p1, z ) );

    PelletReasoner reasoner = PelletReasonerFactory.getInstance().createReasoner( ont );

    assertTrue( reasoner.isEntailed( classAssertion( y, C ) ) );
    assertTrue( reasoner.isEntailed( classAssertion( z, C ) ) );

    OWLAxiom[] axioms = new OWLAxiom[] {
        functional( p1 ), inverseFunctional( p1 ), irreflexive( p1 ), asymmetric( p1 ),
        disjointProperties( p1, p2 ), subClassOf( C, min( p1, 2 ) ),
        classAssertion( x, max( p1, 3 ) ), disjointClasses( C, min( p1, 2 ) ) };

    for( int i = 0; i < axioms.length; i++ ) {
      addAxioms( ont, axioms[i] );

      reasoner = PelletReasonerFactory.getInstance().createReasoner( ont );
      assertTrue( axioms[i].toString(), reasoner.isEntailed( classAssertion( y, C ) ) );
      assertFalse( axioms[i].toString(), reasoner.isEntailed( classAssertion( z, C ) ) );

      removeAxioms( ont, axioms[i] );
    }
  }
View Full Code Here
873
874
875
876
877
878
879
880
881
882
883
884
885
  @Test
  public void testInvalidTransitivity2() throws OWLOntologyCreationException {
    OWLOntology ont = loadOntology( base + "invalidTransitivity.owl" );

    PelletReasoner reasoner = PelletReasonerFactory.getInstance().createReasoner( ont );

    KnowledgeBase kb = reasoner.getKB();
    kb.prepare();

    for( Role r : kb.getRBox().getRoles() ) {
      if( !ATermUtils.isBuiltinProperty( r.getName() ) ) {
        assertTrue( r.toString(), r.isSimple() );
View Full Code Here
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
    axioms.add( propertyAssertion( a, q, c ) );

    OWLOntology ont = OWL.Ontology( axioms, ontIRI );

    PelletReasoner reasoner = PelletReasonerFactory.getInstance().createReasoner( ont );

    assertEquals( SetUtils.create( a ), reasoner.getSameIndividuals( a ).getEntities() );
    assertEquals( SetUtils.create( b, c ), reasoner.getSameIndividuals( b ).getEntities() );
    assertEquals( SetUtils.create( b, c ), reasoner.getSameIndividuals( c ).getEntities() );

    assertPropertyValues( reasoner, a, p, b, c );
   
    assertPropertyValues( reasoner, a, q, b, c );
   
View Full Code Here
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
    axioms.add( classAssertion( i3, c ) );

    OWLOntology ont = OWL.Ontology( axioms, ontIRI );

    PelletReasoner reasoner = PelletReasonerFactory.getInstance().createReasoner( ont );

    assertTrue( !reasoner.isEntailed( sameAs( i1, i2 ) ) );
    assertTrue( !reasoner.isEntailed( sameAs( i1, i3 ) ) );
    assertEquals( SetUtils.create( i1 ), reasoner.getSameIndividuals( i1 ).getEntities() );

    assertTrue( !reasoner.isEntailed( sameAs( i2, i1 ) ) );
    assertTrue( !reasoner.isEntailed( sameAs( i2, i3 ) ) );
    assertEquals( SetUtils.create( i2 ), reasoner.getSameIndividuals( i2 ).getEntities() );

    assertTrue( !reasoner.isEntailed( sameAs( i3, i1 ) ) );
    assertTrue( !reasoner.isEntailed( sameAs( i3, i2 ) ) );
    assertEquals( SetUtils.create( i3 ), reasoner.getSameIndividuals( i3 ).getEntities() );

  }
View Full Code Here
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
      }
    });
  }
 
  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
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
    modular.dispose();
  }
 
  private static void runComparisonUpdateTest(OWLOntology ontology, ModuleExtractor modExtractor,
      Collection<OWLAxiom> additions, Collection<OWLAxiom> deletions, ReasonerComparisonMethod comparisonMethod) {
    PelletReasoner unified = PelletReasonerFactory.getInstance().createNonBufferingReasoner( ontology );
    IncrementalClassifier modular = PelletIncremantalReasonerFactory.getInstance().createReasoner( ontology, modExtractor );

    PelletOptions.USE_CLASSIFICATION_MONITOR = PelletOptions.MonitorType.CONSOLE;
    modular.classify();

    comparisonMethod.compare( unified, modular );
   
    OntologyUtils.addAxioms( ontology, additions );   
    OntologyUtils.removeAxioms( ontology, deletions );
   
    modular.classify();
    unified.flush();
    unified.getKB().classify();
   
    modular.timers.print();

    comparisonMethod.compare( unified, modular );
   
View Full Code Here
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
    if( log.isLoggable( Level.FINE ) ) {
          log.fine( "Module axioms " + owlModule.getLogicalAxioms() );
        }

    // load the extracted module to a new reasoner
    PelletReasoner moduleReasoner = PelletReasonerFactory.getInstance().createReasoner( owlModule );

    // classify the module
    moduleReasoner.getKB().classify();

    if( log.isLoggable( Level.FINE ) ) {
      log.fine( "Classified module:" );

      new ClassTreePrinter().print( moduleReasoner.getKB().getTaxonomy(), new PrintWriter( System.err ) );
    }

    Taxonomy<OWLClass> moduleTaxonomy = buildClassHierarchy( moduleReasoner );

    Set<OWLClass> affectedCls = new HashSet<OWLClass>();
View Full Code Here
95
96
97
98
99
100
101
102
103
104
105
   
    OWLAPILoader loader = (OWLAPILoader) getLoader( "OWLAPIv3" );
   
    getKB();
   
    PelletReasoner reasoner = loader.getReasoner();
   
    OWLOntology entailmentOntology = null;
    try {
      verbose( "Loading entailment file: " );
      verbose( entailmentFile );
View Full Code Here
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
    OWLSubClassOfAxiom sc = factory.getOWLSubClassOfAxiom(c,
        dataSomeRestriction);

    manager.addAxiom(ontology, sc);
   
    PelletReasoner reasoner = PelletReasonerFactory.getInstance().createReasoner(ontology);

    assertTrue(reasoner.isConsistent());
   
    KnowledgeBase kb = reasoner.getKB();
    assertTrue(kb.isClass(term("http://example#c")));
   
    // check for complex class that refers to a user-defined datatype
    ATermAppl term = reasoner.term( dataSomeRestriction );
    term = ATermUtils.normalize( term );
    assertTrue( kb.isClass( term ) );   
  }
View Full Code Here
TOP

Related Classes of com.clarkparsia.pellet.owlapiv3.PelletReasoner

  • aterm.ATerm
  • aterm.ATermAppl
  • aterm.ATermList
  • com.clarkparsia.explanation.test.MiscExplanationTests
  • com.clarkparsia.explanation.test.OWLAPIExplanationTest
  • com.clarkparsia.modularity.IncrementalClassifier
  • com.clarkparsia.modularity.test.PersistenceClassificationTest
  • com.clarkparsia.modularity.test.PersistenceRealizationTest
  • com.clarkparsia.modularity.test.PersistenceUpdatesTest
  • com.clarkparsia.modularity.test.TestUtils
    • Copyright © 2018 www.massapicom. 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.