Package org.mindswap.pellet.jena

Examples of org.mindswap.pellet.jena.PelletReasoner

239
240
241
242
243
244
245
246
247
248
249
 
  @Test
  public void test253() {
    String aOnt = "file:" + PelletTestSuite.base + "misc/longitude2.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
268
269
270
271
272
273
274
275
276
277
278
    try {
      ARQ.getContext().set(ARQ.optFilterPlacement, false);
     
      String aOnt = "file:" + PelletTestSuite.base + "misc/ticket-210-test-case.owl";
     
      PelletReasoner aReasoner = (PelletReasoner) PelletReasonerFactory.theInstance().create();
      InfModel aModel = ModelFactory.createInfModel( aReasoner, ModelFactory.createDefaultModel() );
 
      aModel.read(aOnt);
      String aQuery = "PREFIX : <http://www.semanticweb.org/ontologies/2010/5/ticket-210-test-case.owl#>\n"   
        + "PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#>\n"
View Full Code Here
304
305
306
307
308
309
310
311
312
313
314
 
  @Test
  public void test421() {
    String aOnt = "file:" + PelletTestSuite.base + "misc/ticket-421-test-case.owl";
   
    PelletReasoner aReasoner = (PelletReasoner) PelletReasonerFactory.theInstance().create();
    InfModel aModel = ModelFactory.createInfModel( aReasoner, ModelFactory.createDefaultModel() );

    aModel.read(aOnt);
    String aQuery = "PREFIX : <http://www.semanticweb.org/ontologies/2010/5/ticket-421-test-case.owl#>\n"   
      + "PREFIX rdf:<http://www.w3.org/1999/02/22-rdf-syntax-ns#>\n"
View Full Code Here
333
334
335
336
337
338
339
340
341
342
343
 
  @Test
  public void test444() {
    String aOnt = "file:" + PelletTestSuite.base + "misc/ticket-444-test-case.owl";
   
    PelletReasoner aReasoner = (PelletReasoner) PelletReasonerFactory.theInstance().create();
    InfModel aModel = ModelFactory.createInfModel( aReasoner, ModelFactory.createDefaultModel() );

    aModel.read(aOnt);
    String aQuery = "PREFIX : <http://www.semanticweb.org/ontologies/2010/5/ticket-444-test-case.owl#>\n"   
      + "PREFIX rdf:<http://www.w3.org/1999/02/22-rdf-syntax-ns#>\n"
View Full Code Here
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
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.