Fact++ 1.6.0 Protege plugin infers all instances to use all object properties

Issue #51 resolved
Dmitry Tsarkov repo owner created an issue

Original [issue 51](https://code.google.com/p/factplusplus/issues/detail?id=51) created by dtsarkov on 2012-09-20T19:59:30.000Z:

<b>What steps will reproduce the problem?</b> 1. Use Fact++ 1.6.0 and either Protege 4.2_alpha or 4.2_beta 2. Create new ontology. 3. Create new object property &quot;has&quot;. 4. Create new individual &quot;me&quot;. &quot;me&quot; does not have an explict assertion of &quot;has&quot;. 5. Run Fact++. 6. &quot;me&quot; is now inferred to &quot;has 'me'&quot; (the object of the &quot;has&quot; is itself). 7. Such an inference exists for any object property that exists.

<b>What is the expected output? What do you see instead?</b> The expected output is that &quot;me&quot; has no inferred object property assertions. Rather, every individual inferred to have an object property assertion for seemingly every object property.

<b>What version of the product are you using? On what operating system?</b> Windows 7 (64 bit). Fact++ 1.6.0 via both Protege 4.2_alpha (build 256) and Protege 4.2_beta (build 278).

<b>Please provide any additional information below.</b> This seems to have been introduced with 1.6.0 (1.5.3 did not do this). I have also had others confirm using the same applications (although I don't know their OS).

Comments (4)

  1. Log in to comment