/** * Checks if e is declared functional in o. * * @param o ontology * @param e property * @return true for functional data properties */ public static boolean isFunctional(OWLDataProperty e, OWLOntology o) { return o.functionalDataPropertyAxioms(e).findAny().isPresent(); }
/** * Checks if e is declared functional in o. * * @param o ontology * @param e property * @return true for functional data properties */ public static boolean isFunctional(OWLDataProperty e, OWLOntology o) { return o.functionalDataPropertyAxioms(e).findAny().isPresent(); }
/** * Checks if e is declared functional in o. * * @param o ontology * @param e property * @return true for functional data properties */ public static boolean isFunctional(OWLDataProperty e, OWLOntology o) { return o.functionalDataPropertyAxioms(e).findAny().isPresent(); }
@Override public Stream<OWLFunctionalDataPropertyAxiom> functionalDataPropertyAxioms( OWLDataPropertyExpression property) { return withReadLock(() -> delegate.functionalDataPropertyAxioms(property)); }
@Override public Stream<OWLFunctionalDataPropertyAxiom> functionalDataPropertyAxioms( OWLDataPropertyExpression property) { return withReadLock(() -> delegate.functionalDataPropertyAxioms(property)); }
@Override public Stream<OWLFunctionalDataPropertyAxiom> functionalDataPropertyAxioms( OWLDataPropertyExpression property) { return withReadLock(() -> delegate.functionalDataPropertyAxioms(property)); }
@Override public Stream<OWLFunctionalDataPropertyAxiom> functionalDataPropertyAxioms( OWLDataPropertyExpression property) { return withReadLock(() -> delegate.functionalDataPropertyAxioms(property)); }
if (!isFiltered(AxiomType.FUNCTIONAL_DATA_PROPERTY)) { SectionMap<Object, OWLAxiom> characteristics = new SectionMap<>(); filtersort(o.functionalDataPropertyAxioms(property)).forEach(ax -> { characteristics.put(FUNCTIONAL.toString(), ax); axioms.add(ax);
if (!isFiltered(AxiomType.FUNCTIONAL_DATA_PROPERTY)) { SectionMap<Object, OWLAxiom> characteristics = new SectionMap<>(); filtersort(o.functionalDataPropertyAxioms(property)).forEach(ax -> { characteristics.put(FUNCTIONAL.toString(), ax); axioms.add(ax);
if (!isFiltered(AxiomType.FUNCTIONAL_DATA_PROPERTY)) { SectionMap<Object, OWLAxiom> characteristics = new SectionMap<>(); filtersort(o.functionalDataPropertyAxioms(property)).forEach(ax -> { characteristics.put(FUNCTIONAL.toString(), ax); axioms.add(ax);
if (!isFiltered(AxiomType.FUNCTIONAL_DATA_PROPERTY)) { SectionMap<Object, OWLAxiom> characteristics = new SectionMap<>(); filtersort(o.functionalDataPropertyAxioms(property)).forEach(ax -> { characteristics.put(FUNCTIONAL.toString(), ax); axioms.add(ax);