Package com.clarkparsia.pellet.owlapiv3

Examples of com.clarkparsia.pellet.owlapiv3.AxiomConverter

1282
1283
1284
1285
1286
1287
1288
1289
1290
1291
1292
    OWLAxiom[] axioms = {
        OWL.subClassOf( C, D ),
        OWL.classAssertion( anon, C ) };
   
    OWLOntology ont = OWL.Ontology( axioms );
    PelletReasoner pellet = PelletReasonerFactory.getInstance().createReasoner( ont );

    assertTrue( pellet.getInstances( D, true ).getNodes().size() == 0 );

    assertTrue( pellet.getInstances( D, false ).getNodes().size() == 1 );
  }
View Full Code Here
1296
1297
1298
1299
1300
1301
1302
1303
1304
1305
    OWLAxiom[] axioms = {
        OWL.subClassOf( E, D ),
        OWL.subClassOf( D, C ) };
   
    OWLOntology ont = OWL.Ontology( axioms );
    PelletReasoner pellet = PelletReasonerFactory.getInstance().createReasoner( ont );

    assertTrue( pellet.getSubClasses( C, true ).getNodes().size() == 1 );   
    assertTrue( pellet.getSubClasses( C, false ).getNodes().size() == 3 ); // includes owl:Nothing
  }
View Full Code Here
1314
1315
1316
1317
1318
1319
1320
1321
1322
        OWL.differentFrom( a, c )
    };
   
    OWLOntology ont = OWL.Ontology( axioms );
    OWLReasonerConfiguration config = new SimpleConfiguration( new NullReasonerProgressMonitor(), FreshEntityPolicy.ALLOW, Long.MAX_VALUE, p );
    PelletReasoner pellet = PelletReasonerFactory.getInstance().createReasoner( ont, config );
   
    return pellet;
  }
View Full Code Here
1321
1322
1323
1324
1325
1326
1327
1328
1329
1330
    return pellet;
  }
 
  @Test
  public void testIndividualNodeSetPolicyBySameAs() {
    PelletReasoner pellet = setupReasonerIndividualNodeSetPolicy(IndividualNodeSetPolicy.BY_SAME_AS);
   
    assertTrue( pellet.getInstances( C, true ).getNodes().size() == 2 );   
    assertTrue( pellet.getDifferentIndividuals( c ).getNodes().size() == 1 );
  }
View Full Code Here
1329
1330
1331
1332
1333
1334
1335
1336
1337
1338
    assertTrue( pellet.getDifferentIndividuals( c ).getNodes().size() == 1 );
  }
 
  @Test
  public void testIndividualNodeSetPolicyByName() {
    PelletReasoner pellet = setupReasonerIndividualNodeSetPolicy(IndividualNodeSetPolicy.BY_NAME);
   
    assertTrue( pellet.getInstances( C, true ).getNodes().size() == 3 );   
    assertTrue( pellet.getDifferentIndividuals( c ).getNodes().size() == 2 );
  }
View Full Code Here
1345
1346
1347
1348
1349
1350
1351
1352
1353
1354
        OWL.propertyAssertion( a, OWL.bottomObjectProperty, b ),
        OWL.propertyAssertion( a, OWL.bottomDataProperty, lit ) };
   
    for( int i = 0; i < axioms.length; i++ ) {
      OWLOntology ont = OWL.Ontology( axioms[i] );
      PelletReasoner pellet = PelletReasonerFactory.getInstance().createReasoner( ont );

      assertEquals( i < 2, pellet.isConsistent() );
    }
  }
View Full Code Here
1407
1408
1409
1410
1411
1412
1413
1414
1415
1416
1417
1418
1419
   
    String ns = "http://www.integratedmodelling.org/ks/tarassandbox/set-theory.owl#";

    OWLOntology ont = loadOntology( base + "set-theory.owl" );

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

    reasoner.getKB().classify();
   
    assertEquals( SetUtils.create( OWL.Class( ns + "SetOfXSets" ), OWL.Class( ns + "XSet" ),
        OWL.Class( ns + "XThing" ) ), reasoner.getSubClasses(
        OWL.Class( ns + "XSetTheoryClass" ), true ).getFlattened() );
  }
View Full Code Here
1577
1578
1579
1580
1581
1582
1583
1584
1585
 
  @Test
  public void test454() {   
    OWLOntology ont = loadOntology( base + "ticket-454-test-case.owl" );

    PelletReasoner reasoner = PelletReasonerFactory.getInstance().createReasoner( ont );
   
    assertFalse(reasoner.isConsistent());
  }
View Full Code Here
1586
1587
1588
1589
1590
1591
1592
1593
1594
 
  @Test
  public void test456() {   
    OWLOntology ont = loadOntology( base + "ticket-456-test-case.owl" );

    PelletReasoner reasoner = PelletReasonerFactory.getInstance().createReasoner( ont );
   
    assertTrue(reasoner.isConsistent());
  }
View Full Code Here
1691
1692
1693
1694
1695
1696
1697
1698
1699
1700
1701
1702
1703
1704
1705
  public void testComplementRemoval() throws OWLException {
    String ns = "http://test#";

    OWLOntology ont = loadOntology( MiscTests.base + "ticket539.ofn" );

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

    assertFalse(reasoner.isConsistent());

    OWL.manager.removeAxiom(ont, OWL.subClassOf(OWL.Class(ns+"a_GROUP"), OWL.Class(ns+"a_TEMPORALTHING")));   
    assertFalse(reasoner.isConsistent());
   
    OWL.manager.removeAxiom(ont, OWL.subClassOf(OWL.Class(ns+"a_INDIVIDUAL"), OWL.not(OWL.Class(ns+"a_SETORCOLLECTION"))));
    assertFalse(reasoner.isConsistent());
  }
View Full Code Here
TOP

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

  • aterm.ATerm
  • aterm.ATermAppl
  • aterm.ATermList
  • com.clarkparsia.explanation.test.MiscExplanationTests
  • com.clarkparsia.explanation.test.OWLAPIExplanationTest
  • com.clarkparsia.modularity.test.PersistenceRealizationTest
  • com.clarkparsia.modularity.test.PersistenceUpdatesTest
  • com.clarkparsia.modularity.test.TestUtils
  • com.clarkparsia.owlapi.explanation.GlassBoxExplanation
  • com.clarkparsia.owlapi.explanation.PelletExplanation
    • 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.