/** * @param ontologies ontologies to inspect * @return datatypes declared in the ontologies (not including OWL 2 standard datatypes) */ public Stream<OWLDataPropertyRangeAxiom> datatypes(Collection<OWLOntology> ontologies) { return ontologies.stream().flatMap(ont -> ont.axioms(AxiomType.DATA_PROPERTY_RANGE)) .filter(ax -> ax.getRange() .isOWLDatatype()); }
/** * @param ontologies ontologies to inspect * @return datatypes declared in the ontologies (not including OWL 2 standard datatypes) */ public Stream<OWLDataPropertyRangeAxiom> datatypes(Collection<OWLOntology> ontologies) { return ontologies.stream().flatMap(ont -> ont.axioms(AxiomType.DATA_PROPERTY_RANGE)) .filter(ax -> ax.getRange() .isOWLDatatype()); }
/** * @param ontologies ontologies to inspect * @return datatypes declared in the ontologies (not including OWL 2 standard datatypes) */ public Stream<OWLDataPropertyRangeAxiom> datatypes(Collection<OWLOntology> ontologies) { return ontologies.stream().flatMap(ont -> ont.axioms(AxiomType.DATA_PROPERTY_RANGE)) .filter(ax -> ax.getRange() .isOWLDatatype()); }
/** * @param expr data range to check * @return true iff EXPR is a top datatype or a built-in datatype; */ public boolean isTopOrBuiltInDataType(OWLDataRange expr) { return expr.isTopDatatype() || expr.isOWLDatatype() && expr.asOWLDatatype().isBuiltIn(); }
@Override void handleChild(DataRangeEH<? extends OWLDataRange, ?> h) { OWLDataRange dr = h.getOWLObject(); if (dr.isOWLDatatype()) { builder.withDatatype(dr.asOWLDatatype()); } }
private static String datatypeIRI(OWLDataRange r) { if(r.isOWLDatatype()) { return r.asOWLDatatype().getIRI().toString(); } return null; } @Override
@Override void handleChild(DataRangeEH<? extends OWLDataRange, ?> h) { OWLDataRange dr = h.getOWLObject(); if (dr.isOWLDatatype()) { builder.withDatatype(dr.asOWLDatatype()); } }
/** * @param expr data range to check * @return true iff EXPR is a top datatype or a built-in datatype; */ public boolean isTopOrBuiltInDataType(OWLDataRange expr) { return expr.isTopDatatype() || expr.isOWLDatatype() && expr.asOWLDatatype().isBuiltIn(); }
@Override void handleChild(DataRangeEH<? extends OWLDataRange, ?> h) { OWLDataRange dr = h.getOWLObject(); if (dr.isOWLDatatype()) { builder.withDatatype(dr.asOWLDatatype()); } }
/** * @param expr data range to check * @return true iff EXPR is a top datatype or a built-in datatype; */ public boolean isTopOrBuiltInDataType(OWLDataRange expr) { return expr.isTopDatatype() || expr.isOWLDatatype() && expr.asOWLDatatype().isBuiltIn(); }
@Override void handleChild(DataRangeEH<? extends OWLDataRange, ?> h) { OWLDataRange dr = h.getOWLObject(); if (dr.isOWLDatatype()) { builder.withDatatype(dr.asOWLDatatype()); } }
@Override void handleChild(DataRangeEH<? extends OWLDataRange, ?> h) { OWLDataRange handledDataRange = h.getOWLObject(); if (handledDataRange.isOWLDatatype() && builder.getType() == null) { builder.with(handledDataRange.asOWLDatatype()); } else { builder.withType(handledDataRange); } } }
@Override void handleChild(DataRangeEH<? extends OWLDataRange, ?> h) { OWLDataRange handledDataRange = h.getOWLObject(); if (handledDataRange.isOWLDatatype() && builder.getType() == null) { builder.with(handledDataRange.asOWLDatatype()); } else { builder.withType(handledDataRange); } } }
public AttributeType<?> resourceType(OWLDataProperty property) { OWL2Datatype propertyType= eval(() -> { Optional<OWLDataPropertyRangeAxiom> ax = ontology.dataPropertyRangeAxioms(property) .filter(rangeAxiom -> rangeAxiom.getRange().isOWLDatatype() && rangeAxiom.getRange().asOWLDatatype().isBuiltIn()) .findFirst(); return ax.isPresent() ? ax.get().getRange().asOWLDatatype().getBuiltInDatatype() : null; }); AttributeType.DataType<?> graknType = propertyType == null ? AttributeType.DataType.STRING : owlBuiltInToGraknDatatype(propertyType); AttributeType<?> attributeType = tx.putAttributeType(namer.fromIri(property.getIRI()), graknType); return attributeType; }
@Override void handleChild(DataRangeEH<? extends OWLDataRange, ?> h) { OWLDataRange handledDataRange = h.getOWLObject(); if (handledDataRange.isOWLDatatype() && builder.getType() == null) { builder.with(handledDataRange.asOWLDatatype()); } else { builder.withType(handledDataRange); } } }
@Override void handleChild(DataRangeEH<? extends OWLDataRange, ?> h) { OWLDataRange handledDataRange = h.getOWLObject(); if (handledDataRange.isOWLDatatype() && builder.getType() == null) { builder.with(handledDataRange.asOWLDatatype()); } else { builder.withType(handledDataRange); } } }
@Override public void visit(OWLDataComplementOf node) { write(NOT); if (node.getDataRange().isOWLDatatype()) { node.getDataRange().accept(this); } else { write("("); node.getDataRange().accept(this); write(")"); } }
@Override public void visit(OWLDataComplementOf node) { write(NOT); if (node.getDataRange().isOWLDatatype()) { node.getDataRange().accept(this); } else { write("("); node.getDataRange().accept(this); write(")"); } }
@Override public void visit(OWLDataComplementOf node) { write(NOT); if (node.getDataRange().isOWLDatatype()) { node.getDataRange().accept(this); } else { write("("); node.getDataRange().accept(this); write(")"); } }
@Override public void visit(OWLDataComplementOf node) { write(NOT); if (node.getDataRange().isOWLDatatype()) { node.getDataRange().accept(this); } else { write("("); node.getDataRange().accept(this); write(")"); } }