Mentions légales du service

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

- inhibited problems with iddl

parent 0c4dd105
No related branches found
No related tags found
No related merge requests found
......@@ -112,7 +112,8 @@ public class SemPRecEvaluator //extends BasicEvaluator
al.init( align2.getOntology1URI(), align2.getOntology2URI() );
// add the cell
al.addAlignCell( c2.getObject1(), c2.getObject2(), c2.getRelation().getRelation(), 1. );
if ( reasoner.isEntailed( al ) ) nbfoundentailed++;
// Bug in OWL API 3
// if ( reasoner.isEntailed( al ) ) nbfoundentailed++;
}
reasoner = new IDDLReasoner( semantics );
......@@ -128,7 +129,8 @@ public class SemPRecEvaluator //extends BasicEvaluator
al.init( align2.getOntology1URI(), align2.getOntology2URI() );
// add the cell (too bad, addCell is not in the interface)
al.addAlignCell( c1.getObject1(), c1.getObject2(), c1.getRelation().getRelation(), 1. );
if ( reasoner.isEntailed( al ) ) nbexpectedentailed++;
// Bug in OWL API 3
// if ( reasoner.isEntailed( al ) ) nbexpectedentailed++;
}
precision = (double) nbfoundentailed / (double) nbfound;
......
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