public class EquivalenceSetMergeUtil extends Object
Modifier and Type | Field and Description |
---|---|
org.semanticweb.owlapi.reasoner.OWLReasoner |
reasoner |
Constructor and Description |
---|
EquivalenceSetMergeUtil(OWLGraphWrapper g,
org.semanticweb.owlapi.reasoner.OWLReasoner r) |
Modifier and Type | Method and Description |
---|---|
void |
merge() |
void |
setPrefixScore(Map<String,Double> pmap,
String prefix,
Double score) |
void |
setPrefixScore(String prefix,
Double score) |
void |
setPropertyPrefixScore(org.semanticweb.owlapi.model.OWLAnnotationProperty p,
String prefix,
Double score) |
public EquivalenceSetMergeUtil(OWLGraphWrapper g, org.semanticweb.owlapi.reasoner.OWLReasoner r)
Copyright © 2010–2016. All rights reserved.