Package com.hp.hpl.jena.ontology

Examples of com.hp.hpl.jena.ontology.ObjectProperty

788
789
790
791
792
793
794
795
796
797
798
  public void testListStatementsDifferentFrom() {
    String ns = "http://www.example.org/test#";

    OntModel ont = ModelFactory.createOntologyModel( PelletReasonerFactory.THE_SPEC, null );

    ObjectProperty p = ont.createInverseFunctionalProperty( ns + "p1", /*
                                       * functional
                                       * =
                                       */true );

    Individual s1 = ont.createIndividual( ns + "s1", OWL.Thing );
View Full Code Here
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
 
    OntClass C = model.getOntClass( ns + "C" );
    OntClass S0 = model.getOntClass( ns + "S0" );
    OntClass R0 = model.getOntClass( ns + "R0" );
    OntClass R1 = model.getOntClass( ns + "R1" );
    ObjectProperty r = model.getObjectProperty( ns + "r" );
    ObjectProperty s = model.getObjectProperty( ns + "s" );
 
    int n = 17;
    Resource[] a = new Resource[n];
    for( int i = 0; i < n; i++ ) {
      a[i] = model.getResource( ns + "a" + i );
    }
 
    Resource[] theList = new Resource[] {
        a[1], a[2], a[3], a[4], a[5], a[6], a[8], a[10], a[12], a[14], a[16] };
 
    assertTrue( r.isTransitiveProperty() );
    assertFalse( s.isTransitiveProperty() );
 
    assertIteratorValues( C.listInstances(), theList );
 
    assertIteratorValues( S0.listInstances(), theList );
 
View Full Code Here
419
420
421
422
423
424
425
426
427
428
429
430
    String ns = "http://www.example.org/test#";
 
    OntModel model = ModelFactory.createOntologyModel( PelletReasonerFactory.THE_SPEC );
    model.read( base + "propertyChainInverses.owl" );
 
    ObjectProperty p = model.getObjectProperty( ns + "p" );
    ObjectProperty q = model.getObjectProperty( ns + "q" );
 
    int n = 8;
    Resource[] a = new Resource[n];
    for( int i = 0; i < n; i++ ) {
      a[i] = model.getResource( ns + "a" + i );
View Full Code Here
450
451
452
453
454
455
456
457
458
459
460
    String ns = "http://www.example.org/test#";
 
    OntModel model = ModelFactory.createOntologyModel( PelletReasonerFactory.THE_SPEC );
    model.read( base + "propertyChainValid.owl" );
 
    ObjectProperty r = model.getObjectProperty( ns + "r" );
 
    int n = 6;
    Resource[] a = new Resource[n];
    for( int i = 0; i < n; i++ ) {
      a[i] = model.getResource( ns + "a" + i );
View Full Code Here
88
89
90
91
92
93
94
95
96
97
98
99
  @Test
  public void testIncrementalABoxAddition() throws MalformedURLException {
    OntModel model = ModelFactory.createOntologyModel( PelletReasonerFactory.THE_SPEC, null );

    ObjectProperty p = model.createObjectProperty( "p" );
    ObjectProperty t = model.createObjectProperty( "t" );
    DatatypeProperty q = model.createDatatypeProperty( "q" );
    AnnotationProperty r = model.createAnnotationProperty( "r" );

    Individual a = model.createIndividual( "a", OWL.Thing );
    Individual b = model.createIndividual( "b", OWL.Thing );
View Full Code Here
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
  public void testInverse() {
    String ns = "http://www.example.org/test#";

    OntModel ont = ModelFactory.createOntologyModel( PelletReasonerFactory.THE_SPEC, null );

    ObjectProperty p1 = ont.createObjectProperty( ns + "p1" );
    ObjectProperty p2 = ont.createObjectProperty( ns + "p2" );
    ObjectProperty p3 = ont.createObjectProperty( ns + "p3" );

    p2.addSubProperty( p1 );
    p2.addInverseOf( p3 );

    Individual s1 = ont.createIndividual( ns + "s1", OWL.Thing );
    Individual o1 = ont.createIndividual( ns + "o1", OWL.Thing );
    Individual s2 = ont.createIndividual( ns + "s2", OWL.Thing );
    Individual o2 = ont.createIndividual( ns + "o2", OWL.Thing );
    Individual s3 = ont.createIndividual( ns + "s3", OWL.Thing );
    Individual o3 = ont.createIndividual( ns + "o3", OWL.Thing );

    s1.addProperty( p1, o1 );
    s2.addProperty( p2, o2 );
    s3.addProperty( p3, o3 );

    Statement stmt = ont.createStatement( o1, p3, s1 );
    assertIteratorContains( o1.listPropertyValues( p3 ), s1 );
    assertTrue( ont.contains( stmt ) );
    assertIteratorContains( ont.listStatements( null, p3, (RDFNode) null ), stmt );
    assertIteratorContains( ont.listStatements( o1, null, (RDFNode) null ), stmt );
    assertIteratorContains( ont.listStatements(), stmt );
    assertFalse( ont.contains( o3, p1, s3 ) );

    assertTrue( p2.isInverseOf( p3 ) );
    assertIteratorValues( p2.listInverseOf(), new Property[] { p3 } );
    assertTrue( p3.isInverseOf( p2 ) );
    assertIteratorValues( p3.listInverseOf(), new Property[] { p2 } );
  }
View Full Code Here
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
    Individual ind6 = model.getIndividual( ns + "ind6" );
    Individual ind7 = model.getIndividual( ns + "ind7" );
    Individual ind8 = model.getIndividual( ns + "ind8" );

    DatatypeProperty dp = model.getDatatypeProperty( ns + "dp" );
    ObjectProperty p = model.getObjectProperty( ns + "p" );
    ObjectProperty r = model.getObjectProperty( ns + "r" );
    ObjectProperty invR = model.getObjectProperty( ns + "invR" );
    ObjectProperty ir = model.getObjectProperty( ns + "ir" );
    ObjectProperty as = model.getObjectProperty( ns + "as" );
    ObjectProperty d1 = model.getObjectProperty( ns + "d1" );
    ObjectProperty d2 = model.getObjectProperty( ns + "d2" );

    model.prepare();

    assertTrue( r.hasRDFType( OWL2.ReflexiveProperty ) );
    assertTrue( invR.hasRDFType( OWL2.ReflexiveProperty ) );
View Full Code Here
294
295
296
297
298
299
300
301
302
303
304
305
306
307
  public void testInvalidTransitivity() {
    OntModel ont = ModelFactory.createOntologyModel( OntModelSpec.OWL_MEM );

    OntClass C = ont.createClass( "C" );

    ObjectProperty p1 = ont.createObjectProperty( "p1" );
    p1.addRDFType( OWL.TransitiveProperty );

    ObjectProperty p2 = ont.createObjectProperty( "p2" );

    Individual x = ont.createIndividual( OWL.Thing );
    Individual y = ont.createIndividual( OWL.Thing );
    Individual z = ont.createIndividual( OWL.Thing );
View Full Code Here
344
345
346
347
348
349
350
351
352
353
354
355
  public void testInvalidComplexSubRole() {
    OntModel ont = ModelFactory.createOntologyModel( OntModelSpec.OWL_MEM );

    OntClass C = ont.createClass( "C" );

    ObjectProperty p1 = ont.createObjectProperty( "p1" );
    ObjectProperty p2 = ont.createObjectProperty( "p2" );

    RDFList pChain = ont.createList( new RDFNode[] { p1, p2 } );
    ont.add( p1, OWL2.propertyChainAxiom, pChain );

    Individual x = ont.createIndividual( OWL.Thing );
View Full Code Here
516
517
518
519
520
521
522
523
524
525
526
    Individual a = model.createIndividual( ns + "a", OWL.Thing );
    Individual b = model.createIndividual( ns + "b", OWL.Thing );
    Individual c = model.createIndividual( ns + "c", OWL.Thing );

    ObjectProperty op = model.createObjectProperty( ns + "op" );
    DatatypeProperty dp = model.createDatatypeProperty( ns + "dp" );
    dp.convertToInverseFunctionalProperty();

    a.addProperty( op, c );
View Full Code Here
TOP

Related Classes of com.hp.hpl.jena.ontology.ObjectProperty

  • br.uniriotec.orion.control.OntologyParser
  • com.clarkparsia.pellet.test.rbox.PropertyChainTests
  • edu.isi.karma.modeling.ontology.AutoOntology
  • edu.isi.karma.modeling.ontology.OntologyHandler
  • org.apache.lucene.analysis.ontology.OntologyFilter
  • org.apache.stanbol.cmsadapter.core.processor.ObjectTypeProcessor
  • org.apache.stanbol.cmsadapter.core.processor.PropertyProcesser
  • org.apache.stanbol.cmsadapter.jcr.processor.JCRNodeTypeLifter
  • org.apache.stanbol.cmsadapter.servicesapi.helper.OntologyResourceHelper
  • org.apache.stanbol.commons.owl.transformation.ConversionTester
    • Copyright © 2018 www.massapicom. 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.