Examples of addRDFType()

Examples of com.hp.hpl.jena.ontology.Individual.addRDFType()

2373
2374
2375
2376
2377
2378
2379
2380
2381
2382
2383
        .createList( new OntClass[] { notA, B } ) );

    Individual x = model.createIndividual( ns + "x", OWL.Thing );
    x.addRDFType( AorB );
    x.addRDFType( AorNotB );
    x.addRDFType( notAorB );

    assertTrue( x.hasRDFType( A ) );
    assertTrue( x.hasRDFType( B ) );
  }
View Full Code Here

Examples of com.hp.hpl.jena.ontology.Individual.addRDFType()

2371
2372
2373
2374
2375
2376
2377
2378
2379
2380
2381
        .createList( new OntClass[] { A, notB } ) );
    OntClass notAorB = model.createUnionClass( null, model
        .createList( new OntClass[] { notA, B } ) );

    Individual x = model.createIndividual( ns + "x", OWL.Thing );
    x.addRDFType( AorB );
    x.addRDFType( AorNotB );
    x.addRDFType( notAorB );

    assertTrue( x.hasRDFType( A ) );
    assertTrue( x.hasRDFType( B ) );
View Full Code Here

Examples of com.hp.hpl.jena.ontology.Individual.addRDFType()

2372
2373
2374
2375
2376
2377
2378
2379
2380
2381
2382
    OntClass notAorB = model.createUnionClass( null, model
        .createList( new OntClass[] { notA, B } ) );

    Individual x = model.createIndividual( ns + "x", OWL.Thing );
    x.addRDFType( AorB );
    x.addRDFType( AorNotB );
    x.addRDFType( notAorB );

    assertTrue( x.hasRDFType( A ) );
    assertTrue( x.hasRDFType( B ) );
  }
View Full Code Here

Examples of com.hp.hpl.jena.ontology.Individual.addRDFType()

2373
2374
2375
2376
2377
2378
2379
2380
2381
2382
2383
        .createList( new OntClass[] { notA, B } ) );

    Individual x = model.createIndividual( ns + "x", OWL.Thing );
    x.addRDFType( AorB );
    x.addRDFType( AorNotB );
    x.addRDFType( notAorB );

    assertTrue( x.hasRDFType( A ) );
    assertTrue( x.hasRDFType( B ) );
  }
View Full Code Here

Examples of com.hp.hpl.jena.ontology.Individual.addRDFType()

555
556
557
558
559
560
561
562
563
564
565
    OntClass D = model.createClass( ns + "D" );
    OntClass E = model.createClass( ns + "E" );
    D.addDisjointWith( E );

    Individual i1 = model.createIndividual( ns + "i1", C );
    i1.addRDFType( D );
    Individual i2 = model.createIndividual( ns + "i2", C );
    i2.addRDFType( D );
    Individual i3 = model.createIndividual( ns + "i3", C );
    i3.addRDFType( E );
View Full Code Here

Examples of com.hp.hpl.jena.ontology.Individual.addRDFType()

557
558
559
560
561
562
563
564
565
566
567
    D.addDisjointWith( E );

    Individual i1 = model.createIndividual( ns + "i1", C );
    i1.addRDFType( D );
    Individual i2 = model.createIndividual( ns + "i2", C );
    i2.addRDFType( D );
    Individual i3 = model.createIndividual( ns + "i3", C );
    i3.addRDFType( E );

    model.prepare();
View Full Code Here

Examples of com.hp.hpl.jena.ontology.Individual.addRDFType()

559
560
561
562
563
564
565
566
567
568
569
    Individual i1 = model.createIndividual( ns + "i1", C );
    i1.addRDFType( D );
    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 } );
View Full Code Here

Examples of com.hp.hpl.jena.ontology.Individual.addRDFType()

1049
1050
1051
1052
1053
1054
1055
1056
1057
1058
1059
    C.addDisjointWith( D );

    a.addProperty( p, b );

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

    model.prepare();

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

Examples of com.hp.hpl.jena.ontology.Individual.addRDFType()

136
137
138
139
140
141
142
143
144
145
146
    // check that the update occurred and that the incremental consistency
    // was used
    assertTrue( graph.getKB().timers.getTimer( "isIncConsistent" ) == null );
    assertIteratorValues( model.listIndividuals(), new Resource[] { i1, i2, i3, i4 } );

    i4.addRDFType( C );
    model.prepare();
    assertTrue( !PelletOptions.USE_INCREMENTAL_CONSISTENCY || graph.getKB().timers.getTimer( "isIncConsistent" ).getCount() == 1 );
  }

  @Ignore("This test is know to fail when the processing order of disjoint axiom changes.")
View Full Code Here

Examples of com.hp.hpl.jena.ontology.Individual.addRDFType()

164
165
166
167
168
169
170
171
172
173
174
    RDFList conj = model.createList( new RDFNode[] { D, C } );
    OntClass CONJ = model.createIntersectionClass( null, conj );

    Individual i1 = model.createIndividual( ns + "i1", C );
    i1.addRDFType( D );
    Individual i2 = model.createIndividual( ns + "i2", C );
    i2.addRDFType( D );
    Individual i3 = model.createIndividual( ns + "i3", C );
    i3.addRDFType( E );
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.