Package com.hp.hpl.jena.ontology

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

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
1051
1052
1053
1054
1055
1056
1057
1058
1059
1060
1061
    a.addProperty( p, b );

    d.addRDFType( model.createAllValuesFromRestriction( null, p, OWL.Nothing ) );

    model.prepare();

    assertIteratorValues( a.listDifferentFrom(), new Resource[] { c, d } );

    assertIteratorValues( model.listSubjectsWithProperty( OWL.differentFrom, a ),
        new Resource[] { c, d } );
View Full Code Here
1086
1087
1088
1089
1090
1091
1092
1093
1094
1095
1096
    c.addSameAs( b );

    a.addProperty( q, c );

    model.prepare();

    assertIteratorValues( a.listPropertyValues( p ), new Resource[] { b, c } );

    assertIteratorValues( a.listPropertyValues( q ), new Resource[] { b, c } );
View Full Code Here
1254
1255
1256
1257
1258
1259
1260
1261
1262
1263
1264
  public void testInfiniteChain() {
    OntModel model = ModelFactory.createOntologyModel( PelletReasonerFactory.THE_SPEC );
    model.setStrictMode( false );
    model.read( base + "infiniteChain.owl" );

    model.prepare();

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

    String ns = "http://www.example.org/test#";
    Property prop = model.getBaseModel().getProperty( ns + "ssn" );
View Full Code Here
1298
1299
1300
1301
1302
1303
1304
1305
1306
1307
1308
    OntProperty hasParent = model.getObjectProperty( ns + "hasParent" );
    OntProperty hasFather = model.getObjectProperty( ns + "hasFather" );
    OntProperty hasMother = model.getObjectProperty( ns + "hasMother" );
    OntProperty topObjProp = model.getObjectProperty( OWL2.topObjectProperty.getURI() );

    model.prepare();

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

    assertIteratorValues( model.listObjectsOfProperty( Bob, hasParent ), new Resource[] {
        Mom, Dad } );
View Full Code Here
1344
1345
1346
1347
1348
1349
1350
1351
1352
1353
1354
    OntClass Team = model.getOntClass( ns + "Team" );
    OntClass MixedTeam = model.getOntClass( ns + "MixedTeam" );
    OntClass NonSingletonTeam = model.getOntClass( ns + "NonSingletonTeam" );
    OntClass SingletonTeam = model.getOntClass( ns + "SingletonTeam" );

    model.prepare();

    assertTrue( Sam.isDifferentFrom( Chris ) );
    assertTrue( Chris.isDifferentFrom( Sam ) );

    assertTrue( MixedTeam.hasSuperClass( Team ) );
View Full Code Here
1419
1420
1421
1422
1423
1424
1425
1426
1427
1428
1429
  @Test
  public void testTransitive1() {
    OntModel model = ModelFactory.createOntologyModel( PelletReasonerFactory.THE_SPEC );
    model.read( base + "agencies.owl" );

    model.prepare();

    String ns = "http://www.owl-ontologies.com/unnamed.owl#";
    Individual Forest_Service = model.getIndividual( ns + "Forest_Service" );
    ObjectProperty comprises = model.getObjectProperty( ns + "comprises" );
    Individual Executive = model.getIndividual( ns + "Executive" );
View Full Code Here
187
188
189
190
191
192
193
194
195
196
197
    assertIteratorValues( model.listIndividuals(), new Resource[] { i1, i2, i3, i4 } );

    i4.addRDFType( model.createCardinalityRestriction( null, p, 1 ) );
    graph.getKB().timers.getTimer( "isIncConsistent" ).reset();

    model.prepare();

    // check that incremental consistency was not used
    assertTrue( graph.getKB().timers.getTimer( "isIncConsistent" ).getCount() == 0 );

    i4.addRDFType( E );
View Full Code Here
203
204
205
206
207
208
209
210
211
212
213
    i4.removeRDFType( E );

    graph.getKB().timers.getTimer( "isIncConsistent" ).reset();

    model.prepare();

    // check that the kb is now inconsistent and that incremental
    // consistency was used
    assertTrue( ((PelletInfGraph) model.getGraph()).isConsistent() );
    assertTrue( graph.getKB().timers.getTimer( "isIncConsistent" ).getCount() == 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.