Mentions légales du service

Skip to content
Snippets Groups Projects
Commit df124fe6 authored by Jérôme Euzenat's avatar Jérôme Euzenat
Browse files

- inhibited problem with IDDL

parent f66d5031
No related branches found
No related tags found
No related merge requests found
...@@ -85,7 +85,9 @@ public class IDDLOntologyNetwork extends BasicOntologyNetwork implements LogicOn ...@@ -85,7 +85,9 @@ public class IDDLOntologyNetwork extends BasicOntologyNetwork implements LogicOn
}; };
public boolean isEntailed( Alignment al ){ public boolean isEntailed( Alignment al ){
init(); init();
return reasoner.isEntailed( al ); // Bug in OWL API 3
//return reasoner.isEntailed( al );
return true;
}; };
} }
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment