reasoner.getObjectPropertyRelationships(Individual) Takes too long to converge
Issue #49
wontfix
Original [issue 49](https://code.google.com/p/factplusplus/issues/detail?id=49) created by dtsarkov on 2012-04-20T14:23:57.000Z:
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
Comments (1)
-
reporter
- Log in to comment
Comment [
#1](https://code.google.com/p/factplusplus/issues/detail?id=49#c1) originally posted by dtsarkov on 2012-05-10T16:57:48.000Z: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.