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

Issue #19 resolved
Dmitry Tsarkov repo owner created an issue

Original [issue 19](https://code.google.com/p/factplusplus/issues/detail?id=19) created by dtsarkov on 2009-12-01T11:54:25.000Z:

<b>What steps will reproduce the problem?</b> 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)

<b>What is the expected output? What do you see instead?</b>

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

<b>What version of the product are you using? On what operating system?</b>

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

<b>Please provide any additional information below.</b>

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.

Comments (1)

  1. Log in to comment