Package com.hp.hpl.jena.ontology

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


  public void testFuncProp() {
    String ns = "urn:test:";

    OntModel model = ModelFactory.createOntologyModel( PelletReasonerFactory.THE_SPEC );

    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 );
View Full Code Here


    String ns = "urn:test:";
    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 );
    // model.write(System.out, "RDF/XML-ABBREV");

    assertTrue( "susan is not a NeighborOfBob", susan.hasRDFType( NeighborOfBob ) );
  }
View Full Code Here

    String ns = "http://www.example.org/test#";

    OntModel model = ModelFactory.createOntologyModel( PelletReasonerFactory.THE_SPEC );
    model.read( base + "parents.owl" );

    Individual Bob = model.getIndividual( ns + "Bob" );
    Individual Mom = model.getIndividual( ns + "Mom" );
    Individual Dad = model.getIndividual( ns + "Dad" );

    OntProperty hasParent = model.getObjectProperty( ns + "hasParent" );
    OntProperty hasFather = model.getObjectProperty( ns + "hasFather" );
    OntProperty hasMother = model.getObjectProperty( ns + "hasMother" );
    OntProperty topObjProp = model.getObjectProperty( OWL2.topObjectProperty.getURI() );
View Full Code Here

    OntModel model = ModelFactory.createOntologyModel( PelletReasonerFactory.THE_SPEC );

    model.read( base + "teams.owl" );

    Individual t1 = model.getIndividual( ns + "OntologyFC" );

    OntClass Male = model.getOntClass( ns + "Male" );
    OntClass Female = model.getOntClass( ns + "Female" );
    Individual Sam = model.getIndividual( ns + "Sam" );
    Individual Chris = model.getIndividual( ns + "Chris" );

    OntClass Team = model.getOntClass( ns + "Team" );
    OntClass MixedTeam = model.getOntClass( ns + "MixedTeam" );
    OntClass NonSingletonTeam = model.getOntClass( ns + "NonSingletonTeam" );
    OntClass SingletonTeam = model.getOntClass( ns + "SingletonTeam" );

    model.prepare();

    assertTrue( Sam.isDifferentFrom( Chris ) );
    assertTrue( Chris.isDifferentFrom( Sam ) );

    assertTrue( MixedTeam.hasSuperClass( Team ) );
    assertFalse( MixedTeam.hasSuperClass( SingletonTeam ) );
    assertIteratorValues( MixedTeam.listSuperClasses(), new Resource[] {
        Team, NonSingletonTeam, OWL.Thing } );
    assertIteratorValues( MixedTeam.listSuperClasses( true ),
        new Resource[] { NonSingletonTeam } );

    assertTrue( NonSingletonTeam.hasSubClass( MixedTeam ) );
    assertIteratorValues( NonSingletonTeam.listSubClasses(), new Resource[] {
        MixedTeam, OWL.Nothing } );
    assertIteratorValues( NonSingletonTeam.listSubClasses( true ), new Resource[] { MixedTeam } );

    assertTrue( t1.hasRDFType( MixedTeam ) );
    assertTrue( t1.hasRDFType( MixedTeam, true ) );
    assertIteratorValues( t1.listRDFTypes( false ), new Resource[] {
        Team, NonSingletonTeam, MixedTeam, OWL.Thing } );
    assertIteratorValues( t1.listRDFTypes( true ), new Resource[] { MixedTeam } );

    Male.removeDisjointWith( Female );
    Female.removeDisjointWith( Male );
    Sam.removeDifferentFrom( Chris );
    Chris.removeDifferentFrom( Sam );

    assertTrue( !Sam.isDifferentFrom( Chris ) );
    assertTrue( !Chris.isDifferentFrom( Sam ) );

    assertTrue( MixedTeam.hasSuperClass( Team ) );
    assertIteratorValues( MixedTeam.listSuperClasses(), new Resource[] { Team, OWL.Thing } );

    assertTrue( !NonSingletonTeam.hasSuperClass( MixedTeam ) );
View Full Code Here

    OntProperty hasFather = model.createObjectProperty( ns + "hasFather" );
    OntProperty hasBioFather = model.createObjectProperty( ns + "hasBioFather", true );
    hasBioFather.addSuperProperty( hasFather );
    Person.addSuperClass( model.createMinCardinalityRestriction( null, hasBioFather, 1 ) );

    Individual Bob = model.createIndividual( ns + "Bob", Person );
    Individual Dad = model.createIndividual( ns + "Dad", Person );
    Bob.addProperty( hasBioFather, Dad );
    Bob.addRDFType( model.createCardinalityRestriction( null, hasFather, 1 ) );

    model = ModelFactory.createOntologyModel( PelletReasonerFactory.THE_SPEC, model );
View Full Code Here

    model.read( base + "agencies.owl" );

    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 ) );

    assertIteratorValues( model.listObjectsOfProperty( Forest_Service, comprises ),
View Full Code Here

    model.prepare();

    String ns = "http://www.example.org/test#";

    OntClass Probe = model.getOntClass( ns + "Probe" );
    Individual Instance1 = model.getIndividual( ns + "Instance1" );
    Individual Instance2 = model.getIndividual( ns + "Instance2" );
    Individual Instance3 = model.getIndividual( ns + "Instance3" );

    assertIteratorValues( Probe.listInstances(), new Resource[] {
        Instance1, Instance2, Instance3 } );
  }
View Full Code Here

    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" );
    Individual d = cls.createIndividual( ns + "d" );
    Individual e = cls.createIndividual( ns + "e" );
    Individual f = cls.createIndividual( ns + "f" );
    Individual g = cls.createIndividual( ns + "g" );

    OntModelSpec spec = new OntModelSpec( OntModelSpec.OWL_DL_MEM );
    // spec.setReasoner( ReasonerRegistry.getDIGReasoner() );
    spec.setReasoner( PelletReasonerFactory.theInstance().create() );
    model = ModelFactory.createOntologyModel( spec, model );
View Full Code Here

    OntModel model = ModelFactory.createOntologyModel( PelletReasonerFactory.THE_SPEC );

    model.read( base + "nominals.owl" );

    OntClass Color = model.getOntClass( ns + "Color" );
    Individual red = model.getIndividual( ns + "red" );

    OntClass PrimaryColors = model.getOntClass( ns + "PrimaryColors" );

    OntClass MyFavoriteColors = model.getOntClass( ns + "MyFavoriteColors" );
View Full Code Here

  public void testDatatypeProperties() {
    String ns = "urn:test:";

    OntModel model = ModelFactory.createOntologyModel( PelletReasonerFactory.THE_SPEC );
    OntClass Person = model.createClass( ns + "Person" );
    Individual john = model.createIndividual( ns + "JohnDoe", Person );
    DatatypeProperty email = model.createDatatypeProperty( ns + "email", false );

    john.addProperty( email, "john.doe@unknown.org" );
    john.addProperty( email, "jdoe@unknown.org" );

    assertTrue( model.validate().isValid() );

    assertIteratorValues( model.listSubjectsWithProperty( email, "john.doe@unknown.org" ),
        new Resource[] { john } );

    assertTrue( model.contains( null, email, "john.doe@unknown.org" ) );

    assertTrue( !model.contains( null, email, john ) );

    DatatypeProperty name1 = model.createDatatypeProperty( ns + "name1", true );

    john.addProperty( name1, "Name", "en" );
    john.addProperty( name1, "Nom", "fr" );

    assertTrue( model.validate().isValid() );

    DatatypeProperty name2 = model.createDatatypeProperty( ns + "name2", true );

    john.addProperty( name2, "Name" );
    john.addProperty( name2, "Nom" );

    assertTrue( !model.validate().isValid() );
  }
View Full Code Here

TOP

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

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.