Checking satisfiability of complex concepts

[GoogleCodeExporter]

What steps will reproduce the problem?
1. Call reasoner.isSatisfiable(complex_concept); Where complex_concept is a 
complex class expression.

What is the expected output? What do you see instead?
Expected output - True or False. Instead I get: Exception in thread "main" 
java.lang.UnsupportedOperationException: OWL API reasoner method is not fully 
implemented: isSatisfiable(classExpression): ELK does not support 
satisfiability checking for unnamed class expressions

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

Please provide any additional information below.

Original issue reported on code.google.com by kody.moo...@gmail.com on 11 Dec 2012 at 8:18

• Merged into: #10

[GoogleCodeExporter]

I forgot to mention my operating system is Windows 7.

Original comment by kody.moo...@gmail.com on 11 Dec 2012 at 8:19

[GoogleCodeExporter]

Please see here:
http://code.google.com/p/elk-reasoner/wiki/QueryingComplexClasses

Original comment by ykazako...@gmail.com on 11 Dec 2012 at 9:10

• Changed state: Accepted
• Added labels: Priority-Low, Type-Enhancement
• Removed labels: Priority-Medium, Type-Defect

[GoogleCodeExporter]

Original comment by pavel.kl...@gmail.com on 3 Jun 2013 at 10:40

• Changed state: Duplicate