Examples of OntModelSpec

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

768
769
770
771
772
773
774
775
776
777
778
779
  }

  @Test
  public void testPropertyRestrictionsInSuperclasses() {
    String ns = "urn:test:";
    OntModelSpec spec = new OntModelSpec( OntModelSpec.OWL_DL_MEM );
    spec.setReasoner( new PelletReasoner() );

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

    OntClass X = model.createClass( ns + "X" );
    ObjectProperty hasX = model.createObjectProperty( ns + "hasX" );
View Full Code Here

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

1015
1016
1017
1018
1019
1020
1021
1022
1023
1024
1025
1026
    String ns = "urn:test:";

    Reasoner r = PelletReasonerFactory.theInstance().create();
    // ReasonerRegistry.getOWLMicroReasoner();

    OntModelSpec spec = new OntModelSpec( OntModelSpec.OWL_DL_MEM );
    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" );
View Full Code Here

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

1104
1105
1106
1107
1108
1109
1110
1111
1112
1113
1114
1115
  }

  @Test
  public void testSameAs2() {
    OntModelSpec ontModelSpec = new OntModelSpec( OntModelSpec.OWL_DL_MEM_RULE_INF );
    ontModelSpec.setReasoner( new PelletReasoner() );
    OntModel model = ModelFactory.createOntologyModel( ontModelSpec );
    Individual i1 = model.createIndividual( "http://test#i1", OWL.Thing );
    Individual i2 = model.createIndividual( "http://test#i2", OWL.Thing );
    Property prop = model.createProperty( "http://test#prop" );
    i1.addProperty( prop, "test" );
View Full Code Here

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

1136
1137
1138
1139
1140
1141
1142
1143
1144
1145
1146
1147
    assertIteratorContains( i2.listProperties(), model.createStatement( i2, prop, "test" ) );
  }

  @Test
  public void testSameAs3() {
    OntModelSpec ontModelSpec = new OntModelSpec( OntModelSpec.OWL_DL_MEM_RULE_INF );
    ontModelSpec.setReasoner( new PelletReasoner() );
    OntModel model = ModelFactory.createOntologyModel( ontModelSpec );
    Individual i1 = model.createIndividual( "http://test#i1", OWL.Thing );
    Individual i2 = model.createIndividual( "http://test#i2", OWL.Thing );
    OntClass c = model.createEnumeratedClass( "http://test#C", model.createList( new RDFNode[] {
        i1, i2 } ) );
View Full Code Here

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

1232
1233
1234
1235
1236
1237
1238
1239
1240
1241
1242
1243
  }

  @Test
  public void testHasValueReasoning() {
    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" );
View Full Code Here

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

1502
1503
1504
1505
1506
1507
1508
1509
1510
1511
1512
1513
1514
    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 );

    // This is the ABox data used in this example:
    //
    // hasParent hasParent hasRelative
View Full Code Here

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

3428
3429
3430
3431
3432
3433
3434
3435
3436
3437
3438
3439
3440
    Model schema = ModelFactory.createDefaultModel();   
    schema.add(A, RDFS.subClassOf, B);
    schema.add(B, RDFS.subClassOf, C);

    // create a fresh spec
    OntModelSpec fixedSchemaSpec = new OntModelSpec( OntModelSpec.OWL_MEM );
    // create a reasoner with a fixed schema and set the spec to use it
    fixedSchemaSpec.setReasoner(PelletReasonerFactory.theInstance().create().bindFixedSchema(schema));
   
    // create a new model whihc will have the schema loaded automatically
    OntModel model = ModelFactory.createOntologyModel(fixedSchemaSpec);

    PelletInfGraph graph = (PelletInfGraph) model.getGraph();
View Full Code Here

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

768
769
770
771
772
773
774
775
776
777
778
779
  }

  @Test
  public void testPropertyRestrictionsInSuperclasses() {
    String ns = "urn:test:";
    OntModelSpec spec = new OntModelSpec( OntModelSpec.OWL_DL_MEM );
    spec.setReasoner( new PelletReasoner() );

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

    OntClass X = model.createClass( ns + "X" );
    ObjectProperty hasX = model.createObjectProperty( ns + "hasX" );
View Full Code Here

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

1015
1016
1017
1018
1019
1020
1021
1022
1023
1024
1025
1026
    String ns = "urn:test:";

    Reasoner r = PelletReasonerFactory.theInstance().create();
    // ReasonerRegistry.getOWLMicroReasoner();

    OntModelSpec spec = new OntModelSpec( OntModelSpec.OWL_DL_MEM );
    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" );
View Full Code Here

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

1104
1105
1106
1107
1108
1109
1110
1111
1112
1113
1114
1115
  }

  @Test
  public void testSameAs2() {
    OntModelSpec ontModelSpec = new OntModelSpec( OntModelSpec.OWL_DL_MEM_RULE_INF );
    ontModelSpec.setReasoner( new PelletReasoner() );
    OntModel model = ModelFactory.createOntologyModel( ontModelSpec );
    Individual i1 = model.createIndividual( "http://test#i1", OWL.Thing );
    Individual i2 = model.createIndividual( "http://test#i2", OWL.Thing );
    Property prop = model.createProperty( "http://test#prop" );
    i1.addProperty( prop, "test" );
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.