conceptpartition.java

来自「toocom源代码,主要应用在本体匹配方面!」· Java 代码 · 共 37 行

package toocom.ocgl;

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

/**
 * This class represents the partition of a concept, that is its abstraction and
 * the disjunction between all its children. 
 *
 * @author Fr閐閞ic F黵st
 */
public class ConceptPartition extends AxiomSchemaOne{
		
	public ConceptPartition(ConceptType c){
		super(CGConstants.getConceptPartitionTerms(),c);
	}
			
	/** A primitive can be a partition if it is a concept. */
	public boolean isValid(){
		return (super.cp instanceof ConceptType);
	}
	
	public Axiom getAxiomForm(){
		return null;
	}
	
	public LinkedList getOperationalForm(Ontology onto,Language l){
		return new LinkedList();
	}
	
	public void paint(Graphics g,Language l){
		g.setColor(CGConstants.PARTITION_COLOR);
		g.drawString("P",super.cp.x - (CGConstants.PROPERTY_SYMBOLS_SPACING * 3),super.cp.y - (CGConstants.PROPERTY_SYMBOLS_SPACING * 4));	
	}

	
}