@Override public OWLAxiom visit(OWLObjectPropertyDomainAxiom axiom) { return df.getOWLObjectPropertyDomainAxiom(axiom.getProperty(), axiom.getDomain().accept(classVisitor)); }
@Override public void visit(OWLObjectPropertyDomainAxiom axiom) { OWLSubClassOfAxiom subClassOfAxiom = axiom.asOWLSubClassOfAxiom(); }
@Override public OWLClassExpression visit(OWLObjectPropertyDomainAxiom ax) { OWLClassExpression exists = df.getOWLObjectSomeValuesFrom(ax.getProperty(), df.getOWLThing()); return df.getOWLObjectIntersectionOf(exists, df.getOWLObjectComplementOf(ax.getDomain())); }
@Override public Collection<OWLAxiom> visit(OWLObjectPropertyDomainAxiom axiom) { return subClassOf(df.getOWLObjectSomeValuesFrom(axiom.getProperty(), df.getOWLThing()), axiom.getDomain()); }
OWLClassExpression domain = ax.getDomain(); OWLObjectPropertyExpression propEx = ax.getProperty(); if (propEx.isAnonymous()) { error(ax, true); return; OWLObjectProperty prop = propEx.asOWLObjectProperty(); if (domain.isBottomEntity() || domain.isTopEntity()) { if (trObjectProperty(prop, OboFormatTag.TAG_DOMAIN.getTag(), range, ax.annotations())) { return; } else {
@Override public void visit(OWLObjectPropertyDomainAxiom axiom) { OWLObjectAllValuesFrom allPropertyNohting=m_factory.getOWLObjectAllValuesFrom(axiom.getProperty(),m_factory.getOWLNothing()); m_classExpressionInclusionsAsDisjunctions.add(Arrays.asList( positive(axiom.getDomain()),allPropertyNohting )); m_axioms.m_objectPropertiesOccurringInOWLAxioms.add(axiom.getProperty().getNamedProperty()); } @Override
@Override public void visit(OWLObjectPropertyDomainAxiom axiom) { newAxiom = df.getOWLObjectPropertyDomainAxiom(axiom.getProperty(), this.replaceBottom(axiom.getDomain())); }
@Override public void visit(OWLObjectPropertyDomainAxiom axiom) { if (!axiom.getProperty().isAnonymous()) { getAxiomsForLHS(axiom.getProperty().asOWLObjectProperty()).add(axiom); } indexAxiomsByRHSEntities(axiom.getDomain(), axiom); }
public void visit(OWLObjectPropertyDomainAxiom axiom) { isEL = !(axiom.getProperty().isAnonymous()); if (isEL){ ELClassExpressionVisitor classExpVisitor = new ELClassExpressionVisitor(); axiom.getDomain().accept(classExpVisitor); isEL = classExpVisitor.getIsEL(); } }
@Override public Object visit(OWLObjectPropertyDomainAxiom axiom) { return visitAxiom(axiom, () -> df.getOWLObjectPropertyDomainAxiom(t(axiom.getProperty()), t(axiom .getDomain()), t(axiom.annotations()))); }
/** * Builder initialized from an existing object. * * @param expected the existing object * @param df data factory */ public BuilderObjectPropertyDomain(OWLObjectPropertyDomainAxiom expected, OWLDataFactory df) { this(df); withDomain(expected.getDomain()).withProperty(expected.getProperty()) .withAnnotations(expected.annotations()); }
@Override public void visit(OWLObjectPropertyDomainAxiom axiom) { writeAxiomStart(OBJECT_PROPERTY_DOMAIN, axiom); acceptAndSpace(axiom.getProperty()); axiom.getDomain().accept(this); writeAxiomEnd(); }
/** * Domain(R) = C is tautology iff ER.Top [= C */ @Override public void visit(OWLObjectPropertyDomainAxiom axiom) { isLocal = true; for (OWLClassExpression e : exprMap.get(axiom)) { isLocal &= kernel.isEntailed(df.getOWLSubClassOfAxiom(e, axiom.getDomain())); } }
@Override public Collection<OWLAxiom> visit(OWLObjectPropertyDomainAxiom axiom) { return subClassOf(df.getOWLObjectSomeValuesFrom(axiom.getProperty(), df.getOWLThing()), axiom.getDomain()); }
OWLClassExpression domain = ax.getDomain(); OWLObjectPropertyExpression propEx = ax.getProperty(); if (propEx.isAnonymous()) { error(ax, true); return; OWLObjectProperty prop = propEx.asOWLObjectProperty(); if (domain.isBottomEntity() || domain.isTopEntity()) { if (trObjectProperty(prop, OboFormatTag.TAG_DOMAIN.getTag(), range, ax.annotations())) { return; } else {
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 OWLObjectPropertyDomainAxiom visit(OWLObjectPropertyDomainAxiom axiom) { return df.getOWLObjectPropertyDomainAxiom(get(axiom.getProperty()), get(axiom.getDomain()), anns(axiom)); }
@Override public void visit(OWLObjectPropertyDomainAxiom axiom) { if (!axiom.getProperty().isAnonymous()) { getAxiomsForLHS(axiom.getProperty().asOWLObjectProperty()).add(axiom); } indexAxiomsByRHSEntities(axiom.getDomain(), axiom); }
public void visit(OWLObjectPropertyDomainAxiom axiom) { isSupportedByELK = !(axiom.getProperty().isAnonymous()); if (isSupportedByELK){ ELKClassExpressionVisitor classExpVisitor = new ELKClassExpressionVisitor(); axiom.getDomain().accept(classExpVisitor); isSupportedByELK = classExpVisitor.isSupportedByELK(); } }
@Override public Object visit(OWLObjectPropertyDomainAxiom axiom) { return visitAxiom(axiom, () -> df.getOWLObjectPropertyDomainAxiom(t(axiom.getProperty()), t(axiom .getDomain()), t(axiom.annotations()))); }