protected void addInclusion(OWLObjectPropertyExpression[] subObjectPropertyExpressions,OWLObjectPropertyExpression superObjectPropertyExpression) { for (int index=subObjectPropertyExpressions.length-1;index>=0;--index) subObjectPropertyExpressions[index]=subObjectPropertyExpressions[index].getSimplified(); m_axioms.m_complexObjectPropertyInclusions.add(new OWLAxioms.ComplexObjectPropertyInclusion(subObjectPropertyExpressions,superObjectPropertyExpression.getSimplified())); } protected void addInclusion(OWLDataPropertyExpression subDataPropertyExpression,OWLDataPropertyExpression superDataPropertyExpression) {
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 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 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 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 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()); }
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<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; } }
public void visit(OWLDisjointObjectPropertiesAxiom axiom) { OWLObjectPropertyExpression[] objectPropertyExpressions=new OWLObjectPropertyExpression[axiom.getProperties().size()]; axiom.getProperties().toArray(objectPropertyExpressions); for (int i=0;i<objectPropertyExpressions.length;i++) { objectPropertyExpressions[i]=objectPropertyExpressions[i].getSimplified(); m_axioms.m_objectPropertiesOccurringInOWLAxioms.add(objectPropertyExpressions[i].getNamedProperty()); } m_axioms.m_disjointObjectProperties.add(objectPropertyExpressions); } public void visit(OWLInverseObjectPropertiesAxiom axiom) {
public boolean setEditedObject(OWLObjectPropertyExpression p) { inverseCheckBox.setSelected(p != null && p.getSimplified().isAnonymous()); namedObjectPropertySelector.setSelection(p != null ? p.getNamedProperty() : null); return true; }
public boolean setEditedObject(OWLObjectPropertyExpression p) { inverseCheckBox.setSelected(p != null ? p.getSimplified().isAnonymous() : false); namedObjectPropertySelector.setSelection(p != null ? p.getNamedProperty() : null); return true; }
public boolean setEditedObject(OWLObjectPropertyExpression p) { inverseCheckBox.setSelected(p != null && p.getSimplified().isAnonymous()); namedObjectPropertySelector.setSelection(p != null ? p.getNamedProperty() : null); return true; }
@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); }
public void visit(OWLInverseFunctionalObjectPropertyAxiom axiom) { m_classExpressionInclusionsAsDisjunctions.add(new OWLClassExpression[] { m_factory.getOWLObjectMaxCardinality(1,axiom.getProperty().getSimplified().getInverseProperty()) }); m_axioms.m_objectPropertiesOccurringInOWLAxioms.add(axiom.getProperty().getNamedProperty()); } public void visit(OWLReflexiveObjectPropertyAxiom axiom) {
@Override public OWLSubClassOfAxiom asOWLSubClassOfAxiom() { return new OWLSubClassOfAxiomImpl(OWL_THING, new OWLObjectMaxCardinalityImpl( getProperty().getInverseProperty().getSimplified(), 1, OWL_THING), NO_ANNOTATIONS); } }
public OWLClassExpression visit(OWLObjectExactCardinality d) { OWLClassExpression filler=getNNF(d.getFiller()); return m_factory.getOWLObjectExactCardinality(d.getCardinality(),d.getProperty().getSimplified(),filler); } public OWLClassExpression visit(OWLDataSomeValuesFrom d) {
@Override public OWLSubClassOfAxiom asOWLSubClassOfAxiom() { return new OWLSubClassOfAxiomImpl(OWL_THING, new OWLObjectMaxCardinalityImpl( getProperty().getInverseProperty().getSimplified(), 1, OWL_THING), NO_ANNOTATIONS); } }
public OWLClassExpression visit(OWLObjectSomeValuesFrom d) { OWLClassExpression filler=getSimplified(d.getFiller()); if (filler.isOWLNothing()) return m_factory.getOWLNothing(); else return m_factory.getOWLObjectSomeValuesFrom(d.getProperty().getSimplified(),filler); } public OWLClassExpression visit(OWLObjectAllValuesFrom d) {