@Override public Collection<OWLSubObjectPropertyOfAxiom> asSubObjectPropertyOfAxioms() { Set<OWLSubObjectPropertyOfAxiom> axs = new HashSet<>(); axs.add(new OWLSubObjectPropertyOfAxiomImpl(first, second.getInverseProperty().getSimplified(), NO_ANNOTATIONS)); axs.add(new OWLSubObjectPropertyOfAxiomImpl(second, first.getInverseProperty().getSimplified(), NO_ANNOTATIONS)); return axs; } }
@Override public Collection<OWLSubObjectPropertyOfAxiom> asSubObjectPropertyOfAxioms() { Set<OWLSubObjectPropertyOfAxiom> axs = new HashSet<>(); axs.add(new OWLSubObjectPropertyOfAxiomImpl(first, second.getInverseProperty().getSimplified(), NO_ANNOTATIONS)); axs.add(new OWLSubObjectPropertyOfAxiomImpl(second, first.getInverseProperty().getSimplified(), NO_ANNOTATIONS)); return axs; } }
protected void mark(OWLObjectPropertyExpression p) { compositeProperties.add(p.getSimplified()); compositeProperties.add(p.getInverseProperty().getSimplified()); inverseProperties(p).forEach(i -> { compositeProperties.add(i.getSimplified()); compositeProperties.add(i.getInverseProperty().getSimplified()); }); }
protected void mark(OWLObjectPropertyExpression p) { compositeProperties.add(p.getSimplified()); compositeProperties.add(p.getInverseProperty().getSimplified()); inverseProperties(p).forEach(i -> { compositeProperties.add(i.getSimplified()); compositeProperties.add(i.getInverseProperty().getSimplified()); }); }
protected void map(Map<OWLObjectPropertyExpression, Set<OWLObjectPropertyExpression>> map, OWLSubPropertyChainOfAxiom ax, OWLObjectPropertyExpression prop) { map.computeIfAbsent(prop.getSimplified(), k -> new HashSet<>()) .add(ax.getSuperProperty().getSimplified()); map.computeIfAbsent(prop.getInverseProperty().getSimplified(), k -> new HashSet<>()) .add(ax.getSuperProperty() .getInverseProperty().getSimplified()); }
@Override public Collection<OWLAxiom> visit(OWLInverseObjectPropertiesAxiom axiom) { Set<OWLAxiom> axioms = new HashSet<>(); axioms.add(df.getOWLSubObjectPropertyOfAxiom(axiom.getFirstProperty(), axiom.getSecondProperty().getInverseProperty())); axioms.add(df.getOWLSubObjectPropertyOfAxiom(axiom.getSecondProperty(), axiom.getFirstProperty().getInverseProperty())); return axioms; }
@Override public Collection<OWLAxiom> visit(OWLInverseObjectPropertiesAxiom axiom) { Set<OWLAxiom> axioms = new HashSet<>(); axioms.add(df.getOWLSubObjectPropertyOfAxiom(axiom.getFirstProperty(), axiom.getSecondProperty().getInverseProperty())); axioms.add(df.getOWLSubObjectPropertyOfAxiom(axiom.getSecondProperty(), axiom.getFirstProperty().getInverseProperty())); return axioms; }
protected void getKeyValueASymmetric( Map<OWLObjectPropertyExpression, Set<OWLObjectPropertyExpression>> map, OWLObjectPropertyExpression p1, OWLObjectPropertyExpression p2) { getKeyValue(p1.getSimplified(), map).add(p2.getInverseProperty().getSimplified()); getKeyValue(p1.getInverseProperty().getSimplified(), map).add(p2.getSimplified()); }
protected void getKeyValueSymmetric( Map<OWLObjectPropertyExpression, Set<OWLObjectPropertyExpression>> map, OWLObjectPropertyExpression p1, OWLObjectPropertyExpression p2) { getKeyValue(p1.getSimplified(), map).add(p2.getSimplified()); getKeyValue(p1.getInverseProperty().getSimplified(), map) .add(p2.getInverseProperty().getSimplified()); }
protected void getKeyValueSymmetric( Map<OWLObjectPropertyExpression, Set<OWLObjectPropertyExpression>> map, OWLObjectPropertyExpression p1, OWLObjectPropertyExpression p2) { getKeyValue(p1.getSimplified(), map).add(p2.getSimplified()); getKeyValue(p1.getInverseProperty().getSimplified(), map) .add(p2.getInverseProperty().getSimplified()); }
@Override public Set<OWLSubObjectPropertyOfAxiom> asSubPropertyAxioms() { Set<OWLSubObjectPropertyOfAxiom> result = new HashSet<>(5); result.add(new OWLSubObjectPropertyOfAxiomImpl(getProperty(), getProperty().getInverseProperty().getSimplified(), NO_ANNOTATIONS)); result.add(new OWLSubObjectPropertyOfAxiomImpl( getProperty().getInverseProperty().getSimplified(), getProperty(), NO_ANNOTATIONS)); return result; }
@Override public Set<OWLSubObjectPropertyOfAxiom> asSubPropertyAxioms() { Set<OWLSubObjectPropertyOfAxiom> result = new HashSet<>(5); result.add(new OWLSubObjectPropertyOfAxiomImpl(getProperty(), getProperty().getInverseProperty().getSimplified(), NO_ANNOTATIONS)); result.add(new OWLSubObjectPropertyOfAxiomImpl( getProperty().getInverseProperty().getSimplified(), getProperty(), NO_ANNOTATIONS)); return result; }
@Override public Node<OWLObjectPropertyExpression> getInverseObjectProperties( OWLObjectPropertyExpression pe) { ensurePrepared(); OWLObjectPropertyExpression inv = pe.getInverseProperty().getSimplified(); return getEquivalentObjectProperties(inv); }
@Override public Node<OWLObjectPropertyExpression> getInverseObjectProperties( OWLObjectPropertyExpression pe) { ensurePrepared(); OWLObjectPropertyExpression inv = pe.getInverseProperty().getSimplified(); return getEquivalentObjectProperties(inv); }
@Override public void visit(OWLInverseObjectPropertiesAxiom axiom) { isLocal = kernel.isEntailed(df.getOWLSubObjectPropertyOfAxiom(axiom.getFirstProperty(), axiom .getSecondProperty().getInverseProperty())) && kernel .isEntailed(df.getOWLSubObjectPropertyOfAxiom(axiom .getFirstProperty().getInverseProperty(), axiom.getSecondProperty())); }
@Override public void visit(OWLInverseObjectPropertiesAxiom axiom) { isLocal = kernel .isEntailed(df.getOWLSubObjectPropertyOfAxiom(axiom.getFirstProperty(), axiom.getSecondProperty().getInverseProperty())) && kernel.isEntailed(df.getOWLSubObjectPropertyOfAxiom( axiom.getFirstProperty().getInverseProperty(), axiom.getSecondProperty())); }
@Override public void visit(OWLInverseObjectPropertiesAxiom axiom) { isLocal = kernel .isEntailed(df.getOWLSubObjectPropertyOfAxiom(axiom.getFirstProperty(), axiom.getSecondProperty().getInverseProperty())) && kernel.isEntailed(df.getOWLSubObjectPropertyOfAxiom( axiom.getFirstProperty().getInverseProperty(), axiom.getSecondProperty())); }
@Override public Collection<OWLAxiom> visit(OWLInverseFunctionalObjectPropertyAxiom axiom) { return doDefault(df.getOWLSubClassOfAxiom(df.getOWLThing(), df.getOWLObjectMaxCardinality(1, axiom.getProperty().getInverseProperty()))); }
@Override public OWLSubClassOfAxiom asOWLSubClassOfAxiom() { return new OWLSubClassOfAxiomImpl(OWL_THING, new OWLObjectMaxCardinalityImpl( getProperty().getInverseProperty().getSimplified(), 1, OWL_THING), NO_ANNOTATIONS); } }
@Override public Collection<OWLAxiom> visit(OWLInverseFunctionalObjectPropertyAxiom axiom) { return doDefault(df.getOWLSubClassOfAxiom(df.getOWLThing(), df.getOWLObjectMaxCardinality(1, axiom.getProperty().getInverseProperty()))); }