import org.semanticweb.owlapi.model.OWLDataExactCardinality; //导入依赖的package包/类
@Override
public void addToOntology() {
  OWLDataProperty property = factory.getOWLDataProperty(":dataExactQualifiedCardinality", pm);
  OWLDatatype datatype = OWL2Datatype.XSD_STRING.getDatatype(factory);
  addToGenericDomainAndNewRange(property, datatype);

  OWLDatatype affectedDatatype = OWL2Datatype.XSD_DATE_TIME.getDatatype(factory);
  OWLDataExactCardinality cardinality = factory.getOWLDataExactCardinality(12, property, affectedDatatype);

  addAxiomToOntology(factory.getOWLSubClassOfAxiom(featurePool.getExclusiveClass(":DataExactQualifiedCardinalityRange"), cardinality));
}
 

import org.semanticweb.owlapi.model.OWLDataExactCardinality; //导入依赖的package包/类
@Override
public void addToOntology() {
  OWLDataProperty property = factory.getOWLDataProperty(":dataExactCardinality", pm);
  OWLDatatype datatype = OWL2Datatype.XSD_STRING.getDatatype(factory);
  addToGenericDomainAndNewRange(property, datatype);

  OWLClass range = featurePool.getExclusiveClass(":DataExactCardinalityRange");
  OWLDataExactCardinality cardinality = factory.getOWLDataExactCardinality(11, property);

  addAxiomToOntology(factory.getOWLSubClassOfAxiom(range, cardinality));
}
 

import org.semanticweb.owlapi.model.OWLDataExactCardinality; //导入依赖的package包/类
public void visit(OWLDataExactCardinality arg0) {
    try {
        final OWLDatatype dt = Utils.ensureDatatype(arg0.getFiller());
        final OWLDataProperty dp = Utils.ensureDataProperty(arg0
            .getProperty());

        integrityConstraints.add(integrityConstraintFactory.DataParticipationConstraint(
            subjClass, dp, dt, arg0.getCardinality(),
            arg0.getCardinality()));
    } catch (UnsupportedICException e) {
        notSupported(arg0);
    }
}
 

import org.semanticweb.owlapi.model.OWLDataExactCardinality; //导入依赖的package包/类
public OWLClassExpression visit(OWLDataExactCardinality d) {
    OWLDataRange filler=getNNF(d.getFiller());
    if (d.getCardinality()==0)
        return m_factory.getOWLDataMinCardinality(1,d.getProperty(),filler);
    else {
        Set<OWLClassExpression> disjuncts=new HashSet<OWLClassExpression>();
        disjuncts.add(m_factory.getOWLDataMaxCardinality(d.getCardinality()-1,d.getProperty(),filler));
        disjuncts.add(m_factory.getOWLDataMinCardinality(d.getCardinality()+1,d.getProperty(),filler));
        return m_factory.getOWLObjectUnionOf(disjuncts);
    }
}
 

import org.semanticweb.owlapi.model.OWLDataExactCardinality; //导入依赖的package包/类
@Override
public OWLDataExactCardinality visit(
		ElkDataExactCardinalityQualified expression) {
	return owlFactory_.getOWLDataExactCardinality(
			expression.getCardinality(), convert(expression.getProperty()),
			convert(expression.getFiller()));
}
 

import org.semanticweb.owlapi.model.OWLDataExactCardinality; //导入依赖的package包/类
@SuppressWarnings("static-method")
public ElkDataExactCardinality convert(
		OWLDataExactCardinality owlDataExactCardinality) {
	if (owlDataExactCardinality.isQualified())
		return new ElkDataExactCardinalityQualifiedWrap<OWLDataExactCardinality>(
				owlDataExactCardinality);
	// else
	return new ElkDataExactCardinalityUnqualifiedWrap<OWLDataExactCardinality>(
			owlDataExactCardinality);
}
 

import org.semanticweb.owlapi.model.OWLDataExactCardinality; //导入依赖的package包/类
@Override
public void visit(OWLDataExactCardinality ce) {
    hashCode = primes[35];
    hashCode = hashCode * MULT + ce.getProperty().hashCode();
    hashCode = hashCode * MULT + ce.getCardinality();
    hashCode = hashCode * MULT + ce.getFiller().hashCode();
}
 

import org.semanticweb.owlapi.model.OWLDataExactCardinality; //导入依赖的package包/类
@Override
public boolean equals(Object obj) {
    if (this == obj) {
        return true;
    }
    if (!super.equals(obj)) {
        return false;
    }
    return obj instanceof OWLDataExactCardinality;
}
 

import org.semanticweb.owlapi.model.OWLDataExactCardinality; //导入依赖的package包/类
public void visit(OWLDataExactCardinality object) {
    visitProperty(object.getProperty());
}
 

import org.semanticweb.owlapi.model.OWLDataExactCardinality; //导入依赖的package包/类
public OWLClassExpression visit(OWLDataExactCardinality object) {
    throw new IllegalStateException("Internal error: exact data cardinality restrictions should have been simplified.");
}
 

import org.semanticweb.owlapi.model.OWLDataExactCardinality; //导入依赖的package包/类
public void visit(OWLDataExactCardinality object) {
    m_hasDatatypes=true;
}
 

import org.semanticweb.owlapi.model.OWLDataExactCardinality; //导入依赖的package包/类
public void visit(OWLDataExactCardinality object) {
    throw new IllegalStateException("Internal error: invalid normal form.");
}
 

import org.semanticweb.owlapi.model.OWLDataExactCardinality; //导入依赖的package包/类
@Override
public ElkDataExactCardinality visit(
		OWLDataExactCardinality owlDataExactCardinality) {
	return CONVERTER.convert(owlDataExactCardinality);
}
 

import org.semanticweb.owlapi.model.OWLDataExactCardinality; //导入依赖的package包/类
@Override
public OWLDataExactCardinality visit(OWLDataExactCardinality ce) {
	return null;
}
 

import org.semanticweb.owlapi.model.OWLDataExactCardinality; //导入依赖的package包/类
@Override
public HandlerResult visit(OWLDataExactCardinality ce) {
	return null;
}
 

import org.semanticweb.owlapi.model.OWLDataExactCardinality; //导入依赖的package包/类
public DataPropertyRestriction(OWLDataExactCardinality ex, OWLHelper helper) {
	IRI roleIRI = ex.getProperty().asOWLDataProperty().getIRI();
	this.role = helper.shorten(roleIRI);
	this.fillerType = ex.getFiller().asOWLDatatype().getBuiltInDatatype();
	this.multiplicity = Multiplicity.create(ex.getCardinality(), ex.getCardinality());
}
 

import org.semanticweb.owlapi.model.OWLDataExactCardinality; //导入依赖的package包/类
@Override
public Boolean visit(OWLDataExactCardinality classExpression) {
	return false;
}
 

import org.semanticweb.owlapi.model.OWLDataExactCardinality; //导入依赖的package包/类
@Override
public IntegerClassExpression visit(OWLDataExactCardinality ce) {
	Objects.requireNonNull(ce);
	throw TranslationException.newUnsupportedTranslationException(ce);
}
 

import org.semanticweb.owlapi.model.OWLDataExactCardinality; //导入依赖的package包/类
@Override
public OWLClassExpression visit(OWLDataExactCardinality ce) {
	return ce;
}
 

import org.semanticweb.owlapi.model.OWLDataExactCardinality; //导入依赖的package包/类
@Override
public O visit(OWLDataExactCardinality ce) {
    return doDefault(ce);
}