edu.stanford.smi.protegex.owl.model.impl
Class AbstractOWLCardinalityBase

java.lang.Object
  edu.stanford.smi.protege.model.DefaultFrame
      edu.stanford.smi.protege.model.DefaultInstance
          edu.stanford.smi.protege.model.DefaultCls
              edu.stanford.smi.protegex.owl.model.impl.AbstractRDFSClass
                  edu.stanford.smi.protegex.owl.model.impl.AbstractOWLAnonymousClass
                      edu.stanford.smi.protegex.owl.model.impl.AbstractOWLRestriction
                          edu.stanford.smi.protegex.owl.model.impl.AbstractOWLCardinalityBase

All Implemented Interfaces:

edu.stanford.smi.protege.model.Cls, Comparable, Externalizable, edu.stanford.smi.protege.model.Frame, edu.stanford.smi.protege.model.Instance, edu.stanford.smi.protege.model.Localizable, OWLAnonymousClass, OWLCardinalityBase, OWLClass, OWLRestriction, ProtegeCls, ProtegeInstance, RDFObject, RDFResource, RDFSClass, Serializable, Visitable

Direct Known Subclasses:

DefaultOWLCardinality, DefaultOWLMaxCardinality, DefaultOWLMinCardinality

public abstract class AbstractOWLCardinalityBase

extends AbstractOWLRestriction

implements OWLCardinalityBase

The base class of MaxCardi and OWLMinCardinality.

Author:

Holger Knublauch

See Also:

Serialized Form

Field Summary

private char

operatorChar

Fields inherited from class edu.stanford.smi.protege.model.DefaultFrame

Constructor Summary

(package private)	AbstractOWLCardinalityBase(char operatorChar)
	AbstractOWLCardinalityBase(edu.stanford.smi.protege.model.KnowledgeBase kb, edu.stanford.smi.protege.model.FrameID id, char operatorChar)

Method Summary

void	checkFillerText(String text) Checks the filler from a textual expression.
static void	checkFillerText(String text, RDFProperty property)
boolean	equalsStructurally(RDFObject object) Determines whether or not the specified class is structurally equal to this class.
int	getCardinality() Gets the cardinality value in this restriction.
String	getFillerText() Gets the filler of this restriction for display purposes.
void	getNestedNamedClasses(Set set) Gets all RDFSClses that are somewhere used in the expression below this.
RDFSClass	getQualifier() Gets the qualifier class.
RDFSClass	getValuesFrom() If this is a qualified cardinality restriction, then this gets the owl:valuesFrom property value.
boolean	isQualified() Checks if this is a qualified cardinality restriction.
void	setCardinality(int value) Sets the cardinality value in this restriction.
void	setFillerText(String text) Sets the filler from a (valid) textual expression.
void	setValuesFrom(RDFSClass value)

Methods inherited from class edu.stanford.smi.protegex.owl.model.impl.AbstractOWLRestriction

checkExpression, getBrowserTextFiller, getBrowserTextPropertyName, getNestedBrowserText, getOnProperty, isDefined, isFillerDefined, setOnProperty

Methods inherited from class edu.stanford.smi.protegex.owl.model.impl.AbstractOWLAnonymousClass

createClone, getBrowserText, getDependingClasses, getExpressionRoot, getIcon, getImageIcon, getOwner, isAnonymous, isVisible

Methods inherited from class edu.stanford.smi.protegex.owl.model.impl.AbstractRDFSClass

addAnonymousClses, addClassListener, addComment, addDifferentFrom, addIsDefinedBy, addLabel, addPropertyValue, addPropertyValueListener, addProtegeType, addRDFType, addResourceListener, addSameAs, addSuperclass, addToUnionDomainOf, addVersionInfo, as, canAs, createInstance, getAbstractOWLModel, getAllValuesFromOnTypes, getComments, getDefinition, getDifferentFrom, getDirectTemplateFacetValue, getDisjointClasses, getDocumentation, getEquivalentClasses, getHasValuesOnTypes, getIconLocation, getInferredInstanceCount, getInferredInstances, getInferredTypes, getInstanceCount, getInstances, getIsDefinedBy, getLabels, getLocalName, getNamedSubclasses, getNamedSubclasses, getNamedSuperclasses, getNamedSuperclasses, getNamespace, getNamespacePrefix, getOWLModel, getParsableExpression, getPossibleRDFProperties, getPropertyValue, getPropertyValue, getPropertyValueAs, getPropertyValueCount, getPropertyValueLiteral, getPropertyValueLiterals, getPropertyValues, getPropertyValues, getPropertyValuesAs, getProtegeType, getProtegeTypes, getPureSuperclasses, getRDFProperties, getRDFType, getRDFTypes, getReferringAnonymousClasses, getSameAs, getSubclassCount, getSubclasses, getSuperclassCount, getSuperclasses, getUnionDomainProperties, getUnionDomainProperties, getURI, getVersionInfo, hasEquivalentClass, hasPropertyValue, hasPropertyValue, hasPropertyValue, hasPropertyValue, hasPropertyValueWithBrowserText, hasPropertyValueWithBrowserText, hasProtegeType, hasProtegeType, hasRDFType, hasRDFType, isMetaclass, isSubclassOf, isValidPropertyValue, listPropertyValues, listPropertyValues, listPropertyValuesAs, listRDFTypes, removeClassListener, removeComment, removeDifferentFrom, removeIsDefinedBy, removeLabel, removePropertyValue, removePropertyValueListener, removeProtegeType, removeRDFType, removeResourceListener, removeSameAs, removeSuperclass, removeVersionInfo, setComment, setComments, setDocumentation, setInferredTypes, setPropertyValue, setPropertyValues, setProtegeType, setProtegeTypes, setRDFType, setRDFTypes

Methods inherited from class edu.stanford.smi.protege.model.DefaultCls

addClsListener, addDirectSuperclass, addDirectTemplateSlot, addTemplateFacetValue, addTemplateSlotValue, createDirectInstance, getBrowserSlot, getBrowserSlotPattern, getConcreteSubclasses, getDirectBrowserSlot, getDirectBrowserSlotPattern, getDirectInstanceCount, getDirectInstances, getDirectlyOverriddenTemplateFacets, getDirectSubclassCount, getDirectSubclasses, getDirectSuperclassCount, getDirectSuperclasses, getDirectTemplateFacetValues, getDirectTemplateSlots, getDirectTemplateSlotValues, getInheritedBrowserSlot, getInheritedBrowserSlotPattern, getInstanceCount, getInstances, getOverriddenTemplateFacets, getSubclasses, getSuperclasses, getTemplateFacets, getTemplateFacetValue, getTemplateFacetValues, getTemplateSlotAllowedClses, getTemplateSlotAllowedParents, getTemplateSlotAllowedValues, getTemplateSlotAllowsMultipleValues, getTemplateSlotDefaultValues, getTemplateSlotDocumentation, getTemplateSlotMaximumCardinality, getTemplateSlotMaximumValue, getTemplateSlotMinimumCardinality, getTemplateSlotMinimumValue, getTemplateSlots, getTemplateSlotValue, getTemplateSlotValues, getTemplateSlotValueType, getVisibleDirectSubclassCount, getVisibleDirectSubclasses, getVisibleTemplateSlots, hasDirectlyOverriddenTemplateFacet, hasDirectlyOverriddenTemplateSlot, hasDirectSuperclass, hasDirectTemplateSlot, hasInheritedTemplateSlot, hasOverriddenTemplateFacet, hasOverriddenTemplateSlot, hasSuperclass, hasTemplateFacet, hasTemplateSlot, isAbstract, isClsMetaCls, isConcrete, isDefaultClsMetaCls, isDefaultFacetMetaCls, isDefaultSlotMetaCls, isFacetMetaCls, isMetaCls, isRoot, isSlotMetaCls, moveDirectSubclass, moveDirectTemplateSlot, removeClsListener, removeDirectSuperclass, removeDirectTemplateSlot, removeTemplateFacetOverrides, setAbstract, setDirectBrowserSlot, setDirectBrowserSlotPattern, setDirectTypeOfSubclasses, setTemplateFacetValue, setTemplateFacetValues, setTemplateSlotAllowedClses, setTemplateSlotAllowedParents, setTemplateSlotAllowedValues, setTemplateSlotAllowsMultipleValues, setTemplateSlotDefaultValues, setTemplateSlotDocumentation, setTemplateSlotDocumentation, setTemplateSlotMaximumCardinality, setTemplateSlotMaximumValue, setTemplateSlotMinimumCardinality, setTemplateSlotMinimumValue, setTemplateSlotValue, setTemplateSlotValues, setTemplateSlotValueType, toString

Methods inherited from class edu.stanford.smi.protege.model.DefaultInstance

addDirectType, addInstanceListener, copy, deepCopy, getDirectType, getDirectTypes, getOwnFacetValue, getOwnFacetValues, getReachableSimpleInstances, hasDirectType, hasType, moveDirectType, removeDirectType, removeInstanceListener, setDirectType, setDirectTypes, shallowCopy

Methods inherited from class edu.stanford.smi.protege.model.DefaultFrame

addFrameListener, addOwnFacetValue, addOwnSlotValue, areValidOwnSlotValues, compareTo, delete, equals, equals, getDefaultKnowledgeBase, getDefiningProjectURI, getDirectOwnSlotValue, getDirectOwnSlotValues, getFrameID, getInvalidOwnSlotValuesText, getInvalidOwnSlotValueText, getKnowledgeBase, getName, getOwnSlotAllowsMultipleValues, getOwnSlotAndSubslotValues, getOwnSlotDefaultValues, getOwnSlotFacets, getOwnSlotFacetValues, getOwnSlots, getOwnSlotValue, getOwnSlotValueCount, getOwnSlotValues, getOwnSlotValueType, getProject, getReferences, getReferences, hashCode, hasOwnSlot, isBeingDeleted, isDeleted, isEditable, isIncluded, isSystem, isValid, isValidOwnSlotValue, localize, markDeleted, markDeleting, moveDirectOwnSlotValue, readExternal, removeFrameListener, removeOwnSlotValue, setDirectOwnSlotValue, setDirectOwnSlotValues, setDocumentation, setEditable, setIncluded, setName, setOwnFacetValue, setOwnFacetValues, setOwnSlotValue, setOwnSlotValues, setSystem, setVisible, writeExternal

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface edu.stanford.smi.protegex.owl.model.OWLRestriction

getFillerProperty, getOnProperty, getOperator, isDefined, setOnProperty

Methods inherited from interface edu.stanford.smi.protegex.owl.model.OWLAnonymousClass

getExpressionRoot, getOwner

Methods inherited from interface edu.stanford.smi.protegex.owl.model.RDFSClass

addClassListener, addSuperclass, createClone, createInstance, getDependingClasses, getEquivalentClasses, getImageIcon, getInferredInstanceCount, getInferredInstances, getInstanceCount, getInstances, getNamedSubclasses, getNamedSubclasses, getNamedSuperclasses, getNamedSuperclasses, getNestedBrowserText, getParsableExpression, getPureSuperclasses, getSubclassCount, getSubclasses, getSuperclassCount, getSuperclasses, getUnionDomainProperties, getUnionDomainProperties, hasEquivalentClass, hasPropertyValueWithBrowserText, isAnonymous, isMetaclass, isSubclassOf, removeClassListener, removeSuperclass

Methods inherited from interface edu.stanford.smi.protegex.owl.model.ProtegeCls

addClsListener, addDirectSuperclass, addDirectTemplateSlot, addTemplateFacetValue, addTemplateSlotValue, createDirectInstance, getBrowserSlotPattern, getConcreteSubclasses, getDirectBrowserSlotPattern, getDirectInstanceCount, getDirectInstances, getDirectlyOverriddenTemplateFacets, getDirectSubclassCount, getDirectSubclasses, getDirectSuperclassCount, getDirectSuperclasses, getDirectTemplateFacetValues, getDirectTemplateSlots, getDirectTemplateSlotValues, getInheritedBrowserSlotPattern, getInstanceCount, getInstances, getOverriddenTemplateFacets, getSubclasses, getSuperclasses, getTemplateFacets, getTemplateFacetValue, getTemplateFacetValues, getTemplateSlotAllowedClses, getTemplateSlotAllowedParents, getTemplateSlotAllowedValues, getTemplateSlotAllowsMultipleValues, getTemplateSlotDefaultValues, getTemplateSlotDocumentation, getTemplateSlotMaximumCardinality, getTemplateSlotMaximumValue, getTemplateSlotMinimumCardinality, getTemplateSlotMinimumValue, getTemplateSlots, getTemplateSlotValue, getTemplateSlotValues, getTemplateSlotValueType, getVisibleDirectSubclassCount, getVisibleDirectSubclasses, getVisibleTemplateSlots, hasDirectlyOverriddenTemplateFacet, hasDirectlyOverriddenTemplateSlot, hasDirectSuperclass, hasDirectTemplateSlot, hasInheritedTemplateSlot, hasOverriddenTemplateFacet, hasOverriddenTemplateSlot, hasSuperclass, hasTemplateFacet, hasTemplateSlot, isAbstract, isClsMetaCls, isConcrete, isDefaultClsMetaCls, isDefaultFacetMetaCls, isDefaultSlotMetaCls, isFacetMetaCls, isMetaCls, isRoot, isSlotMetaCls, moveDirectSubclass, moveDirectTemplateSlot, removeClsListener, removeDirectSuperclass, removeDirectTemplateSlot, removeTemplateFacetOverrides, setAbstract, setDirectBrowserSlot, setDirectBrowserSlotPattern, setDirectTypeOfSubclasses, setTemplateFacetValue, setTemplateFacetValues, setTemplateSlotAllowedClses, setTemplateSlotAllowedParents, setTemplateSlotAllowedValues, setTemplateSlotAllowsMultipleValues, setTemplateSlotDefaultValues, setTemplateSlotDocumentation, setTemplateSlotDocumentation, setTemplateSlotMaximumCardinality, setTemplateSlotMaximumValue, setTemplateSlotMinimumCardinality, setTemplateSlotMinimumValue, setTemplateSlotValue, setTemplateSlotValues, setTemplateSlotValueType

Methods inherited from interface edu.stanford.smi.protegex.owl.model.ProtegeInstance

addDirectType, addFrameListener, addInstanceListener, addOwnFacetValue, addOwnSlotValue, areValidOwnSlotValues, copy, deepCopy, getBrowserText, getDirectOwnSlotValue, getDirectOwnSlotValues, getDirectType, getDirectTypes, getDocumentation, getFrameID, getIcon, getInvalidOwnSlotValuesText, getInvalidOwnSlotValueText, getKnowledgeBase, getOwnFacetValue, getOwnFacetValues, getOwnSlotAllowsMultipleValues, getOwnSlotAndSubslotValues, getOwnSlotDefaultValues, getOwnSlotFacets, getOwnSlotFacetValues, getOwnSlots, getOwnSlotValue, getOwnSlotValueCount, getOwnSlotValues, getOwnSlotValueType, getProject, getReachableSimpleInstances, getReferences, getReferences, hasDirectType, hasOwnSlot, hasType, isBeingDeleted, isDeleted, isEditable, isIncluded, isSystem, isValidOwnSlotValue, markDeleted, markDeleting, removeDirectType, removeFrameListener, removeInstanceListener, removeOwnSlotValue, setDirectOwnSlotValue, setDirectOwnSlotValues, setDirectType, setDirectTypes, setDocumentation, setDocumentation, setEditable, setIncluded, setOwnFacetValue, setOwnFacetValues, setOwnSlotValue, setOwnSlotValues, shallowCopy

Methods inherited from interface edu.stanford.smi.protege.model.Instance

moveDirectType

Methods inherited from interface edu.stanford.smi.protege.model.Frame

delete, getName, isValid, isVisible, moveDirectOwnSlotValue, setName, setVisible

Methods inherited from interface java.lang.Comparable

compareTo

Methods inherited from interface edu.stanford.smi.protege.model.Cls

getBrowserSlot, getDirectBrowserSlot, getInheritedBrowserSlot

Methods inherited from interface edu.stanford.smi.protegex.owl.model.RDFResource

addComment, addDifferentFrom, addIsDefinedBy, addLabel, addPropertyValue, addPropertyValueListener, addProtegeType, addRDFType, addResourceListener, addSameAs, addVersionInfo, as, canAs, delete, getAllValuesFromOnTypes, getBrowserText, getComments, getDifferentFrom, getHasValuesOnTypes, getIconLocation, getIconName, getInferredTypes, getIsDefinedBy, getLabels, getLocalName, getName, getNamespace, getNamespacePrefix, getOWLModel, getPossibleRDFProperties, getPropertyValue, getPropertyValue, getPropertyValueAs, getPropertyValueCount, getPropertyValueLiteral, getPropertyValueLiterals, getPropertyValues, getPropertyValues, getPropertyValuesAs, getProtegeType, getProtegeTypes, getRDFProperties, getRDFType, getRDFTypes, getReferringAnonymousClasses, getSameAs, getURI, getVersionInfo, hasPropertyValue, hasPropertyValue, hasPropertyValue, hasPropertyValue, hasProtegeType, hasProtegeType, hasRDFType, hasRDFType, isValidPropertyValue, isVisible, listPropertyValues, listPropertyValues, listPropertyValuesAs, listRDFTypes, removeComment, removeDifferentFrom, removeIsDefinedBy, removeLabel, removePropertyValue, removePropertyValueListener, removeProtegeType, removeRDFType, removeResourceListener, removeSameAs, removeVersionInfo, setComment, setComments, setInferredTypes, setName, setPropertyValue, setPropertyValues, setProtegeType, setProtegeTypes, setRDFType, setRDFTypes, setVisible

Methods inherited from interface edu.stanford.smi.protegex.owl.model.visitor.Visitable

accept

Field Detail

operatorChar

private final char operatorChar

Constructor Detail

AbstractOWLCardinalityBase

public AbstractOWLCardinalityBase(edu.stanford.smi.protege.model.KnowledgeBase kb,
                                  edu.stanford.smi.protege.model.FrameID id,
                                  char operatorChar)

AbstractOWLCardinalityBase

AbstractOWLCardinalityBase(char operatorChar)

Method Detail

checkFillerText

public void checkFillerText(String text)
                     throws Exception

Description copied from interface: OWLRestriction

Checks the filler from a textual expression. This should be called prior to assigning a new filler value.

Specified by:

checkFillerText in interface OWLRestriction

Parameters:

text - the potential filler value

Throws:

Exception - to indicate a parse exception

checkFillerText

public static void checkFillerText(String text,
                                   RDFProperty property)
                            throws OWLClassParseException,
                                   NumberFormatException

Throws:

OWLClassParseException

NumberFormatException

equalsStructurally

public boolean equalsStructurally(RDFObject object)

Description copied from interface: RDFObject

Determines whether or not the specified class is structurally equal to this class. Note that this does not test for structural equivalence using structural subsumption tests.

Specified by:

equalsStructurally in interface RDFObject

Parameters:

object - The class to test against.

Returns:

true if the class is structurally equal to this, false if the class is not structurally equal to this.

getCardinality

public int getCardinality()

Description copied from interface: OWLCardinalityBase

Gets the cardinality value in this restriction.

Specified by:

getCardinality in interface OWLCardinalityBase

Returns:

a positive integer

getQualifier

public RDFSClass getQualifier()

Description copied from interface: OWLCardinalityBase

Gets the qualifier class. If this is a qualified cardinality restriction, then this is the value of the owl:valuesFrom property. Otherwise, this method returns owl:Thing.

Specified by:

getQualifier in interface OWLCardinalityBase

Returns:

owl:Thing or the result of getValuesFrom().

getValuesFrom

public RDFSClass getValuesFrom()

Description copied from interface: OWLCardinalityBase

If this is a qualified cardinality restriction, then this gets the owl:valuesFrom property value.

Specified by:

getValuesFrom in interface OWLCardinalityBase

Returns:

the qualifier class or null if this is not a qualified cardinality restriction

getFillerText

public String getFillerText()

Description copied from interface: OWLRestriction

Gets the filler of this restriction for display purposes.

Specified by:

getFillerText in interface OWLRestriction

Returns:

the filler text (never null)

getNestedNamedClasses

public void getNestedNamedClasses(Set set)

Description copied from interface: RDFSClass

Gets all RDFSClses that are somewhere used in the expression below this. If this is an anonymous class, this traverses the expression tree to collect them. If this is already an RDFSNamedClass, it will return itself.

Specified by:

getNestedNamedClasses in interface RDFSClass

Parameters:

set - an (initially empty) Set that will contain the nested named classes

isQualified

public boolean isQualified()

Description copied from interface: OWLCardinalityBase

Checks if this is a qualified cardinality restriction. This is true if this has a value for the owl:valuesFrom property.

Specified by:

isQualified in interface OWLCardinalityBase

Returns:

true if this is a qualified cardinality restriction

setCardinality

public void setCardinality(int value)

Description copied from interface: OWLCardinalityBase

Sets the cardinality value in this restriction.

Specified by:

setCardinality in interface OWLCardinalityBase

Parameters:

value - the new cardinality value

setFillerText

public void setFillerText(String text)
                   throws Exception

Description copied from interface: OWLRestriction

Sets the filler from a (valid) textual expression.

Specified by:

setFillerText in interface OWLRestriction

Parameters:

text - the new filler value

Throws:

Exception - to indicate a parse exception

setValuesFrom

public void setValuesFrom(RDFSClass value)

Specified by:

setValuesFrom in interface OWLCardinalityBase