|
AROMA 1.2 | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectfr.inrialpes.exmo.align.impl.BasicCell
fr.inrialpes.exmo.aroma.alignment.MatchingRelation
fr.inrialpes.exmo.aroma.alignment.Implication
public class Implication
Field Summary |
---|
Fields inherited from class fr.inrialpes.exmo.aroma.alignment.MatchingRelation |
---|
object1, object2 |
Fields inherited from class fr.inrialpes.exmo.align.impl.BasicCell |
---|
extensions, id, relation, semantics, strength |
Constructor Summary | |
---|---|
Implication(AEntity ent1,
AEntity ent2,
double value,
boolean orientationLR)
|
Method Summary | |
---|---|
AEntity |
getDest()
|
AEntity |
getSource()
|
boolean |
hasBestAndGenerativeImplication(Set<? extends MatchingRelation> rels)
verifies that this implication has no generative implication and best in the set |
boolean |
hasGenerativeImplication(Set<Implication> imp)
verifies that this implication has no generative implication in the set |
Implication |
inverse()
|
boolean |
isGeneratedBy(Implication imp)
Is the implication generated by imp equivalent to imp.isGenerativeOf(this) |
boolean |
isGenerativeOf(MatchingRelation rel)
Is the implication generative of the implication imp (given in parameter) -> A is generative of B if A.source >= B.source and A.target <= B.target |
String |
toString()
|
Methods inherited from class fr.inrialpes.exmo.aroma.alignment.MatchingRelation |
---|
equals, getObject1, getObject1AsURI, getObject2, getObject2AsURI, hashCode |
Methods inherited from class fr.inrialpes.exmo.align.impl.BasicCell |
---|
accept, compareTo, compose, dump, equals, getExtension, getExtensions, getId, getObject1AsURI, getObject2AsURI, getRelation, getSemantics, getStrength, setExtension, setExtensions, setId, setObject1, setObject2, setRelation, setSemantics, setStrength |
Methods inherited from class java.lang.Object |
---|
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public Implication(AEntity ent1, AEntity ent2, double value, boolean orientationLR) throws org.semanticweb.owl.align.AlignmentException
org.semanticweb.owl.align.AlignmentException
Method Detail |
---|
public AEntity getSource()
public AEntity getDest()
public boolean isGenerativeOf(MatchingRelation rel)
isGenerativeOf
in class MatchingRelation
imp
-
public boolean hasBestAndGenerativeImplication(Set<? extends MatchingRelation> rels)
rels
- a set of implications
public boolean hasGenerativeImplication(Set<Implication> imp)
imp
- a set of implications
public boolean isGeneratedBy(Implication imp)
imp
-
public String toString()
toString
in class Object
public Implication inverse() throws org.semanticweb.owl.align.AlignmentException
inverse
in interface org.semanticweb.owl.align.Cell
inverse
in class fr.inrialpes.exmo.align.impl.BasicCell
org.semanticweb.owl.align.AlignmentException
|
AROMA 1.2 | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |