dgu123 / factplusplus

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

Doesn't return direct and/or indirect instances - method doesn't comply with OWL API #19

Closed GoogleCodeExporter closed 8 years ago

GoogleCodeExporter commented 8 years ago
What steps will reproduce the problem?
1. Load ontology
2. call the reasoner using OWL API v1.3.0.1
3. call the OWL API's OWLReasoner method getIndividuals(class, true/false)

What is the expected output? What do you see instead?

if I ask for ONLY direct instances of a class using getIndividuals(class,true) 
I get ALL instances of 
the class including direct and indirect. There is no way to retrieve ONLY 
direct instances

If I ask all instances of the class using getIndividuals(class,false) I get ALL 
instances as expected

What version of the product are you using? On what operating system?

Laest FaCT++ v1.3.0.1 (32Bits) and OWL API (FaCTpp-OWLAPI-v1.3.0.1).

Please provide any additional information below.

I looked at the surce code and you can see that although the implementation of 
the method 
getIndividuals accept a boolean variable as 2nd argument the method calls 
another method 
(askInstances) using FALSE, therefore it always return ALL instances.

Original issue reported on code.google.com by gta...@gmail.com on 1 Dec 2009 at 11:54

GoogleCodeExporter commented 8 years ago
Fixed in the latest SVN

Original comment by dmitry.t...@gmail.com on 16 Mar 2010 at 3:50