protected String getOWLRestrictionFillerText(OWLRestriction restriction) {
if (restriction instanceof OWLQuantifierRestriction) {
RDFResource filler = ((OWLQuantifierRestriction) restriction).getFiller();
if (filler instanceof RDFSClass) {
return getNestedDisplayText((RDFSClass) filler);
} else {
return restriction.getFillerText();
}
} else {
return restriction.getFillerText();
}
}
protected String getDisplayTextOfOWLRestriction(OWLRestriction restriction) {
RDFProperty onProperty = restriction.getOnProperty();
return (onProperty != null ? onProperty.getBrowserText() : "?")
+ " "
+ getSymbol(restriction)
+ " "
+ getOWLRestrictionFillerText(restriction);
}
// Implements RestrictionUpdater
public void copyFacetValuesIntoNamedClass(RDFSNamedClass cls, OWLRestriction restriction) {
Slot slot = restriction.getOnProperty();
updateValueTypeFacet(cls, slot);
}
