DIP not ranking TBox as expected #1
Description
Consider the following example:
I got the following UI in Protégé:
And the logging from eclipse shows the following:
But the expected rational closure ranking should be:
{{ message }}
Consider the following example:
I got the following UI in Protégé:
And the logging from eclipse shows the following:
But the expected rational closure ranking should be: