@Override public void visit(OWLNegativeDataPropertyAssertionAxiom axiom) { process(axiom); axiom.getSubject().accept(this); axiom.getProperty().accept(this); axiom.getObject().accept(this); }
@Override public OWLClassExpression visit(OWLNegativeDataPropertyAssertionAxiom ax) { return df .getOWLObjectComplementOf(df.getOWLDataHasValue(ax.getProperty(), ax.getObject())); } }
@Override public OWLNegativeDataPropertyAssertionAxiom visit( OWLNegativeDataPropertyAssertionAxiom axiom) { return df .getOWLNegativeDataPropertyAssertionAxiom(axiom.getProperty(), axiom.getSubject(), process(axiom .getProperty(), axiom.getObject())); } }
public Boolean visit(OWLNegativeDataPropertyAssertionAxiom axiom) { // see OWL 2 Syntax, Sec 11.2 // No axiom in Ax of the following form contains anonymous individuals: // SameIndividual, DifferentIndividuals, NegativeObjectPropertyAssertion, and NegativeDataPropertyAssertion. if (axiom.getSubject().isAnonymous()) { throw new IllegalArgumentException("NegativeDataPropertyAssertion axioms are not allowed to be used "+"with anonymous individuals (see OWL 2 Syntax Sec 11.2) and the subject "+axiom.getSubject()+" of the axiom "+axiom+" is anonymous. "); } OWLClassExpression hasValue=factory.getOWLDataHasValue(axiom.getProperty(),axiom.getObject()); OWLClassExpression doesNotHaveValue=factory.getOWLObjectComplementOf(hasValue); return reasoner.hasType(axiom.getSubject().asOWLNamedIndividual(),doesNotHaveValue,false); }
@Override public Collection<OWLAxiom> visit(OWLNegativeDataPropertyAssertionAxiom axiom) { return subClassOf(df.getOWLObjectOneOf(axiom.getSubject()), df.getOWLDataAllValuesFrom(axiom.getProperty(), df.getOWLDataComplementOf(df.getOWLDataOneOf(axiom.getObject())))); }
@Override public OWLClassExpression visit(OWLNegativeDataPropertyAssertionAxiom axiom) { OWLClassExpression sub = oneOf(axiom.getSubject()); OWLClassExpression sup = factory.getOWLDataHasValue(axiom.getProperty(), axiom.getObject()); return factory.getOWLSubClassOfAxiom(sub, not(sup)).accept(this); }
@Override public void visit(OWLNegativeDataPropertyAssertionAxiom object) { Constant targetValue=(Constant)object.getObject().accept(m_dataRangeConverter); m_negativeFacts.add(getRoleAtom(object.getProperty(),getIndividual(object.getSubject()),targetValue)); } }
public void visit(OWLNegativeDataPropertyAssertionAxiom axiom) { if (!axiom.getSubject().isAnonymous()) { axiom.getSubject().asOWLNamedIndividual().accept(this); } }
@Override public void visit(OWLNegativeDataPropertyAssertionAxiom axiom) { v(axiom.getSubject()); v(axiom.getProperty()); v(axiom.getObject()); } }
public void visit(OWLNegativeDataPropertyAssertionAxiom axiom) { switch (localityCls) { case BOTTOM_BOTTOM: case TOP_BOTTOM: isLocal = !signature.contains(axiom.getProperty().asOWLDataProperty()); break; case TOP_TOP: isLocal = false; break; } }
@Override public void visit(OWLNegativeDataPropertyAssertionAxiom axiom) { axiom.getProperty().accept(this); }
@Override public OWLClassExpression visit(OWLNegativeDataPropertyAssertionAxiom ax) { return ax.asOWLSubClassOfAxiom().accept(this); }
@Override public Boolean visit(OWLNegativeDataPropertyAssertionAxiom axiom) { // see OWL 2 Syntax, Sec 11.2 // No axiom in Ax of the following form contains anonymous individuals: // SameIndividual, DifferentIndividuals, NegativeObjectPropertyAssertion, and NegativeDataPropertyAssertion. if (axiom.getSubject().isAnonymous()) { throw new IllegalArgumentException("NegativeDataPropertyAssertion axioms are not allowed to be used "+"with anonymous individuals (see OWL 2 Syntax Sec 11.2) and the subject "+axiom.getSubject()+" of the axiom "+axiom+" is anonymous. "); } OWLClassExpression hasValue=factory.getOWLDataHasValue(axiom.getProperty(),axiom.getObject()); OWLClassExpression doesNotHaveValue=factory.getOWLObjectComplementOf(hasValue); return Boolean.valueOf(reasoner.hasType(axiom.getSubject().asOWLNamedIndividual(),doesNotHaveValue,false)); }
@Override public OWLNegativeDataPropertyAssertionAxiom visit( OWLNegativeDataPropertyAssertionAxiom axiom) { return df .getOWLNegativeDataPropertyAssertionAxiom(axiom.getProperty(), axiom.getSubject(), process(axiom .getProperty(), axiom.getObject())); } }
public Set<OWLAxiom> visit(OWLNegativeDataPropertyAssertionAxiom axiom) { return subClassOf(df.getOWLObjectOneOf(axiom.getSubject()), df.getOWLDataAllValuesFrom(axiom.getProperty(), df.getOWLDataComplementOf(df.getOWLDataOneOf(axiom.getObject())))); }
@Override public OWLClassExpression visit(OWLNegativeDataPropertyAssertionAxiom axiom) { OWLClassExpression sub = oneOf(axiom.getSubject()); OWLClassExpression sup = factory.getOWLDataHasValue(axiom.getProperty(), axiom.getObject()); return factory.getOWLSubClassOfAxiom(sub, not(sup)).accept(this); }
@Override public OWLClassExpression visit(OWLNegativeDataPropertyAssertionAxiom ax) { return df .getOWLObjectComplementOf(df.getOWLDataHasValue(ax.getProperty(), ax.getObject())); } }
public void visit(OWLNegativeDataPropertyAssertionAxiom object) { Constant targetValue=(Constant)object.getObject().accept(m_dataRangeConverter); m_negativeFacts.add(getRoleAtom(object.getProperty(),getIndividual(object.getSubject()),targetValue)); } }
@Override public void visit(OWLNegativeDataPropertyAssertionAxiom axiom) { switch (localityCls) { case BOTTOM_BOTTOM: case TOP_BOTTOM: isLocal = !getSignature().contains(axiom.getProperty().asOWLDataProperty()); break; case TOP_TOP: isLocal = false; break; default: break; } }
@Override public void visit(OWLNegativeDataPropertyAssertionAxiom axiom) { axiom.getProperty().accept(this); }