@Override public void visit(OWLDisjointObjectPropertiesAxiom axiom) { axiom.properties().forEach(prop -> { if (!prop.isAnonymous()) { getAxiomsForLHS(prop.asOWLObjectProperty()).add(axiom); } indexAxiomsByRHSEntities(prop, axiom); }); }
@Override public void visit(OWLDisjointObjectPropertiesAxiom axiom) { addConstruct(ROLE_COMPLEX); axiom.properties().forEach(o -> o.accept(this)); }
public void visit(OWLObjectPropertyDomainAxiom axiom) { OWLObjectAllValuesFrom allPropertyNohting=m_factory.getOWLObjectAllValuesFrom(axiom.getProperty().getSimplified(),m_factory.getOWLNothing()); m_classExpressionInclusionsAsDisjunctions.add(new OWLClassExpression[] { positive(axiom.getDomain()),allPropertyNohting }); m_axioms.m_objectPropertiesOccurringInOWLAxioms.add(axiom.getProperty().getNamedProperty()); } public void visit(OWLObjectPropertyRangeAxiom axiom) {
@Override public void visit(OWLSubObjectPropertyOfAxiom axiom) { if (!axiom.getSubProperty().isAnonymous()) { source = axiom.getSubProperty().asOWLObjectProperty(); } if (!axiom.getSuperProperty().isAnonymous()) { target = axiom.getSuperProperty().asOWLObjectProperty(); } }
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()); }); }
public boolean setEditedObject(OWLObjectPropertyExpression p) { inverseCheckBox.setSelected(p != null && p.getSimplified().isAnonymous()); namedObjectPropertySelector.setSelection(p != null ? p.getNamedProperty() : null); return true; }
@Override public void visit(OWLEquivalentObjectPropertiesAxiom axiom) { axiom.properties().forEach(prop -> { if (!prop.isAnonymous()) { getAxiomsForLHS(prop.asOWLObjectProperty()).add(axiom); } indexAxiomsByRHSEntities(prop, axiom); }); }
@Override public void visit(OWLObjectPropertyAssertionAxiom axiom) { process(axiom); axiom.getSubject().accept(this); axiom.getProperty().accept(this); axiom.getObject().accept(this); }
@Override public void visit(OWLObjectPropertyDomainAxiom axiom) { addConstruct(ROLE_DOMAIN_RANGE); axiom.getDomain().accept(this); axiom.getProperty().accept(this); }
@Override public void visit(OWLObjectPropertyRangeAxiom axiom) { addConstruct(ROLE_DOMAIN_RANGE); axiom.getRange().accept(this); axiom.getProperty().accept(this); }
public void visit(OWLObjectSomeValuesFrom desc) { desc.getProperty().accept(this); OWLObjectPropertyExpression prop = (OWLObjectPropertyExpression) obj; desc.getFiller().accept(this); OWLClassExpression filler = (OWLClassExpression) obj; obj = dataFactory.getOWLObjectSomeValuesFrom(prop, filler); }
@Override public void visit(OWLNegativeObjectPropertyAssertionAxiom axiom) { process(axiom); axiom.getSubject().accept(this); axiom.getProperty().accept(this); axiom.getObject().accept(this); }
@Override public void visit(OWLObjectAllValuesFrom ce) { addConstruct(UNIVERSAL_RESTRICTION); ce.getProperty().accept(this); ce.getFiller().accept(this); }
private void intializeObjectRangeMap() { objectRangeMap = new HashMap<OWLObjectProperty, OWLClass>(); for (OWLObjectPropertyRangeAxiom axiom : ontology.getAxioms(AxiomType.OBJECT_PROPERTY_RANGE)) { if (!axiom.getRange().isAnonymous() && !axiom.getProperty().isAnonymous()) { OWLObjectProperty property = axiom.getProperty().asOWLObjectProperty(); if (objectRangeMap.get(property) == null) { objectRangeMap.put(property, axiom.getRange().asOWLClass()); } } } }
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) {
public OWLClassExpression visit(OWLObjectAllValuesFrom d) { OWLClassExpression filler=getSimplified(d.getFiller()); if (filler.isOWLThing()) return m_factory.getOWLThing(); else return m_factory.getOWLObjectAllValuesFrom(d.getProperty().getSimplified(),filler); } public OWLClassExpression visit(OWLObjectHasValue d) {
public OWLClassExpression visit(OWLObjectMinCardinality d) { OWLClassExpression filler=getSimplified(d.getFiller()); if (d.getCardinality()<=0) return m_factory.getOWLThing(); else if (filler.isOWLNothing()) return m_factory.getOWLNothing(); else if (d.getCardinality()==1) return m_factory.getOWLObjectSomeValuesFrom(d.getProperty().getSimplified(),filler); else return m_factory.getOWLObjectMinCardinality(d.getCardinality(),d.getProperty().getSimplified(),filler); } public OWLClassExpression visit(OWLObjectMaxCardinality d) {
@Nonnull public OBORelationship toOboRelationship(@Nonnull OWLObjectSomeValuesFrom someValuesFrom) { OWLObjectPropertyData property = renderingManager.getObjectPropertyData(someValuesFrom.getProperty().asOWLObjectProperty()); OWLClassData filler = renderingManager.getClassData(someValuesFrom.getFiller().asOWLClass()); return new OBORelationship(property, filler); } }
@Override public void visit(OWLSubObjectPropertyOfAxiom axiom) { process(axiom); axiom.getSubProperty().accept(this); axiom.getSuperProperty().accept(this); }
public void visit(OWLNegativeObjectPropertyAssertionAxiom axiom) { if (axiom.containsAnonymousIndividuals()) throw new IllegalArgumentException("The axiom "+axiom+" contains anonymous individuals, which is not allowed in OWL 2 DL. "); addFact(m_factory.getOWLNegativeObjectPropertyAssertionAxiom(axiom.getProperty().getSimplified(),axiom.getSubject(),axiom.getObject())); m_axioms.m_objectPropertiesOccurringInOWLAxioms.add(axiom.getProperty().getNamedProperty()); } public void visit(OWLDataPropertyAssertionAxiom axiom) {