Hi Emanuel,
These kinds of questions are *much* easier to answer if you supply a
complete minimal example - working code, including the data. The short
answer is that the transitive reasoner should give you the answer you're
expecting, so there's something wrong in the way you're querying the
model, or something wrong in the data.
Ian
On 19/02/13 04:31, Emanuel Santos wrote:
Hi again,
I have a ontology model created with "OntModelSpec.OWL_MEM_TRANS_INF".
Given the original ontology I added some new "subclass" relations
between some classes (using addSubClass and addSuperClass methods).
Now I have a class A that is a subclass of B and C.
And another class D that is subclass of A.
(these results are given by hasSubClass method)
Given this model I should get the result that D is a subclass of B and
C. But for some reason I'm not getting that result (again using
hasSubClass method)
Does this mean that the model does not fully update the new inferred
relations between classes ? What should I do?
It is odd, because A is only a subclass (not direct one) of C after
the addition of the new relations, i.e. A subclass C is inferred.
Any ideas ?!
Thanks!
--
____________________________________________________________
Ian Dickinson Epimorphics Ltd, Bristol, UK
mailto:[email protected] http://www.epimorphics.com
cell: +44-7786-850536 landline: +44-1275-399069
------------------------------------------------------------
Epimorphics Ltd. is a limited company registered in England
(no. 7016688). Registered address: Court Lodge, 105 High St,
Portishead, Bristol BS20 6PT, UK
