/** * @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); } if (c instanceof OWLDatatype) { return ((OWLDatatype) c).isBuiltIn() && !((OWLDatatype) c).getBuiltInDatatype() .isFinite(); } // 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); } if (c instanceof OWLDatatype) { return ((OWLDatatype) c).isBuiltIn() && !((OWLDatatype) c).getBuiltInDatatype() .isFinite(); } // 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); } if (c instanceof OWLDatatype) { return ((OWLDatatype) c).isBuiltIn() && !((OWLDatatype) c).getBuiltInDatatype() .isFinite(); } // 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); } if (c instanceof OWLDatatype) { return ((OWLDatatype) c).isBuiltIn() && !((OWLDatatype) c).getBuiltInDatatype() .isFinite(); } // 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); } if (c instanceof OWLDatatype) { return ((OWLDatatype) c).isBuiltIn() && !((OWLDatatype) c).getBuiltInDatatype() .isFinite(); } // 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); } if (c instanceof OWLDatatype) { return ((OWLDatatype) c).isBuiltIn() && !((OWLDatatype) c).getBuiltInDatatype() .isFinite(); } // 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); } if (c instanceof OWLDatatype) { return ((OWLDatatype) c).isBuiltIn() && !((OWLDatatype) c).getBuiltInDatatype() .isFinite(); } // 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); } if (c instanceof OWLDatatype) { return ((OWLDatatype) c).isBuiltIn() && !((OWLDatatype) c).getBuiltInDatatype() .isFinite(); } // FIXME!! try to be more precise return false; }
/** * This is a convenience method for determining whether a given data range expression is the top data range * or a built-in infinite datatype. This is used in the bottom- and top-equivalence evaluators * for treating cardinality restrictions. * * @param dataRange a data range expression * @return <code>true</code> if the specified data range expression is the top data range * or a built-in infinite datatype; <code>false</code> otherwise */ protected static boolean isTopEquivalentDataRange(OWLDataRange dataRange) { if (dataRange.isDatatype()){ OWLDatatype dataType = dataRange.asOWLDatatype(); return (dataType.isTopDatatype() || (dataType.isBuiltIn() && !dataType.getBuiltInDatatype().isFinite())); } else return false; }
/** * This is a convenience method for determining whether a given data range * expression is the top datatype or a built-in infinite datatype. This is * used in the bottom- and top-equivalence evaluators for treating * cardinality restrictions. * * @param dataRange a data range expression * @return {@code true} if the specified data range expression is the top datatype or a built-in * infinite datatype; {@code false} otherwise */ protected static boolean isTopOrBuiltInInfiniteDatatype(OWLDataRange dataRange) { if (dataRange.isOWLDatatype()) { OWLDatatype dataType = dataRange.asOWLDatatype(); return dataType.isTopDatatype() || dataType.isBuiltIn() && !dataType .getBuiltInDatatype().isFinite(); } else { return false; } }
/** * This is a convenience method for determining whether a given data range * expression is the top datatype or a built-in infinite datatype. This is * used in the bottom- and top-equivalence evaluators for treating * cardinality restrictions. * * @param dataRange a data range expression * @return {@code true} if the specified data range expression is the top datatype or a built-in * infinite datatype; {@code false} otherwise */ protected static boolean isTopOrBuiltInInfiniteDatatype(OWLDataRange dataRange) { if (dataRange.isOWLDatatype()) { OWLDatatype dataType = dataRange.asOWLDatatype(); return dataType.isTopDatatype() || dataType.isBuiltIn() && !dataType .getBuiltInDatatype().isFinite(); } else { return false; } }
/** * This is a convenience method for determining whether a given data range * expression is the top datatype or a built-in infinite datatype. This is * used in the bottom- and top-equivalence evaluators for treating * cardinality restrictions. * * @param dataRange a data range expression * @return {@code true} if the specified data range expression is the top datatype or a built-in * infinite datatype; {@code false} otherwise */ protected static boolean isTopOrBuiltInInfiniteDatatype(OWLDataRange dataRange) { if (dataRange.isOWLDatatype()) { OWLDatatype dataType = dataRange.asOWLDatatype(); return dataType.isTopDatatype() || dataType.isBuiltIn() && !dataType .getBuiltInDatatype().isFinite(); } else { return false; } }
/** * This is a convenience method for determining whether a given data range * expression is the top datatype or a built-in infinite datatype. This is * used in the bottom- and top-equivalence evaluators for treating * cardinality restrictions. * * @param dataRange a data range expression * @return {@code true} if the specified data range expression is the top datatype or a built-in * infinite datatype; {@code false} otherwise */ protected static boolean isTopOrBuiltInInfiniteDatatype(OWLDataRange dataRange) { if (dataRange.isOWLDatatype()) { OWLDatatype dataType = dataRange.asOWLDatatype(); return dataType.isTopDatatype() || dataType.isBuiltIn() && !dataType .getBuiltInDatatype().isFinite(); } else { return false; } }