@Override public Boolean visit(OWLDisjointObjectPropertiesAxiom axiom) { if (axiom.getProperties().size() == 2 && axiom.getProperties().contains(factory.getOWLBottomObjectProperty())) { return true; } return false; }
public Boolean visit(OWLDisjointObjectPropertiesAxiom axiom) { int n=axiom.getProperties().size(); OWLObjectPropertyExpression[] props=axiom.getProperties().toArray(new OWLObjectPropertyExpression[n]); for (int i=0;i<n-1;i++) for (int j=i+1;j<n;j++) if (!reasoner.isDisjointObjectProperty(props[i],props[j])) return Boolean.FALSE; return Boolean.TRUE; } public Boolean visit(OWLFunctionalObjectPropertyAxiom axiom) {
public void visit(OWLDisjointObjectPropertiesAxiom axiom) { if (!isFilterSet(UsageFilter.filterDisjoints)) { for (OWLObjectPropertyExpression prop : axiom.getProperties()) { prop.accept(this); } } }
public void visit(OWLDisjointObjectPropertiesAxiom axiom) { if (!isFilterSet(UsageFilter.filterDisjoints)){ for (OWLObjectPropertyExpression prop : axiom.getProperties()) { prop.accept(this); } } }
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) {
@Nonnull @Override public Set<UsageReference> visit(@Nonnull OWLDisjointObjectPropertiesAxiom axiom) { return translate(axiom.getProperties(), axiom); }
public Set<OWLAxiom> visit(OWLDisjointObjectPropertiesAxiom axiom) { Set<OWLAxiom> axioms = new HashSet<OWLAxiom>(); List<OWLObjectPropertyExpression> props = new ArrayList<OWLObjectPropertyExpression>(axiom.getProperties()); for (int i = 0; i < props.size(); i++) { for (int j = i + 1; j < props.size(); j++) { axioms.add(df.getOWLDisjointObjectPropertiesAxiom(props.get(i), props.get(j))); } } return axioms; }
public void visit(OWLDisjointObjectPropertiesAxiom axiom) { constructs.add(R); for (OWLObjectPropertyExpression prop : axiom.getProperties()) { prop.accept(this); } }
public void visit(OWLDisjointObjectPropertiesAxiom axiom) { for (OWLObjectPropertyExpression p : axiom.getProperties()) { add(p); } }
@Nonnull @Override public Optional<? extends OWLObject> visit(@Nonnull OWLDisjointObjectPropertiesAxiom axiom) { return objectPropertyExpressionSelector.selectOne(axiom.getProperties()); }
@Override public void visit(OWLDisjointObjectPropertiesAxiom axiom) { sb.append("DisjointObjectProperties("); writeAnnotations(axiom); render(axiom.getProperties()); sb.append(" )"); }
public void visit(OWLDisjointObjectPropertiesAxiom axiom) { for (OWLObjectPropertyExpression prop : axiom.getProperties()) { if (!prop.isAnonymous()) { getAxiomsForLHS(prop.asOWLObjectProperty()).add(axiom); } indexAxiomsByRHSEntities(prop, axiom); } }
@Override public void visit(OWLDisjointObjectPropertiesAxiom axiom) { for (OWLObjectPropertyExpression prop : axiom.getProperties()) { prop.accept(this); } processAxiomAnnotations(axiom); }
@Override public void visit(OWLDisjointObjectPropertiesAxiom axiom) { renderNaryCollection(DISJOINT_PROPERTIES, axiom.getProperties(), DISJOINT_WITH); renderAxiomAnnotations(axiom); }
protected OWLObjectEditor<Set<OWLObjectPropertyExpression>> getObjectEditor() { OWLObjectPropertyTabbedSetEditor editor = new OWLObjectPropertyTabbedSetEditor(getOWLEditorKit()); final Set<OWLObjectPropertyExpression> disjoints = new HashSet<>(getAxiom().getProperties()); disjoints.remove(getRootObject()); editor.setEditedObject(disjoints); return editor; }
public void visit(OWLDisjointObjectPropertiesAxiom axiom) { writeAxiomStart(DISJOINT_OBJECT_PROPERTIES, axiom); write(axiom.getProperties()); writeAxiomEnd(); }
public void visit(OWLDisjointObjectPropertiesAxiom axiom) { setAxiomWriting(); writeBinaryOrNaryList(DISJOINT_WITH, axiom.getProperties(), DISJOINT_PROPERTIES); restore(); }
@Override protected boolean isResettingChange(OWLOntologyChange change) { return change.isAxiomChange() && change.getAxiom() instanceof OWLDisjointObjectPropertiesAxiom && ((OWLDisjointObjectPropertiesAxiom) change.getAxiom()).getProperties().contains(getRootObject()); }
@Override protected boolean isResettingChange(OWLOntologyChange change) { return change.isAxiomChange() && change.getAxiom() instanceof OWLDisjointObjectPropertiesAxiom && ((OWLDisjointObjectPropertiesAxiom) change.getAxiom()).getProperties().contains(getRootObject()); }
public void visit(OWLDisjointObjectPropertiesAxiom axiom) { writer.writeStartElement(DISJOINT_OBJECT_PROPERTIES); writeAnnotations(axiom); render(axiom.getProperties()); writer.writeEndElement(); }