Examples of com.hp.hpl.jena.ontology.OntModel.createResource()

com.hp.hpl.jena.ontology.OntModel.createResource()

    String ns = "http://www.example.org#";
    OntModel model = ModelFactory.createOntologyModel( PelletReasonerFactory.THE_SPEC );


    Resource i = model.createResource( ns + "i" );
    Resource j = model.createResource( ns + "j" );
    Resource k = model.createResource( ns + "k" );
    Property p = model.createObjectProperty( ns + "p" );
    RDFList list = model.createList( new RDFNode[] { p } );


    model.add( OWL.Thing, OWL2.hasKey, list );
    model.add( i, RDF.type, OWL.Thing );

View Full Code Here

  
  @Test
  public void testTopBottomPropertyAssertion() throws MalformedURLException {
    OntModel model = ModelFactory.createOntologyModel( PelletReasonerFactory.THE_SPEC, null );


    Resource a = model.createResource( "a", OWL.Thing );
    Resource b = model.createResource( "b", OWL.Thing );
    Literal lit = model.createLiteral( "l" );


    Statement[] stats = new Statement[] {
      model.createStatement( a, OWL2.topObjectProperty, b ),

View Full Code Here

  @Test
  public void testTopBottomPropertyAssertion() throws MalformedURLException {
    OntModel model = ModelFactory.createOntologyModel( PelletReasonerFactory.THE_SPEC, null );


    Resource a = model.createResource( "a", OWL.Thing );
    Resource b = model.createResource( "b", OWL.Thing );
    Literal lit = model.createLiteral( "l" );


    Statement[] stats = new Statement[] {
      model.createStatement( a, OWL2.topObjectProperty, b ),
      model.createStatement( a, OWL2.topDataProperty, lit ),

View Full Code Here

  
  @Test
  public void testTopBottomPropertyInferences() throws MalformedURLException {
    OntModel model = ModelFactory.createOntologyModel( PelletReasonerFactory.THE_SPEC, null );


    Resource a = model.createResource( "a", OWL.Thing );
    Resource b = model.createResource( "b", OWL.Thing );
    Literal lit = model.createLiteral( "l" );


    Property p = model.createProperty( "p" );
    Property dp = model.createProperty( "dp" );

View Full Code Here

  @Test
  public void testTopBottomPropertyInferences() throws MalformedURLException {
    OntModel model = ModelFactory.createOntologyModel( PelletReasonerFactory.THE_SPEC, null );


    Resource a = model.createResource( "a", OWL.Thing );
    Resource b = model.createResource( "b", OWL.Thing );
    Literal lit = model.createLiteral( "l" );


    Property p = model.createProperty( "p" );
    Property dp = model.createProperty( "dp" );

View Full Code Here

    OntClass c1 = model.createClass( ns + "c1" );
    c1.addEquivalentClass( model.createSomeValuesFromRestriction( null, s, pi ) );
    assertFalse( model.contains( c1, RDFS.subClassOf, OWL2.Nothing ) );
    
    OntClass c2 = model.createClass( ns + "c2" );
    Resource b2 = model.createResource();
    model.add(b2, RDF.type, OWL2.DataRange);
    model.add(b2, OWL2.datatypeComplementOf, pi);
    c2.addEquivalentClass( model.createSomeValuesFromRestriction( null, s, b2 ) );
    assertFalse( model.contains( c2, RDFS.subClassOf, OWL2.Nothing ) );

View Full Code Here


    DatatypeReasoner dtReasoner = new DatatypeReasonerImpl();
    for( ATermAppl uri : dtReasoner.listDataRanges() ) {
      OntModel model = ModelFactory.createOntologyModel( PelletReasonerFactory.THE_SPEC );
      DatatypeProperty prop = model.createDatatypeProperty( ns + "prop" );
      Resource datatype = model.createResource( uri.getName() );
      prop.addRange( datatype );
      OntClass C = model.createClass( ns + "C" );
      int cardinality = datatype.equals( XSD.xboolean )
        ? 2
        : 10;

View Full Code Here

    l8[1] = npi;
    c8.addEquivalentClass( model.createSomeValuesFromRestriction( null, s, model.createIntersectionClass( null, model.createList( l8 ) ) ) );
    assertFalse( model.contains(c8, RDFS.subClassOf, OWL2.Nothing ) );
    
    OntClass c9 = model.createClass( ns + "c9" );
    Resource fr9 = model.createResource();
    model.add( fr9, OWL2.maxExclusive, model.createTypedLiteral( 0 ) );
    Resource b9 = model.createResource();
    model.add( b9, RDF.type, RDFS.Datatype);
    model.add( b9, OWL2.onDatatype, i);
    model.add( b9, OWL2.withRestrictions, model.createList( new RDFNode[] { fr9 } ));

View Full Code Here

    assertFalse( model.contains(c8, RDFS.subClassOf, OWL2.Nothing ) );
    
    OntClass c9 = model.createClass( ns + "c9" );
    Resource fr9 = model.createResource();
    model.add( fr9, OWL2.maxExclusive, model.createTypedLiteral( 0 ) );
    Resource b9 = model.createResource();
    model.add( b9, RDF.type, RDFS.Datatype);
    model.add( b9, OWL2.onDatatype, i);
    model.add( b9, OWL2.withRestrictions, model.createList( new RDFNode[] { fr9 } ));
    RDFNode[] l9 = new RDFNode[2];
    l9[0] = pi;

View Full Code Here

    c9.addEquivalentClass( model.createSomeValuesFromRestriction( null, s, model.createIntersectionClass( null, model.createList( l9 ) ) ) );
    assertTrue( model.contains(c9, RDFS.subClassOf, OWL2.Nothing ) );
    
    OntClass c10 = model.createClass( ns + "c10" );
    DatatypeProperty p = model.createDatatypeProperty( ns + "p" );
    Resource b10 = model.createResource();
    model.add( b10, RDF.type, RDFS.Datatype);
    model.add( b10, OWL.unionOf, model.createList( new RDFNode[] { pi, ni } ));
    model.add(p, RDFS.range, b10 );
    c10.addEquivalentClass( model.createSomeValuesFromRestriction( null, p, XSD.anyURI ) );
    assertTrue( model.contains(c10, RDFS.subClassOf, OWL2.Nothing ) );

View Full Code Here

0 1 2 3 4 5 6 7 8 9

TOP

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.