Ejemplo n.º 1
0
 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();
   }
 }
Ejemplo n.º 2
0
 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);
 }