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

public void visit(OWLDataComplementOf dr) {
    OWLDataRange description=dr.getDataRange();
    if (description.isDatatype() && (Prefixes.isInternalIRI(description.asOWLDatatype().getIRI().toString()) || m_definedDatatypeIRIs.contains(description.asOWLDatatype()))) {
        m_bodyAtoms.add(Atom.create(InternalDatatype.create(description.asOWLDatatype().getIRI().toString()),X));
    }
    else {
        LiteralDataRange literalRange=m_dataRangeConverter.convertDataRange(dr);
        if (literalRange.isNegatedInternalDatatype()) {
            InternalDatatype negatedDatatype=(InternalDatatype)literalRange.getNegation();
            if (!negatedDatatype.isAlwaysTrue())
                m_bodyAtoms.add(Atom.create(negatedDatatype,X));
        }
        else {
            if (!literalRange.isAlwaysFalse())
                m_headAtoms.add(Atom.create((DLPredicate)literalRange,X));
        }
    }
}

public void visit(OWLDataComplementOf dr) {
    OWLDataRange description=dr.getDataRange();
    if (description.isDatatype() && (Prefixes.isInternalIRI(description.asOWLDatatype().getIRI().toString()) || m_definedDatatypeIRIs.contains(description.asOWLDatatype()))) {
        m_bodyAtoms.add(Atom.create(InternalDatatype.create(description.asOWLDatatype().getIRI().toString()),X));
    }
    else {
        LiteralDataRange literalRange=m_dataRangeConverter.convertDataRange(dr);
        if (literalRange.isNegatedInternalDatatype()) {
            InternalDatatype negatedDatatype=(InternalDatatype)literalRange.getNegation();
            if (!negatedDatatype.isAlwaysTrue())
                m_bodyAtoms.add(Atom.create(negatedDatatype,X));
        }
        else {
            if (!literalRange.isAlwaysFalse())
                m_headAtoms.add(Atom.create((DLPredicate)literalRange,X));
        }
    }
}

@Override
public void addToOntology() {
  OWLDatatype datatype = OWL2Datatype.XSD_STRING.getDatatype(factory);
  OWLDataComplementOf complement = factory.getOWLDataComplementOf(datatype);

  addToGenericDomainAndNewRange(factory.getOWLDataProperty(":dataComplementOfProperty", pm), complement);
}

public OWLDataRange visit(OWLDataComplementOf o) {
    OWLDataRange dataRangeSimplified=getSimplified(o.getDataRange());
    if (dataRangeSimplified instanceof OWLDataComplementOf)
        return ((OWLDataComplementOf)dataRangeSimplified).getDataRange();
    else
        return m_factory.getOWLDataComplementOf(dataRangeSimplified);
}

public OWLDataRange visit(OWLDataComplementOf o) {
    OWLDataRange dataRangeSimplified=getSimplified(o.getDataRange());
    if (dataRangeSimplified instanceof OWLDataComplementOf)
        return ((OWLDataComplementOf)dataRangeSimplified).getDataRange();
    else
        return m_factory.getOWLDataComplementOf(dataRangeSimplified);
}

public OWLDataRange visit(OWLDataComplementOf o) {
    OWLDataRange dataRangeSimplified=getSimplified(o.getDataRange());
    if (dataRangeSimplified instanceof OWLDataComplementOf)
        return ((OWLDataComplementOf)dataRangeSimplified).getDataRange();
    else
        return m_factory.getOWLDataComplementOf(dataRangeSimplified);
}

@Override
public OWLDataRange visit(OWLDataComplementOf node) {
    if (negated) {
        return node.getDataRange();
    } else {
        return node;
    }
}

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

protected static boolean isNegatedAtomic(OWLDataRange dr) {
    return dr instanceof OWLDataComplementOf && isAtomic(((OWLDataComplementOf)dr).getDataRange());
}

public OWLDataRange visit(OWLDataComplementOf node) {
    return node;
}

public OWLDataRange visit(OWLDataComplementOf o) {
    return getComplementNNF(o.getDataRange());
}

public OWLDataRange visit(OWLDataComplementOf o) {
    return getNNF(o.getDataRange());
}

protected boolean isBottomDataRange(OWLDataRange dataRange) {
    return dataRange instanceof OWLDataComplementOf && ((OWLDataComplementOf)dataRange).getDataRange().isTopDatatype();
}

public Object visit(OWLDataComplementOf object) {
    return convertDataRange(object.getDataRange()).getNegation();
}

@Override
public OWLDataComplementOf visit(ElkDataComplementOf expression) {
    return owlFactory_.getOWLDataComplementOf(convert(expression));
}

@SuppressWarnings("static-method")
public ElkDataComplementOf convert(
        OWLDataComplementOf owlDataComplementOf) {
    return new ElkDataComplementOfWrap<OWLDataComplementOf>(
            owlDataComplementOf);
}

@Override
public ElkDataComplementOf visit(OWLDataComplementOf owlDataComplementOf) {
    return CONVERTER.convert(owlDataComplementOf);
}

protected static boolean isNegatedAtomic(OWLDataRange dr) {
    return dr instanceof OWLDataComplementOf && isAtomic(((OWLDataComplementOf)dr).getDataRange());
}

public OWLDataRange visit(OWLDataComplementOf node) {
    return node;
}

public OWLDataRange visit(OWLDataComplementOf o) {
    return getComplementNNF(o.getDataRange());
}

public OWLDataRange visit(OWLDataComplementOf o) {
    return getNNF(o.getDataRange());
}

protected boolean isBottomDataRange(OWLDataRange dataRange) {
    return dataRange instanceof OWLDataComplementOf && ((OWLDataComplementOf)dataRange).getDataRange().isTopDatatype();
}

public Object visit(OWLDataComplementOf object) {
    return convertDataRange(object.getDataRange()).getNegation();
}

protected static boolean isNegatedAtomic(OWLDataRange dr) {
    return dr instanceof OWLDataComplementOf && isAtomic(((OWLDataComplementOf)dr).getDataRange());
}

public OWLDataRange visit(OWLDataComplementOf node) {
    return node;
}

public OWLDataRange visit(OWLDataComplementOf o) {
    return getComplementNNF(o.getDataRange());
}

public OWLDataRange visit(OWLDataComplementOf o) {
    return getNNF(o.getDataRange());
}

protected boolean isBottomDataRange(OWLDataRange dataRange) {
    return dataRange instanceof OWLDataComplementOf && ((OWLDataComplementOf)dataRange).getDataRange().isTopDatatype();
}

@Override
public O visit(OWLDataComplementOf node) {
    return doDefault(node);
}

@Override
public void visit(OWLDataComplementOf node) {
    handleDefault(node);
}

@Override
public void visit(OWLDataComplementOf node) {
    type = DATA_TYPE_INDEX_BASE + 2;
}

@Override
public void visit(OWLDataComplementOf node) {
    hashCode = primes[51];
    hashCode = hashCode * MULT + node.getDataRange().hashCode();
}

@Override
public void visit(@Nonnull OWLDataComplementOf node) {
    node.getDataRange().accept(this);
}

@Override
protected int compareObjectOfSameType(OWLObject object) {
    OWLDataComplementOf other = (OWLDataComplementOf) object;
    return getDataRange().compareTo(other.getDataRange());
}

public Object visit(OWLDataComplementOf node) {
  profileViolations.add(new UseOfIllegalDataRange(getCurrentOntology(), getCurrentAxiom(), node));
  return null;
}

@Override
protected void writeObject(OWLDataComplementOf object, BinaryOWLOutputStream outputStream) throws IOException {
    outputStream.writeOWLObject(object.getDataRange());
}

@Override
protected OWLDataComplementOf readObject(BinaryOWLInputStream inputStream) throws IOException, BinaryOWLParseException {
    OWLDataRange dataRange = inputStream.readOWLObject();
    return inputStream.getDataFactory().getOWLDataComplementOf(dataRange);
}