Package com.hp.hpl.jena.ontology

Examples of com.hp.hpl.jena.ontology.OntModel.prepare()

641
642
643
644
645
646
647
648
649
650
651
    OntModel model = ModelFactory.createOntologyModel( PelletReasonerFactory.THE_SPEC );

    model.read( base + "ClosedUniverse.owl" );

    model.prepare();

    // OntClass Sat = model.getOntClass( ns + "Sat" );
    OntClass Unsat = model.getOntClass( ns + "Unsat" );

    // assertTrue( !Sat.hasSuperClass( OWL.Nothing ) );
View Full Code Here
659
660
661
662
663
664
665
666
667
668
669
  public void deprecatedSelfRestrictionSyntax() {
    String ns = "http://www.example.org/test#";

    OntModel model = ModelFactory.createOntologyModel( PelletReasonerFactory.THE_SPEC );
    model.read( base + "/deprecatedSelf.owl" );
    model.prepare();
    assertTrue( ((PelletInfGraph) model.getGraph()).getKB().isConsistent() );

    Property knows = model.getProperty( ns + "knows" );
    Individual p1 = model.getIndividual( ns + "P1" );
    Individual p2 = model.getIndividual( ns + "P2" );
View Full Code Here
680
681
682
683
684
685
686
687
688
689
690
  public void entityDeclarations() {
    String ns = "http://www.example.org/test#";

    OntModel model = ModelFactory.createOntologyModel( PelletReasonerFactory.THE_SPEC );
    model.read( base + "/entityDeclarations.owl" );
    model.prepare();

    KnowledgeBase kb = ((PelletInfGraph) model.getGraph()).getKB();
    assertTrue( kb.isConsistent() );

    assertTrue( kb.isIndividual( ATermUtils.makeTermAppl( ns + "a" ) ) );
View Full Code Here
727
728
729
730
731
732
733
734
735
736
737
    int n = solution.length();

    Individual T = model.getIndividual( ns + "T" );
    Individual F = model.getIndividual( ns + "F" );

    model.prepare();

    assertTrue( ((PelletInfGraph) model.getGraph()).getKB().isConsistent() );

    Individual[] positives = new Individual[n + 1];
    Individual[] negatives = new Individual[n + 1];
View Full Code Here
1461
1462
1463
1464
1465
1466
1467
1468
1469
1470
1471
  @Test
  public void testTransitive2() {
    OntModel model = ModelFactory.createOntologyModel( PelletReasonerFactory.THE_SPEC );
    model.read( base + "cyclic_transitive.owl" );

    model.prepare();

    String ns = "http://www.example.org/test#";

    OntClass Probe = model.getOntClass( ns + "Probe" );
    Individual Instance1 = model.getIndividual( ns + "Instance1" );
View Full Code Here
1614
1615
1616
1617
1618
1619
1620
1621
1622
1623
1624
    OntClass MyFavoriteColors = model.getOntClass( ns + "MyFavoriteColors" );

    OntClass HasFourPrimaryColors = model.getOntClass( ns + "HasFourPrimaryColors" );

    model.prepare();

    assertTrue( model.contains( red, RDF.type, MyFavoriteColors ) );

    assertTrue( model.contains( HasFourPrimaryColors, RDFS.subClassOf, OWL.Nothing ) );
View Full Code Here
1688
1689
1690
1691
1692
1693
1694
1695
1696
1697
1698
    OntClass C = model.createClass( ns + "C" );
    C.addSuperClass( model.createCardinalityRestriction( null, prop, 2 ) );
    Individual x = model.createIndividual( ns + "x", C );
    x.addProperty( prop, "literal" );

    model.prepare();

    assertTrue( ((PelletInfGraph) model.getGraph()).isConsistent() );
  }

  @Test
View Full Code Here
2076
2077
2078
2079
2080
2081
2082
2083
2084
2085
2086
    Individual daughter = model.getIndividual( ns + "daughter" );
    Individual personX = model.getIndividual( ns + "personX" );
    Individual personY = model.getIndividual( ns + "personY" );
    Individual personZ = model.getIndividual( ns + "personZ" );

    model.prepare();

    KnowledgeBase kb = ((PelletInfGraph) model.getGraph()).getKB();

    for( int test = 0; test < 2; test++ ) {
      if( test != 0 ) {
View Full Code Here
2220
2221
2222
2223
2224
2225
2226
2227
2228
2229
2230
    Individual Cain = model.getIndividual( ns + "Cain" );
    Individual Oedipus = model.getIndividual( ns + "Oedipus" );
    Individual Remus = model.getIndividual( ns + "Remus" );
    Individual Romulus = model.getIndividual( ns + "Romulus" );

    model.prepare();

    KnowledgeBase kb = ((PelletInfGraph) model.getGraph()).getKB();

    for( int test = 0; test < 1; test++ ) {
      if( test != 0 ) {
View Full Code Here
2272
2273
2274
2275
2276
2277
2278
2279
2280
2281
2282
    Individual Alice = model.getIndividual( ns + "Alice" );
    Individual Bob = model.getIndividual( ns + "Bob" );
    Individual Charlie = model.getIndividual( ns + "Charlie" );

    model.prepare();

    KnowledgeBase kb = ((PelletInfGraph) model.getGraph()).getKB();

    for( int test = 0; test < 1; test++ ) {
      if( test != 0 ) {
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.