Package com.hp.hpl.jena.ontology

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

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
399
400
401
402
403
404
405
406
407
408
409
  @Test
  public void testPropertyChainInvalid() {
    OntModel model = ModelFactory.createOntologyModel( PelletReasonerFactory.THE_SPEC );
    model.read( base + "propertyChainInvalid.owl" );
 
    model.prepare();
 
    KnowledgeBase kb = ((PelletInfGraph) model.getGraph()).getKB();
 
    for( Role r : kb.getRBox().getRoles() ) {
      if( !ATermUtils.isBuiltinProperty( r.getName() ) ) {
View Full Code Here
498
499
500
501
502
503
504
505
506
507
508
    p.addRange( XSD.xboolean );

    C1.addSuperClass( model.createMinCardinalityRestriction( null, p, 2 ) );
    C2.addSuperClass( model.createMinCardinalityRestriction( null, p, 3 ) );

    model.prepare();

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

    assertTrue( !model.contains( C1, RDFS.subClassOf, OWL.Nothing ) );
    assertTrue( model.contains( C2, RDFS.subClassOf, OWL.Nothing ) );
View Full Code Here
526
527
528
529
530
531
532
533
534
535
536
    Literal one = model.createTypedLiteral( Integer.valueOf( 1 ) );
    a.addProperty( dp, one );
    b.addProperty( dp, one );

    model.prepare();

    assertTrue( a.isSameAs( b ) );
    assertIteratorValues( a.listSameAs(), new Resource[] { a, b } );

    assertTrue( b.hasProperty( op, c ) );
View Full Code Here
561
562
563
564
565
566
567
568
569
570
571
    Individual i2 = model.createIndividual( ns + "i2", C );
    i2.addRDFType( D );
    Individual i3 = model.createIndividual( ns + "i3", C );
    i3.addRDFType( E );

    model.prepare();

    assertTrue( i1.isSameAs( i2 ) );
    assertIteratorValues( i1.listSameAs(), new Resource[] { i1, i2 } );

    assertTrue( !i1.isSameAs( i3 ) );
View Full Code Here
598
599
600
601
602
603
604
605
606
607
608
    b.addRDFType( model.createAllValuesFromRestriction( null, dp, XSD.nonPositiveInteger ) );

    Literal one = model.createTypedLiteral( Integer.valueOf( 1 ) );
    c.addProperty( dp, one );

    model.prepare();

    assertTrue( a.isSameAs( b ) );
    assertTrue( b.isSameAs( a ) );
    assertIteratorValues( a.listSameAs(), new Resource[] { a, b } );
    assertIteratorValues( b.listSameAs(), new Resource[] { a, b } );
View Full Code Here
624
625
626
627
628
629
630
631
632
633
634
    Literal one = model.createTypedLiteral( "1", TypeMapper.getInstance().getTypeByName(
        XSD.positiveInteger.getURI() ) );
    a.addProperty( dp, one );

    model.prepare();

    Literal oneDecimal = model.createTypedLiteral( "1", TypeMapper.getInstance().getTypeByName(
        XSD.decimal.getURI() ) );
   
    assertIteratorValues( a.listPropertyValues( dp ), new Literal[] { one } );
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.