Package org.mindswap.pellet.jena

Examples of org.mindswap.pellet.jena.PelletReasoner

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
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
1137
1138
1139
1140
1141
1142
1143
1144
1145
1146
1147
  }

  @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
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
43
44
45
46
47
48
49
50
51
52
53
    PelletOptions.USE_ANNOTATION_SUPPORT = false;

    try {
      String aOnt = "file:" + PelletTestSuite.base + "misc/ticket-247-test-case.rdf";
 
      PelletReasoner aReasoner = (PelletReasoner) PelletReasonerFactory.theInstance().create();
 
      InfModel aModel = ModelFactory.createInfModel( aReasoner, ModelFactory.createDefaultModel() );
 
      aModel.read( aOnt );
 
View Full Code Here
69
70
71
72
73
74
75
76
77
78
79
  @Test
  public void testUndefinedVarInProjection() {
    // Test case for the bug reproted in #277
    String aOnt = "file:" + PelletTestSuite.base + "misc/ticket-277-test-case.rdf";

    PelletReasoner aReasoner = (PelletReasoner) PelletReasonerFactory.theInstance().create();

    InfModel aModel = ModelFactory.createInfModel( aReasoner, ModelFactory.createDefaultModel() );

    aModel.read( aOnt );
View Full Code Here
123
124
125
126
127
128
129
130
131
132
133
      PelletOptions.USE_ANNOTATION_SUPPORT = b;
     
      String aOnt = "file:" + PelletTestSuite.base + "misc/ticket-276-test-case.rdf";

      // Test case for #276
      PelletReasoner aReasoner = (PelletReasoner) PelletReasonerFactory.theInstance().create();

      InfModel aModel = ModelFactory.createInfModel( aReasoner, ModelFactory.createDefaultModel() );

      aModel.read( aOnt );
View Full Code Here
152
153
154
155
156
157
158
159
160
161
162
  @Test
  public void test248() {
    // Test case for #248
    String aOnt = "file:" + PelletTestSuite.base + "misc/pizza.owl";

    PelletReasoner aReasoner = (PelletReasoner) PelletReasonerFactory.theInstance().create();

    InfModel aModel = ModelFactory.createInfModel( aReasoner, ModelFactory.createDefaultModel() );

    aModel.read( aOnt );
View Full Code Here
184
185
186
187
188
189
190
191
192
193
194
  @Test
  public void test196() {
    // Test case for #196
    String aOnt = "file:" + PelletTestSuite.base + "misc/pizza.owl";

    PelletReasoner aReasoner = (PelletReasoner) PelletReasonerFactory.theInstance().create();

    InfModel aModel = ModelFactory.createInfModel( aReasoner, ModelFactory.createDefaultModel() );

    aModel.read( aOnt );
View Full Code Here
214
215
216
217
218
219
220
221
222
223
224
      "ontology for this test is not valid anymore")
  @Test
  public void test306() {
    String aOnt = "file:" + PelletTestSuite.base + "misc/longitude.ttl";
   
    PelletReasoner aReasoner = (PelletReasoner) PelletReasonerFactory.theInstance().create();
    InfModel aModel = ModelFactory.createInfModel( aReasoner, ModelFactory.createDefaultModel() );

    aModel.read( aOnt, "N3" );
    String aQuery = "PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#>\n"
        + "PREFIX rdf:<http://www.w3.org/1999/02/22-rdf-syntax-ns#>\n"
View Full Code Here
TOP

Related Classes of org.mindswap.pellet.jena.PelletReasoner

  • com.clarkparsia.pellet.test.query.TestMiscSPARQL
  • com.hp.hpl.jena.rdf.model.Model
  • com.hp.hpl.jena.reasoner.BaseInfGraph.InfFindSafeCapabilities
  • org.mindswap.pellet.jena.graph.loader.DefaultGraphLoader
  • org.mindswap.pellet.test.JenaTests
    • 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.