/** * @param c C * @param n cardinality * @return true if #C^I > n */ private boolean isCardLargerThan(OWLObject c, int n) { if (n == 0) { return isBotDistinct(c); } // data top is infinite if (c instanceof OWLDataRange && isTopEquivalent(c)) { return true; } if (c instanceof OWLDatatype) { // string/time are infinite DT OWLDatatype dt = ((OWLDatatype) c).asOWLDatatype(); if (OWL2Datatype.XSD_STRING.matches(dt) || OWL2Datatype.XSD_DATE_TIME.matches(dt) || OWL2Datatype.XSD_DATE_TIME_STAMP.matches(dt)) { return true; } } // FIXME!! try to be more precise return false; }
/** * cardinality of a concept/data expression interpretation * * @param c class * @param n cardinality * @return true if #C^I > n */ private boolean isCardLargerThan(OWLObject c, int n) { if (n == 0) { return isBotDistinct(c); } // data top is infinite if (c instanceof OWLDataRange && isTopEquivalent(c)) { return true; } if (c instanceof OWLDatatype) { // string/time are infinite DT OWLDatatype dt = ((OWLDatatype) c).asOWLDatatype(); if (OWL2Datatype.XSD_STRING.matches(dt) || OWL2Datatype.XSD_DATE_TIME.matches(dt) || OWL2Datatype.XSD_DATE_TIME_STAMP.matches(dt)) { return true; } } // FIXME!! try to be more precise return false; }
/** * @param c C * @param n cardinality * @return true if #C^I > n */ private boolean isCardLargerThan(OWLObject c, int n) { if (n == 0) { return isBotDistinct(c); } // data top is infinite if (c instanceof OWLDataRange && isTopEquivalent(c)) { return true; } if (c instanceof OWLDatatype) { // string/time are infinite DT OWLDatatype dt = ((OWLDatatype) c).asOWLDatatype(); if (OWL2Datatype.XSD_STRING.matches(dt) || OWL2Datatype.XSD_DATE_TIME.matches(dt) || OWL2Datatype.XSD_DATE_TIME_STAMP.matches(dt)) { return true; } } // FIXME!! try to be more precise return false; }
/** * cardinality of a concept/data expression interpretation * * @param c class * @param n cardinality * @return true if #C^I > n */ private boolean isCardLargerThan(OWLObject c, int n) { if (n == 0) { return isBotDistinct(c); } // data top is infinite if (c instanceof OWLDataRange && isTopEquivalent(c)) { return true; } if (c instanceof OWLDatatype) { // string/time are infinite DT OWLDatatype dt = ((OWLDatatype) c).asOWLDatatype(); if (OWL2Datatype.XSD_STRING.matches(dt) || OWL2Datatype.XSD_DATE_TIME.matches(dt) || OWL2Datatype.XSD_DATE_TIME_STAMP.matches(dt)) { return true; } } // FIXME!! try to be more precise return false; }
/** * @param c C * @param n cardinality * @return true if #C^I > n */ private boolean isCardLargerThan(OWLObject c, int n) { if (n == 0) { return isBotDistinct(c); } // data top is infinite if (c instanceof OWLDataRange && isTopEquivalent(c)) { return true; } if (c instanceof OWLDatatype) { // string/time are infinite DT OWLDatatype dt = ((OWLDatatype) c).asOWLDatatype(); if (OWL2Datatype.XSD_STRING.matches(dt) || OWL2Datatype.XSD_DATE_TIME.matches(dt) || OWL2Datatype.XSD_DATE_TIME_STAMP.matches(dt)) { return true; } } // FIXME!! try to be more precise return false; }
/** * @param c C * @param n cardinality * @return true if #C^I > n */ private boolean isCardLargerThan(OWLObject c, int n) { if (n == 0) { return isBotDistinct(c); } // data top is infinite if (c instanceof OWLDataRange && isTopEquivalent(c)) { return true; } if (c instanceof OWLDatatype) { // string/time are infinite DT OWLDatatype dt = ((OWLDatatype) c).asOWLDatatype(); if (OWL2Datatype.XSD_STRING.matches(dt) || OWL2Datatype.XSD_DATE_TIME.matches(dt) || OWL2Datatype.XSD_DATE_TIME_STAMP.matches(dt)) { return true; } } // FIXME!! try to be more precise return false; }
/** * cardinality of a concept/data expression interpretation * * @param c class * @param n cardinality * @return true if #C^I > n */ private boolean isCardLargerThan(OWLObject c, int n) { if (n == 0) { return isBotDistinct(c); } // data top is infinite if (c instanceof OWLDataRange && isTopEquivalent(c)) { return true; } if (c instanceof OWLDatatype) { // string/time are infinite DT OWLDatatype dt = ((OWLDatatype) c).asOWLDatatype(); if (OWL2Datatype.XSD_STRING.matches(dt) || OWL2Datatype.XSD_DATE_TIME.matches(dt) || OWL2Datatype.XSD_DATE_TIME_STAMP.matches(dt)) { return true; } } // FIXME!! try to be more precise return false; }
/** * cardinality of a concept/data expression interpretation * * @param c class * @param n cardinality * @return true if #C^I > n */ private boolean isCardLargerThan(OWLObject c, int n) { if (n == 0) { return isBotDistinct(c); } // data top is infinite if (c instanceof OWLDataRange && isTopEquivalent(c)) { return true; } if (c instanceof OWLDatatype) { // string/time are infinite DT OWLDatatype dt = ((OWLDatatype) c).asOWLDatatype(); if (OWL2Datatype.XSD_STRING.matches(dt) || OWL2Datatype.XSD_DATE_TIME.matches(dt) || OWL2Datatype.XSD_DATE_TIME_STAMP.matches(dt)) { return true; } } // FIXME!! try to be more precise return false; }
else String datatypeName = pm.getShortForm(dat.asOWLDatatype()); if (fuzzyDatatypes.containsKey(datatypeName)) print("(instance " + getIndividualName(i1) + " (some " + dpName + " " + datatypeName + ") " + d + " )");