Java 类org.semanticweb.owlapi.model.OWLNegativeDataPropertyAssertionAxiom 实例源码

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 OWLNegativeDataPropertyAssertionAxiom visit(
        ElkNegativeDataPropertyAssertionAxiom axiom) {
    return owlFactory_.getOWLNegativeDataPropertyAssertionAxiom(
            convert(axiom.getProperty()), convert(axiom.getSubject()),
            convert(axiom.getObject()));
}

@Override
public T visit(OWLNegativeDataPropertyAssertionAxiom axiom) {
    throw new IllegalArgumentException(
            OWLNegativeDataPropertyAssertionAxiom.class.getSimpleName()
                    + " cannot be converted to "
                    + getTargetClass().getSimpleName());
}

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 void visit(OWLNegativeDataPropertyAssertionAxiom axiom) {
    hashCode = primes[21];
    hashCode = hashCode * MULT + axiom.getSubject().hashCode();
    hashCode = hashCode * MULT + axiom.getProperty().hashCode();
    hashCode = hashCode * MULT + axiom.getObject().hashCode();
    hashCode = hashCode * MULT + axiom.getAnnotations().hashCode();
}

@Override
public OWLNegativeDataPropertyAssertionAxiom getAxiomWithoutAnnotations() {
    if (!isAnnotated()) {
        return this;
    }
    return new OWLNegativeDataPropertyAssertionAxiomImpl(getSubject(),
            getProperty(), getObject(), NO_ANNOTATIONS);
}

@Override
public boolean equals(Object obj) {
    if (this == obj) {
        return true;
    }
    if (!super.equals(obj)) {
        return false;
    }
    return obj instanceof OWLNegativeDataPropertyAssertionAxiom;
}

@Override
public void visit(@Nonnull OWLNegativeDataPropertyAssertionAxiom axiom) {
    axiom.getSubject().accept(this);
    axiom.getProperty().accept(this);
    axiom.getObject().accept(this);
    processAxiomAnnotations(axiom);
}

public void visit(OWLNegativeDataPropertyAssertionAxiom axiom) {
    notSupported(axiom);
}

public void visit(OWLNegativeDataPropertyAssertionAxiom object) {
    visitProperty(object.getProperty());
}

public void visit(OWLNegativeDataPropertyAssertionAxiom axiom) {
    checkTopDataPropertyUse(axiom.getProperty(),axiom);
    if (axiom.containsAnonymousIndividuals())
        throw new IllegalArgumentException("The axiom "+axiom+" contains anonymous individuals, which is not allowed in OWL 2 DL. ");
    addFact(axiom);
}

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 object) {
    Constant targetValue=getConstant(object.getObject());
    m_negativeFacts.add(getRoleAtom(object.getProperty(),getIndividual(object.getSubject()),targetValue));
}

public void visit(OWLNegativeDataPropertyAssertionAxiom axiom) {
}

@SuppressWarnings("static-method")
public ElkNegativeDataPropertyAssertionAxiom convert(
        OWLNegativeDataPropertyAssertionAxiom owlNegativeDataPropertyAssertionAxiom) {
    return new ElkNegativeDataPropertyAssertionAxiomWrap<OWLNegativeDataPropertyAssertionAxiom>(
            owlNegativeDataPropertyAssertionAxiom);
}

@Override
public ElkAxiom visit(OWLNegativeDataPropertyAssertionAxiom axiom) {
    return CONVERTER.convert(axiom);
}

@Override
public ElkAssertionAxiom visit(OWLNegativeDataPropertyAssertionAxiom axiom) {
    return CONVERTER.convert(axiom);
}

@Override
public void visit(OWLNegativeDataPropertyAssertionAxiom axiom) {
    defaultVisit(axiom);
}

public void visit(OWLNegativeDataPropertyAssertionAxiom object) {
    visitProperty(object.getProperty());
}

public void visit(OWLNegativeDataPropertyAssertionAxiom axiom) {
    checkTopDataPropertyUse(axiom.getProperty(),axiom);
    if (axiom.containsAnonymousIndividuals())
        throw new IllegalArgumentException("The axiom "+axiom+" contains anonymous individuals, which is not allowed in OWL 2 DL. ");
    addFact(axiom);
}

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 object) {
    Constant targetValue=getConstant(object.getObject());
    m_negativeFacts.add(getRoleAtom(object.getProperty(),getIndividual(object.getSubject()),targetValue));
}

public void visit(OWLNegativeDataPropertyAssertionAxiom axiom) {
}

@Override
public OWLAxiom visit(OWLNegativeDataPropertyAssertionAxiom axiom) {
    return factory.getOWLNegativeDataPropertyAssertionAxiom(axiom.getProperty(), axiom.getSubject(), axiom.getObject(), annotations);
}

@Override
public void visit(OWLNegativeDataPropertyAssertionAxiom axiom) {
}

public void visit(OWLNegativeDataPropertyAssertionAxiom axiom) {
    checkTopDataPropertyUse(axiom.getProperty(),axiom);
    if (axiom.containsAnonymousIndividuals())
        throw new IllegalArgumentException("The axiom "+axiom+" contains anonymous individuals, which is not allowed in OWL 2 DL. ");
    addFact(axiom);
}

@Override
public Boolean visit(OWLNegativeDataPropertyAssertionAxiom axiom) {
    return true;
}

@Override
public Boolean visit(OWLNegativeDataPropertyAssertionAxiom axiom) {
    return false;
}

@Override
public Boolean visit(OWLNegativeDataPropertyAssertionAxiom axiom) {
    Objects.requireNonNull(axiom);
    return add(this.df.getOWLNegativeDataPropertyAssertionAxiom(axiom.getProperty(), axiom.getSubject(),
            axiom.getObject(), reg(axiom.getAnnotations())));
}

@Override
public Boolean visit(OWLNegativeDataPropertyAssertionAxiom axiom) {
    Objects.requireNonNull(axiom);
    return add(this.df.getOWLNegativeDataPropertyAssertionAxiom(axiom.getProperty(), axiom.getSubject(),
            axiom.getObject(), empty()));
}

@Override
public Set<ComplexIntegerAxiom> visit(OWLNegativeDataPropertyAssertionAxiom axiom) {
    Objects.requireNonNull(axiom);
    throw TranslationException.newUnsupportedAxiomException(axiom);
}

@Override
public void visit(OWLNegativeDataPropertyAssertionAxiom axiom)
{
   ignoreOwlAxiom("NegavtiveDataPropertyAssertion", axiom);
}

@Override
public void visit(OWLNegativeDataPropertyAssertionAxiom axiom) {
    aBoxAxiomsNotSupportedWarning(axiom);
}

@Override
public O visit(OWLNegativeDataPropertyAssertionAxiom axiom) {
    return doDefault(axiom);
}

@Override
public void visit(OWLNegativeDataPropertyAssertionAxiom axiom) {
    type = AXIOM_TYPE_INDEX_BASE + axiom.getAxiomType().getIndex();
}

@Override
public OWLAxiom visit(OWLNegativeDataPropertyAssertionAxiom axiom) {
    return axiom;
}

@Override
public void visit(OWLNegativeDataPropertyAssertionAxiom axiom) {
    handleDefault(axiom);
}

@Override
public OWLNegativeDataPropertyAssertionAxiom getAnnotatedAxiom(
        Set<OWLAnnotation> annotations) {
    return new OWLNegativeDataPropertyAssertionAxiomImpl(getSubject(),
            getProperty(), getObject(), mergeAnnos(annotations));
}

public void visit(OWLNegativeDataPropertyAssertionAxiom arg0) {
    unusedAxiom(arg0);
}

public void visit(OWLNegativeDataPropertyAssertionAxiom arg0) {

}