Package com.hp.hpl.jena.ontology

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

815
816
817
818
819
820
821
822
823
824
825
  public void testListStatementsSameAs() {
    String ns = "http://www.example.org/test#";

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

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

    Individual s = ont.createIndividual( ns + "s", OWL.Thing );
    Individual o1 = ont.createIndividual( ns + "o1", OWL.Thing );
    Individual o2 = ont.createIndividual( ns + "o2", OWL.Thing );
    s.addProperty( p, o1 );
View Full Code Here
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
    model.prepare();

    OntClass C = model.getOntClass( ns + "C" );
    OntClass D = model.getOntClass( ns + "D" );
    ObjectProperty r = model.getObjectProperty( ns + "r" );

    OntModel posit = ModelFactory.createOntologyModel( OntModelSpec.OWL_MEM );

    Resource invR = posit.createResource();
    invR.addProperty( OWL.inverseOf, r );

    Resource restr = posit.createResource();
    restr.addProperty( OWL.onProperty, invR );
    restr.addProperty( OWL.someValuesFrom, D );

    assertTrue( model.listStatements( C, RDFS.subClassOf, restr, posit ).hasNext() );

    assertTrue( model.contains( model.getProperty( ns + "functionalP" ), RDF.type,
        OWL.InverseFunctionalProperty ) );

    assertTrue( model.contains( model.getProperty( ns + "inverseFunctionalP" ), RDF.type,
        OWL.FunctionalProperty ) );

    assertTrue( model.contains( model.getProperty( ns + "transitiveP" ), RDF.type,
        OWL.TransitiveProperty ) );

    assertTrue( model.contains( model.getProperty( ns + "symmetricP" ), RDF.type,
        OWL.SymmetricProperty ) );

    assertTrue( model.contains( model.getProperty( ns + "reflexiveP" ), RDF.type,
        OWL2.ReflexiveProperty ) );

    assertTrue( model.contains( model.getProperty( ns + "irreflexiveP" ), RDF.type,
        OWL2.IrreflexiveProperty ) );

    assertTrue( model.contains( model.getProperty( ns + "asymmetricP" ), RDF.type,
        OWL2.AsymmetricProperty ) );

    ObjectProperty p1 = model.getObjectProperty( ns + "p1" );
    ObjectProperty p2 = model.getObjectProperty( ns + "p2" );
    ObjectProperty p3 = model.getObjectProperty( ns + "p3" );

    assertTrue( model.contains( p1, OWL.equivalentProperty, p2 ) );
    assertTrue( model.contains( p1, OWL.equivalentProperty, p3 ) );
    assertTrue( model.contains( p2, OWL.equivalentProperty, p3 ) );
  }
View Full Code Here
995
996
997
998
999
1000
1001
1002
1003
1004
1005
1006
    String ns = "urn:test:";

    OntModel model = ModelFactory.createOntologyModel();

    OntClass A = model.createClass( ns + "A" );
    ObjectProperty P = model.createObjectProperty( ns + "P" );
    P.addDomain( A );
    Individual x = model.createIndividual( ns + "x", OWL.Thing );
    Individual y = model.createIndividual( ns + "y", OWL.Thing );
    x.addProperty( P, y );

    assertTrue( x.hasRDFType( A ) );
View Full Code Here
1021
1022
1023
1024
1025
1026
1027
1028
1029
1030
1031
1032
    spec.setReasoner( r );
    OntModel model = ModelFactory.createOntologyModel( spec, null );

    OntClass A = model.createClass( ns + "A" );
    OntClass B = model.createClass( ns + "B" );
    ObjectProperty P = model.createObjectProperty( ns + "P" );
    P.addDomain( model.createUnionClass( null, model.createList( new RDFNode[] { A, B } ) ) );

    OntClass oc = model.getOntClass( ns + "B" );

    assertIteratorValues( oc.listDeclaredProperties(), new Resource[] { P } );
  }
View Full Code Here
1043
1044
1045
1046
1047
1048
1049
1050
1051
1052
1053
    Individual a = model.createIndividual( ns + "a", C );
    Individual b = model.createIndividual( ns + "b", C );
    Individual c = model.createIndividual( ns + "c", D );
    Individual d = model.createIndividual( ns + "d", OWL.Thing );

    ObjectProperty p = model.createObjectProperty( ns + "p" );

    C.addDisjointWith( D );

    a.addProperty( p, b );
View Full Code Here
1074
1075
1076
1077
1078
1079
1080
1081
1082
1083
1084
1085
    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 p = model.createObjectProperty( ns + "p" );
    ObjectProperty q = model.createObjectProperty( ns + "q" );

    a.addProperty( p, c );

    b.addProperty( p, b );
    c.addProperty( q, a );
View Full Code Here
1210
1211
1212
1213
1214
1215
1216
1217
1218
1219
1220
1221
1222
1223
    Individual a = model.createIndividual( ns + "a", OWL.Thing );
    Individual b = model.createIndividual( ns + "b", OWL.Thing );
    Individual c = model.createIndividual( ns + "c", OWL.Thing );
    Individual d = model.createIndividual( ns + "d", OWL.Thing );

    ObjectProperty p = model.createObjectProperty( ns + "p" );
    a.addProperty( p, b );

    ObjectProperty q = model.createObjectProperty( ns + "q", true );
    a.addProperty( q, b );
    a.addProperty( q, d );

    c.addSameAs( b );
View Full Code Here
1237
1238
1239
1240
1241
1242
1243
1244
1245
1246
1247
    OntModelSpec spec = new OntModelSpec( OntModelSpec.OWL_DL_MEM );
    spec.setReasoner( new PelletReasoner() );
    OntModel model = ModelFactory.createOntologyModel( spec, null );
    OntClass HomeOwner = model.createClass( ns + "HomeOwner" );
    Individual bob = model.createIndividual( ns + "bob", HomeOwner );
    ObjectProperty hasNeighbor = model.createObjectProperty( ns + "hasNeighbor" );
    OntClass NeighborOfBob = model.createClass( ns + "NeighborOfBob" );
    NeighborOfBob
        .addEquivalentClass( model.createHasValueRestriction( null, hasNeighbor, bob ) );
    Individual susan = model.createIndividual( ns + "susan", HomeOwner );
    susan.setPropertyValue( hasNeighbor, bob );
View Full Code Here
1423
1424
1425
1426
1427
1428
1429
1430
1431
1432
1433
    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" );
    Individual USDA = model.getIndividual( ns + "USDA" );

    assertTrue( "Forest_Service, comprises, Executive", model.contains( Forest_Service,
        comprises, Executive ) );
View Full Code Here
1480
1481
1482
1483
1484
1485
1486
1487
1488
1489
1490
1491
1492
1493
1494
1495
1496
1497
1498
1499
1500
1501
  public void testTransitiveSubProperty1() {
    String ns = "urn:test:";

    OntModel model = ModelFactory.createOntologyModel( OntModelSpec.OWL_MEM );

    ObjectProperty knows = model.createObjectProperty( ns + "knows" );

    ObjectProperty hasRelative = model.createObjectProperty( ns + "hasRelative" );
    // a person knows all his/her relatives
    hasRelative.addSuperProperty( knows );
    // being a relative is transitive (but knowing someone is not
    // transitive)
    hasRelative.addRDFType( OWL.TransitiveProperty );

    ObjectProperty hasParent = model.createObjectProperty( ns + "hasParent" );
    // a parent is also a relative
    hasParent.addSuperProperty( hasRelative );

    OntClass cls = model.createClass( ns + "cls" );
    Individual a = cls.createIndividual( ns + "a" );
    Individual b = cls.createIndividual( ns + "b" );
    Individual c = cls.createIndividual( ns + "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.