In the below example, the infM doesn't infer that {r myProperty v}, any ideas why?

However, it does infer that {r owl:sameAs r1} from the mySameAs asserted statement. But if I write:

this.infM = ModelFactory.createOntologyModel(OntModelSpec.OWL_MEM_MINI_RULE_INF, this.baseM);
this.infM = ModelFactory.createOntologyModel(OntModelSpec.OWL_MEM_MINI_RULE_INF, this.infM);

then it also outputs that {r myProperty v}

Example code:

this.baseM = ModelFactory.createOntologyModel(OntModelSpec.OWL_MEM);
this.infM = ModelFactory.createOntologyModel(OntModelSpec.OWL_MEM_MINI_RULE_INF, this.baseM);

OntResource r = baseM.createOntResource(null);
OntResource r1 = baseM.createOntResource(null);
OntProperty myProperty = baseM.createOntProperty("http://example.com#my_property");
OntResource v = baseM.createOntResource("http://example.com#a_value");
OntProperty mySameAs = baseM.createOntProperty("http://example.com#mySameAs");
baseM.add(mySameAs, RDFS.subPropertyOf, OWL.sameAs);

r1.addProperty(myProperty, v);
r.addProperty(mySameAs, r1);

infM.rebind();

assertTrue(infM.contains(r, myProperty, v));

asked 27 Apr '11, 07:27

dan%20leadgy's gravatar image

dan leadgy
50218
accept rate: 0%

edited 27 Apr '11, 07:56

it seems this error is also produced when using Pellet reasoner. However, the test case looks very simple..

Does anyone have any idea what is wrong? Thanks!

(27 Apr '11, 10:13) dan leadgy dan%20leadgy's gravatar image

Jena team filed this as a bug. Please see: jena-61

permanent link

answered 27 Apr '11, 12:18

dan%20leadgy's gravatar image

dan leadgy
50218
accept rate: 0%

Your answer
toggle preview

Follow this question

By Email:

Once you sign in you will be able to subscribe for any updates here

By RSS:

Answers

Answers and Comments

Markdown Basics

  • *italic* or _italic_
  • **bold** or __bold__
  • link:[text](http://url.com/ "title")
  • image?![alt text](/path/img.jpg "title")
  • numbered list: 1. Foo 2. Bar
  • to add a line break simply add two spaces to where you would like the new line to be.
  • basic HTML tags are also supported

Question tags:

×623
×163

question asked: 27 Apr '11, 07:27

question was seen: 1,063 times

last updated: 27 Apr '11, 12:18