|
Protégé-OWL 3.3.1 | ||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface OWLRestriction
The base class of all OWL restriction classes.
Method Summary | |
---|---|
void |
checkFillerText(String value)
Checks the filler from a textual expression. |
RDFProperty |
getFillerProperty()
Gets the Slot that is used to store the filler at this kind of restriction (e.g., owl:cardinality). |
String |
getFillerText()
Gets the filler of this restriction for display purposes. |
RDFProperty |
getOnProperty()
Gets the Slot that is restricted by this restriction. |
char |
getOperator()
Gets the Unicode operator character that is typically used to represent this type of restriction. |
boolean |
isDefined()
Checks whether this restriction has been completely defined already. |
void |
setFillerText(String value)
Sets the filler from a (valid) textual expression. |
void |
setOnProperty(RDFProperty property)
Sets the restricted property at this restriction. |
Methods inherited from interface edu.stanford.smi.protegex.owl.model.OWLAnonymousClass |
---|
getExpressionRoot, getOwner |
Methods inherited from interface edu.stanford.smi.protegex.owl.model.OWLClass |
---|
getDisjointClasses |
Methods inherited from interface edu.stanford.smi.protege.model.Instance |
---|
moveDirectType |
Methods inherited from interface edu.stanford.smi.protege.model.Frame |
---|
isValid, moveDirectOwnSlotValue |
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.protege.model.Instance |
---|
moveDirectType |
Methods inherited from interface edu.stanford.smi.protege.model.Frame |
---|
isValid, moveDirectOwnSlotValue |
Methods inherited from interface java.lang.Comparable |
---|
compareTo |
Methods inherited from interface edu.stanford.smi.protege.model.Instance |
---|
moveDirectType |
Methods inherited from interface edu.stanford.smi.protege.model.Frame |
---|
isValid, moveDirectOwnSlotValue |
Methods inherited from interface java.lang.Comparable |
---|
compareTo |
Methods inherited from interface edu.stanford.smi.protegex.owl.model.RDFObject |
---|
equalsStructurally |
Methods inherited from interface edu.stanford.smi.protegex.owl.model.visitor.Visitable |
---|
accept |
Method Detail |
---|
void checkFillerText(String value) throws Exception
value
- the potential filler value
Exception
- to indicate a parse exceptionchar getOperator()
RDFProperty getFillerProperty()
String getFillerText()
RDFProperty getOnProperty()
boolean isDefined()
void setFillerText(String value) throws Exception
value
- the new filler value
Exception
- to indicate a parse exceptionvoid setOnProperty(RDFProperty property)
property
- the RDFProperty to restrict
|
Protégé-OWL 3.3.1 | ||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |