Hi Dave,
Your solution worked.
I thought the transitive reasoner handled more axioms than Micro_Rule.
Are there any documentation in the Jena site which shows what
entailment does each of these Jena reinsures handle?
Thanks
Kamalraj
> On 8 Jan 2015, at 7:46 pm, Dave Reynolds <[email protected]> wrote:
>
>
>
> On 08/01/15 06:30, Kamalraj Jairam wrote:
>> Hello All,
>>
>> I have small problem with reasoning. I’m not sure whether i’m doing the
>> right thing
>>
>> In My ontology i have following statements
>>
>> A rdf:type owl:Class
>> B rdf:type owl:Class
>> A owl:equivalentClass B
>>
>> in My ref data i have following statements
>>
>> A1 rdf:type A
>>
>> When i run the reasoner, the inference model should have additional statement
>>
>> A1 rdf:type B
>>
>> the inference model seems to have just the first statement the inferred
>> statement seems to be missing
>>
>> Where am i going wrong.
>>
>> This is my code
>>
>> OntModelSpec ontModelSpec = OntModelSpec.OWL_DL_MEM_TRANS_INF;
>
> The is just the transitive reasoner. You need an OWL reasoner if you want OWL
> inferences. A good default is to use: OWL_MEM_MICRO_RULE_INF
>
> Dave
