Package com.hp.hpl.jena.ontology

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

416
417
418
419
420
421
422
423
424
425
426
    // add one instance relation
    OntClass cls = model.createClass( ns + "C" );
    Individual a = model.createIndividual( ns + "a", cls );

    // load everything and check consistency
    assertTrue( model.validate().isValid() );

    // add a type relation for an existing individual
    a.addRDFType( cls );

    // verify instance relation
View Full Code Here
1636
1637
1638
1639
1640
1641
1642
1643
1644
1645
1646
    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" ) );
View Full Code Here
1650
1651
1652
1653
1654
1655
1656
1657
1658
1659
1660
    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" );
View Full Code Here
1657
1658
1659
1660
1661
1662
1663
1664
1665
1666
1667
    DatatypeProperty name2 = model.createDatatypeProperty( ns + "name2", true );

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

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

  @Test
  public void testDatatypeHierarchy() {
    OntModel model = ModelFactory.createOntologyModel( PelletReasonerFactory.THE_SPEC );
View Full Code Here
1706
1707
1708
1709
1710
1711
1712
1713
1714
1715
1716
    Individual x = model.createIndividual( ns + "x", C );
    x.addProperty( prop, "literal1" );
    x.addProperty( prop, "literal2" );
    x.addProperty( prop, "literal3" );

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

  @Test
  public void testSubDataPropCard() {
    String ns = "urn:test:";
View Full Code Here
1727
1728
1729
1730
1731
1732
1733
1734
1735
1736
1737
    Literal val1 = model.createLiteral( "val1" );
    x.addProperty( prop, val1 );
    Literal val2 = model.createLiteral( "val2" );
    x.addProperty( sub, val2 );

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

    assertPropertyValues( model, x, prop, val1, val2 );
  }

  @Test
View Full Code Here
2449
2450
2451
2452
2453
2454
2455
2456
2457
2458
2459
  public void testTicket96() {
    OntModel pellet = ModelFactory.createOntologyModel( PelletReasonerFactory.THE_SPEC );

    pellet.read( base + "ticket-96-test-case.rdf" );

    assertTrue( pellet.validate().isValid() );
  }

  @Test
  public void testNaryDisjointness() {
    // tests whether owl:Alldifferent, owl:AllDisjointClasses,
View Full Code Here
120
121
122
123
124
125
126
127
128
129
130
    model.prepare();

    model.add( a, r, model.createLiteral( "l" ) );
    model.add( a, r, model.createResource() );

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

    model.prepare();

    model.add( p, RDF.type, OWL.FunctionalProperty );
    model.add( b, OWL.differentFrom, c );
View Full Code Here
129
130
131
132
133
134
135
136
137
138
139
    model.add( p, RDF.type, OWL.FunctionalProperty );
    model.add( b, OWL.differentFrom, c );

    model.prepare();

    assertFalse( model.validate().isValid() );

    model.remove( b, OWL.differentFrom, c );

    assertTrue( model.validate().isValid() );
View Full Code Here
133
134
135
136
137
138
139
140
141
142
143
    assertFalse( model.validate().isValid() );

    model.remove( b, OWL.differentFrom, c );

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

    model.prepare();

    model.add( p, RDF.type, OWL.InverseFunctionalProperty );
    model.add( a, OWL.differentFrom, d );
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. 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.