search

liveontologies / elk-reasoner

A Java-based OWL 2 EL reasoner
Apache License 2.0
94 stars 25 forks source link

OWL API reasoner method is not implemented: getBottomObjectPropertyNode() #29

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
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 gustapta...@gmail.com on 12 Nov 2014 at 8:00

Attachments:

GoogleCodeExporter commented 9 years ago 
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 pavel.kl...@gmail.com on 17 Nov 2014 at 9:43