search

HefesT / factplusplus

Automatically exported from code.google.com/p/factplusplus
0 stars 0 forks source link

reasoner.getObjectPropertyRelationships(Individual) Takes too long to converge #49

Closed GoogleCodeExporter closed 8 years ago

GoogleCodeExporter commented 8 years ago 
Hi,

The problem I am having is an old one as I am using FaCT++ 1.4.0.1. You most 
likely know why this is happening, please help me.

I am using OWL-API v.2 and I am building my Ontology with Protege 4.0. I know 
that FaCT++ 1.4.0.1 is an old version but I would like to know what is my best 
options from here as I already spend a long time developing my Ontology and 
Code.

The problem happens when I try to get an Individual's Object or Data properties 
from the reasoner. For example:

 Map<OWLObjectProperty, Set<OWLIndividual>> objectProp = reasoner.getObjectPropertyRelationships(Individual)

It converges but it takes around 2 minutes for each Individual. For the final 
conversion to happen it took 3 hours. 

Classifying only taken 30 seconds.

What might be causing the problem? How can I stop it?

It would be great to solve the problem, or at least know what is happening, and 
keep working with OWL-API v.2.

I tried Hermit, but Hermit 1.1 does not allow Object and Data property 
hierarchies. My ontology have Object and Data property hierarchies.

Thanks for all your thoughts,

Kind regards,

Julian

Original issue reported on code.google.com by julianda...@gmail.com on 20 Apr 2012 at 2:23

GoogleCodeExporter commented 8 years ago 
Julian,

This is a known issue: it's much harder to get related individuals than the 
superclasses, as in case of classification some clever traversing could save a 
lot of efforts. There is no such option for related individuals, especially if 
the property is non-simple. The situation is slightly better in the new version 
of FaCT++ but nothing incredibly fast.

Original comment by dmitry.t...@gmail.com on 10 May 2012 at 4:57