edu.stanford.smi.protegex.owl.ui.conditions
Class AddClosureAxiomAction
java.lang.Object
javax.swing.AbstractAction
edu.stanford.smi.protegex.owl.ui.actions.ResourceAction
edu.stanford.smi.protegex.owl.ui.conditions.AddClosureAxiomAction
- All Implemented Interfaces:
- Action, ActionListener, Cloneable, Comparable, EventListener, Serializable
- public class AddClosureAxiomAction
- extends ResourceAction
A ResourceAction that adds a closure axiom to the class.
This can be applied to existential that are direct pure superclass or part of an
equivalent intersection of an OWLNamedClass.
For example:
hasParent some Mother
hasParent some Father
Adds:
hasParent all (Mother or Father)
- Author:
- Holger Knublauch
- See Also:
- Serialized Form
Fields inherited from class edu.stanford.smi.protegex.owl.ui.actions.ResourceAction |
|
AddClosureAxiomAction
public AddClosureAxiomAction()
actionPerformed
public void actionPerformed(ActionEvent e)
isSuitable
public boolean isSuitable(Component component,
RDFResource resource)
- Specified by:
isSuitable
in class ResourceAction
isSuitable
public static boolean isSuitable(edu.stanford.smi.protege.model.Frame frame,
OWLNamedClass editedCls)
performAction
public static OWLAllValuesFrom performAction(OWLNamedClass namedClass,
OWLSomeValuesFrom someValuesFrom)
- Deprecated. please use the more generic version
performAction
public static OWLAllValuesFrom performAction(OWLNamedClass namedClass,
OWLExistentialRestriction restriction)