@Override public OWLClassExpression visit(OWLSubDataPropertyOfAxiom ax) { OWLLiteral c = df.getOWLLiteral("x"); OWLClassExpression subHasValue = df.getOWLDataHasValue(ax.getSubProperty(), c); OWLClassExpression supHasValue = df.getOWLDataHasValue(ax.getSuperProperty(), c); return df.getOWLObjectIntersectionOf(subHasValue, df.getOWLObjectComplementOf(supHasValue)); }
@Override public OWLClassExpression visit(OWLNegativeDataPropertyAssertionAxiom ax) { return df .getOWLObjectComplementOf(df.getOWLDataHasValue(ax.getProperty(), ax.getObject())); } }
@Override public OWLClassExpression visit(OWLNegativeDataPropertyAssertionAxiom ax) { return df .getOWLObjectComplementOf(df.getOWLDataHasValue(ax.getProperty(), ax.getObject())); } }
@Override protected OWLClassExpression createRestriction() { return getOWLDataFactory().getOWLDataHasValue(getProperty(), getFiller()); } }
@Override public OWLClassExpression visit(OWLNegativeDataPropertyAssertionAxiom ax) { return df .getOWLObjectComplementOf(df.getOWLDataHasValue(ax.getProperty(), ax.getObject())); } }
@Override public OWLClassExpression visit(OWLNegativeDataPropertyAssertionAxiom ax) { return df .getOWLObjectComplementOf(df.getOWLDataHasValue(ax.getProperty(), ax.getObject())); } }
protected OWLClassExpression translateRestriction(IRI mainNode) { OWLLiteral con = getLiteralObject(mainNode, OWLRDFVocabulary.OWL_HAS_VALUE.getIRI(), true); return getDataFactory().getOWLDataHasValue(translateOnProperty(mainNode), con); } }
@Override public OWLDataHasValue visit(OWLDataHasValue ce) { return df .getOWLDataHasValue(ce.getProperty(), process(ce.getProperty(), ce.getFiller())); }
@Override public void visit(OWLDataHasValue desc) { OWLDataPropertyExpression property = desc.getProperty(); property = rename(property); OWLLiteral value = desc.getFiller(); value = rename(value); renamedOWLObject = df.getOWLDataHasValue(property, value); }
final public OWLClassExpression DataHasValue() throws ParseException {OWLDataPropertyExpression prop = null; OWLLiteral literal = null; jj_consume_token(DATAHASVALUE); jj_consume_token(OPENPAR); prop = DataPropertyExpression(); literal = Literal(); jj_consume_token(CLOSEPAR); return df.getOWLDataHasValue(prop, literal); }
final public OWLClassExpression DataHasValue() throws ParseException {OWLDataPropertyExpression prop = null; OWLLiteral literal = null; jj_consume_token(DATAHASVALUE); jj_consume_token(OPENPAR); prop = DataPropertyExpression(); literal = Literal(); jj_consume_token(CLOSEPAR); return df.getOWLDataHasValue(prop, literal); }
@Override public OWLClassExpression visit(OWLDataPropertyAssertionAxiom axiom) { OWLClassExpression sub = oneOf(axiom.getSubject()); OWLClassExpression sup = factory.getOWLDataHasValue(axiom.getProperty(), axiom.getObject()); OWLSubClassOfAxiom ax = factory.getOWLSubClassOfAxiom(sub, sup); return ax.accept(this); }
@Override public OWLClassExpression visit(OWLDataPropertyAssertionAxiom axiom) { OWLClassExpression sub = oneOf(axiom.getSubject()); OWLClassExpression sup = factory.getOWLDataHasValue(axiom.getProperty(), axiom.getObject()); OWLSubClassOfAxiom ax = factory.getOWLSubClassOfAxiom(sub, sup); return ax.accept(this); }
@Override public OWLClassExpression visit(OWLDataPropertyAssertionAxiom ax) { OWLClassExpression nom = df.getOWLObjectOneOf(ax.getSubject()); OWLClassExpression hasVal = df.getOWLDataHasValue(ax.getProperty(), ax.getObject()); return df.getOWLObjectIntersectionOf(nom, df.getOWLObjectComplementOf(hasVal)); }
@Override public OWLClassExpression visit(OWLDataPropertyAssertionAxiom axiom) { OWLClassExpression sub = oneOf(axiom.getSubject()); OWLClassExpression sup = factory.getOWLDataHasValue(axiom.getProperty(), axiom.getObject()); OWLSubClassOfAxiom ax = factory.getOWLSubClassOfAxiom(sub, sup); return ax.accept(this); }
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 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); }
public OWLSubClassOfAxiom asOWLSubClassOfAxiom() { OWLDataFactory df = getOWLDataFactory(); return df.getOWLSubClassOfAxiom( df.getOWLObjectOneOf(getSubject()), df.getOWLObjectComplementOf( df.getOWLDataHasValue(getProperty(), 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 OWLDataHasValue translate(IRI mainNode) { getConsumer().consumeTriple(mainNode, RDF_TYPE.getIRI(), OWL_RESTRICTION.getIRI()); OWLLiteral lit = getConsumer().getLiteralObject(mainNode, OWL_HAS_VALUE, true); IRI propertyIRI = getConsumer().getResourceObject(mainNode, OWL_ON_PROPERTY, true); OWLDataPropertyExpression property = getConsumer() .translateDataPropertyExpression(verifyNotNull(propertyIRI)); return getDataFactory().getOWLDataHasValue(property, verifyNotNull(lit)); } }