OWL API reasoner method is not implemented: getBottomObjectPropertyNode()

[GoogleCodeExporter]

What steps will reproduce the problem?
1. Open Protêgê 4.3;
2. Load my OWL file (annex:);
3. Start reasoner;
4. when i go to the tab "Object Properties" show the "error" (annex: issue.jpg);

What is the expected output? What do you see instead?
Annex: issue,jpg

What version of the product are you using? On what operating system?
Protêgê 4.3 / ELK 0.4.1 / Windows 8.1 / JDK 7u71

Thanks

Original issue reported on code.google.com by [email protected] on 12 Nov 2014 at 8:00

Attachments:

• issue.jpg
• reduced_with_rules_profile_EL_with_ELK.owl

[GoogleCodeExporter]

ELK currently does not provide access to the taxonomies of object or data 
properties. To avoid this error, try to go to Reasoner -> Configure -> Reasoner 
Tab -> Displayed Inferences and untick all checkboxes for "Displayed Object 
Property Inferences". This particular error is probably caused by the 
Unsatisfiability checkbox.

You should get the same hint in a different pop-up window when you click OK in 
the error window in your case. There you can ignore all errors of the same kind 
but it's better to just tell Protege to not use the unsupported features.

Original comment by [email protected] on 17 Nov 2014 at 9:43