Package com.hp.hpl.jena.ontology

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
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
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
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
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
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
166
167
168
169
170
171
172
173
174
175
176
    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 );

    // check consistency
    model.prepare();
View Full Code Here
168
169
170
171
172
173
174
175
176
177
178
    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 );

    // check consistency
    model.prepare();

    // add individual
View Full Code Here
184
185
186
187
188
189
190
191
192
193
194
    // check that the update occurred and that the incremental consistency
    // was used
    assertTrue( graph.getKB().timers.getTimer( "isIncConsistent" ).getCount() > 0 );
    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
View Full Code Here
192
193
194
195
196
197
198
199
200
201
202
    model.prepare();

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

    i4.addRDFType( E );

    // check that the kb is now inconsistent and that incremental
    // consistency was used
    assertFalse( ((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.