@Override public void visit(OWLDatatype node) { isTopEq = node.isTopDatatype(); }
@Override public void visit(OWLDatatype node) { isTopEq = node.isTopDatatype(); }
@Override public void visit(OWLDatatype node) { isTopEq = node.isTopDatatype(); }
@Override public void visit(OWLDatatype node) { isTopEq = node.isTopDatatype(); }
@Override public void visit(OWLDatatype node) { isTopEq = node.isTopDatatype(); }
@Override public void visit(OWLDatatype node) { isTopEq = node.isTopDatatype(); }
@Override public void visit(OWLDatatype node) { isTopEq = node.isTopDatatype(); }
@Override public void visit(OWLDatatype node) { isTopEq = node.isTopDatatype(); }
@Override public void visit(OWLDatatype node) { if(ignoreGenericTypeStatements && !node.isRDFPlainLiteral() && !node.isTopDatatype()){ sparql += "FILTER(DATATYPE(" + variables.peek() + "=<" + node.getIRI().toString() + ">))"; } }
/** * This is a convenience method for determining whether a given data range * expression is the top datatype or a built-in 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 * datatype; {@code false} otherwise */ protected static boolean isTopOrBuiltInDatatype(OWLDataRange dataRange) { if (dataRange.isOWLDatatype()) { OWLDatatype dataType = dataRange.asOWLDatatype(); return dataType.isTopDatatype() || dataType.isBuiltIn(); } else { return false; } }
/** * This is a convenience method for determining whether a given data range * expression is the top datatype or a built-in 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 * datatype; {@code false} otherwise */ protected static boolean isTopOrBuiltInDatatype(OWLDataRange dataRange) { if (dataRange.isOWLDatatype()) { OWLDatatype dataType = dataRange.asOWLDatatype(); return dataType.isTopDatatype() || dataType.isBuiltIn(); } else { return false; } }
/** * This is a convenience method for determining whether a given data range * expression is the top datatype or a built-in 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 * datatype; {@code false} otherwise */ protected static boolean isTopOrBuiltInDatatype(OWLDataRange dataRange) { if (dataRange.isOWLDatatype()) { OWLDatatype dataType = dataRange.asOWLDatatype(); return dataType.isTopDatatype() || dataType.isBuiltIn(); } else { return false; } }
protected void undeclaredDatatype(OWLDatatype dt) { if (!dt.isTopDatatype() && !dt.isBuiltIn() && !getCurrentOntology().isDeclared(dt, Imports.INCLUDED)) { violations .add(new UseOfUndeclaredDatatype(getCurrentOntology(), getCurrentAxiom(), dt)); } }
protected void undeclaredDatatype(OWLDatatype dt) { if (!dt.isTopDatatype() && !dt.isBuiltIn() && !getCurrentOntology().isDeclared(dt, Imports.INCLUDED)) { violations .add(new UseOfUndeclaredDatatype(getCurrentOntology(), getCurrentAxiom(), dt)); } }
protected void undeclaredDatatype(OWLDatatype dt) { if (!dt.isTopDatatype() && !dt.isBuiltIn() && !getCurrentOntology().isDeclared(dt, Imports.INCLUDED)) { violations .add(new UseOfUndeclaredDatatype(getCurrentOntology(), getCurrentAxiom(), dt)); } }
protected void unknownDatatype(OWLDatatype node) { if (!Namespaces.XSD.inNamespace(node.getIRI()) && !node.isBuiltIn() && !node.isTopDatatype() && node.getIRI().isReservedVocabulary()) { violations.add(new UseOfUnknownDatatype(getCurrentOntology(), getCurrentAxiom(), node)); } }
protected void unknownDatatype(OWLDatatype node) { if (!Namespaces.XSD.inNamespace(node.getIRI()) && !node.isBuiltIn() && !node.isTopDatatype() && node.getIRI().isReservedVocabulary()) { violations.add(new UseOfUnknownDatatype(getCurrentOntology(), getCurrentAxiom(), node)); } }
protected void unknownDatatype(OWLDatatype node) { if (!Namespaces.XSD.inNamespace(node.getIRI()) && !node.isBuiltIn() && !node.isTopDatatype() && node.getIRI().isReservedVocabulary()) { violations.add(new UseOfUnknownDatatype(getCurrentOntology(), getCurrentAxiom(), node)); } }
/** * 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; } }