relationmincardinality.java

toocom源代码,主要应用在本体匹配方面!

package toocom.ocgl;

import java.util.*;
import java.awt.Graphics;

/**
 * This class represents the minimum cardinality of a relation type.
 *
 * @author Fr閐閞ic F黵st
 */
public class RelationMinCardinality extends AxiomSchemaOne{
	
	private int index;
	private int value;
	
	public RelationMinCardinality(RelationType rt, int index, int value){
		super(CGConstants.getRelationMinCardinalityTerms(),rt);
		this.index = index;
		this.value = value;
	}
		
	public int getIndex(){
		return this.index;
	}
	
	public int getValue(){
		return this.value;
	}
	
	/** Returns the value of the (first encountered) min cardinality of prim at the index i. Returns -1
	 *  if prim has any min cardinality for this index. */
	public static int getMinCardinality(ConceptualPrimitive prim,int i){
		for(Iterator j = prim.getAxiomSchemata("toocom.ocgl.RelationMinCardinality").iterator();j.hasNext();){
			RelationMinCardinality minCard = (RelationMinCardinality) j.next();
			if(minCard.getIndex() == i) return minCard.getValue();
		}
		return -1;
	}
	
	/** A primitive can support a minimum cardinality if it is a relation. */
	public boolean isValid(){
		return (super.cp instanceof RelationType);
	}
	
	public LinkedList getOperationalForm(Ontology onto,Language l){
		return new LinkedList();
	}
	
	public Axiom getAxiomForm(){
		Axiom axiom = new Axiom(CGConstants.getRelationMinCardinalityTerms());
		axiom.getTerms().appendWithSeparator(((RelationType) super.cp).getTerms()," - ");
		Concept c = new Concept(((RelationType) super.cp).getSignature().getConceptType(this.index));
		axiom.addHypothesisConcept(c);
		for(int cpt = 1;cpt <= this.value;cpt ++){
			Relation r = new Relation(((RelationType) super.cp));
			r.setLinkedConcept(c,this.index);
			axiom.addConclusionRelation(r);
			for(int cptBis = 1;cptBis <= ((RelationType) super.cp).getArity();cptBis ++){
				if(cptBis != this.index){
					Concept con = new Concept(((RelationType) super.cp).getSignature().getConceptType(cptBis));
					r.setLinkedConcept(con,cptBis);
					axiom.addConclusionConcept(con);
				}
			}
		}
		return axiom;
	}
	
	public void paint(Graphics g,Language l){
		g.setColor(CGConstants.MIN_CARDINALITY_COLOR);
		g.drawString("C-",super.cp.x - (CGConstants.PROPERTY_SYMBOLS_SPACING * 15),super.cp.y - (CGConstants.PROPERTY_SYMBOLS_SPACING * 4));	
	}
	
}