axiomschema.java

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

package toocom.ocgl;

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

/**
 * This class represents the axiom schemata in the ontology. 
 *
 * @author Fr閐閞ic F黵st
 */
public abstract class AxiomSchema extends NamedObject{
	
	protected ContextOfUse cou;
	
	public AxiomSchema(Terms t){super(t);}
	
	public void setContextOfUse(ContextOfUse cou){
		this.cou = cou;
	}
	
	/** Returns true if the axiom schema is valid, according to the types of 
	 *  the conceptual primitives linked by the axiom schema, and to the other 
	 *  axiom schemata of the primitives. */
	public abstract boolean isValid();
	
	/** Paint on the graphics the representation of the axiom schema : nothing if the
	 *  axiom schema is for only one primitive, a specific graphic link between two
	 *  primitives if the axiom schema links two primitives. */
	public abstract void paint(Graphics g,Language l);
	
	/** Returns the axiom that express the axiom schema, null if the axiom schema can
	 *  not be expressed by an axiom. The primitives concerned by the axiom schema have
	 *  to support it for the axiom be generated without trouble. */
	public abstract Axiom getAxiomForm();
	
	/** Returns the list of Rules and Constraints that represent the 
	 *  operational form of the axiom schema depending on the context of use of
	 *  the axiom schema. Return an empty list if the axiom schema is not valid or if,
	 *  fot the context of use, the axiom schema has no operational form. */
	public abstract LinkedList getOperationalForm(Ontology onto,Language l);
	
	/** Returns true if the axiom schema has the same type than the given one. */
	public boolean equals(AxiomSchema as){
		return this.getClass().getName().equals(as.getClass().getName());
	}
	
	/** Destroy the axiom schema by erasing it in the conceptual primitives that have
	 *  the axiom schema. This method is equivalent to the removeAxiomSchema(AxiomSchema)
	 *  method of the ConceptualPrimitive class. */
	public abstract void destroy();	
	
	public String toString(Language l){return this.getTerm(l);}
	
}