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

com.hp.hpl.jena.ontology.ObjectProperty

Interface encapsulating properties whose range values are restricted to individuals (as distinct from datatype valued {@link DatatypeProperty properties}). Some ontology languages, such as OWL Full, do not distinguish between object and datatype properties.

    spec.setReasoner( new PelletReasoner() );


    OntModel model = ModelFactory.createOntologyModel( spec, null );


    OntClass X = model.createClass( ns + "X" );
    ObjectProperty hasX = model.createObjectProperty( ns + "hasX" );
    OntClass AllX = model.createAllValuesFromRestriction( null, hasX, X );
    OntClass Y = model.createIntersectionClass( ns + "Y", model.createList( new RDFNode[] {
        X, AllX } ) );


    assertTrue( "AllX is not a superclass of Y", Y.hasSuperClass( AllX ) );

View Full Code Here

  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

  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


    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

    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

    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

    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


    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

    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

    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

0 1 2 3 4 5 6 7

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

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.