AROMA 1.2

fr.inrialpes.exmo.aroma.alignment
Class Implication

java.lang.Object
  extended by fr.inrialpes.exmo.align.impl.BasicCell
      extended by fr.inrialpes.exmo.aroma.alignment.MatchingRelation
          extended by fr.inrialpes.exmo.aroma.alignment.Implication
All Implemented Interfaces:
Comparable<org.semanticweb.owl.align.Cell>, org.semanticweb.owl.align.Cell, org.semanticweb.owl.align.Visitable

public class Implication
extends MatchingRelation

Author:
jerome DAVID

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

Implication

public Implication(AEntity ent1,
                   AEntity ent2,
                   double value,
                   boolean orientationLR)
            throws org.semanticweb.owl.align.AlignmentException
Throws:
org.semanticweb.owl.align.AlignmentException
Method Detail

getSource

public AEntity getSource()

getDest

public AEntity getDest()

isGenerativeOf

public 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

Specified by:
isGenerativeOf in class MatchingRelation
Parameters:
imp -
Returns:
true if generative of imp, false otherwise

hasBestAndGenerativeImplication

public boolean hasBestAndGenerativeImplication(Set<? extends MatchingRelation> rels)
verifies that this implication has no generative implication and best in the set

Parameters:
rels - a set of implications
Returns:
true if there no implication in imp is generative of this

hasGenerativeImplication

public boolean hasGenerativeImplication(Set<Implication> imp)
verifies that this implication has no generative implication in the set

Parameters:
imp - a set of implications
Returns:
true if there no implication in imp is generative of this

isGeneratedBy

public boolean isGeneratedBy(Implication imp)
Is the implication generated by imp equivalent to imp.isGenerativeOf(this)

Parameters:
imp -
Returns:

toString

public String toString()
Overrides:
toString in class Object

inverse

public Implication inverse()
                    throws org.semanticweb.owl.align.AlignmentException
Specified by:
inverse in interface org.semanticweb.owl.align.Cell
Overrides:
inverse in class fr.inrialpes.exmo.align.impl.BasicCell
Throws:
org.semanticweb.owl.align.AlignmentException

AROMA 1.2

(C) Universite Pierre-Mendes-France, INRIA & Universite de Nantes 2006-2009