import org.semanticweb.owlapi.model.OWLObjectCardinalityRestriction; //导入依赖的package包/类
long addCardinalityRestriction(OWLObjectCardinalityRestriction desc) {
  long restriction = getOrCreateNode(getIri(desc), OwlLabels.OWL_ANONYMOUS);
  graph.setNodeProperty(restriction, "cardinality", desc.getCardinality());
  long property = getOrCreateNode(getIri(desc.getProperty()));
  getOrCreateRelationship(restriction, property, OwlRelationships.PROPERTY);
  long cls = getOrCreateNode(getIri(desc.getFiller()));
  getOrCreateRelationship(restriction, cls, OwlRelationships.CLASS);
  return restriction;
}
 

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

import org.semanticweb.owlapi.model.OWLObjectCardinalityRestriction; //导入依赖的package包/类
@Override
protected int compareObjectOfSameType(OWLObject object) {
    OWLObjectCardinalityRestriction other = (OWLObjectCardinalityRestriction) object;
    int diff = getProperty().compareTo(other.getProperty());
    if (diff != 0) {
        return diff;
    }
    diff = getCardinality() - other.getCardinality();
    if (diff != 0) {
        return diff;
    }
    return getFiller().compareTo(other.getFiller());
}
 

import org.semanticweb.owlapi.model.OWLObjectCardinalityRestriction; //导入依赖的package包/类
private void visitCardinalityRestriction(OWLObjectCardinalityRestriction cardinalityRestriction) {
	OWLClassExpression filler = cardinalityRestriction.getFiller();
	OWLObjectPropertyExpression property = cardinalityRestriction.getProperty();

	String fillerName, comperator;

	if (cardinalityRestriction instanceof OWLObjectMinCardinality)
		comperator = "<";
	else if (cardinalityRestriction instanceof OWLObjectMaxCardinality)
		comperator = ">";
	else
		comperator = "=";

	if (filler instanceof OWLObjectComplementOf){
		OWLClassExpression operand = ((OWLObjectComplementOf) filler).getOperand();
		fillerName = mapper.getPredicateName(((OWLObjectComplementOf) filler).getOperand().asOWLClass());
		fillerName = ASP2CoreSymbols.NAF + " " + fillerName;
		if (isAuxiliaryClass(operand.asOWLClass()))
			auxClasses.add(operand.asOWLClass());
	}
	else if (filler instanceof OWLObjectOneOf) {
		System.out.println("Shouldn't be here anymore");
		//TODO: in case of a max-cardinality we will never end up within here,
		// since the normalization for max-cardinality uses an "optimization".
		OWLObjectOneOf oneOf = (OWLObjectOneOf) filler;
		OWLClass auxOneOf= getOneOfAuxiliaryClass(oneOf);

		fillerName = mapper.getPredicateName(auxOneOf);
	}
	else {
		assert filler instanceof OWLClass;

		fillerName = mapper.getPredicateName(filler.asOWLClass());

		if (isAuxiliaryClass(filler.asOWLClass()))
			auxClasses.add(filler.asOWLClass());
	}

	assert property instanceof OWLObjectProperty;

	boolean isInverseOf = false;

	if(property instanceof OWLObjectInverseOf) {
		isInverseOf = true;
		property = ((OWLObjectInverseOf) property).getInverse();
	} else {

	}

	String propertyName = mapper.getPredicateName(property.asOWLObjectProperty());

	String currentVar = var.currentVar();
	String nextVar = var.nextVariable();
	String classVar = nextVar;

	if (isInverseOf) {
		String temp = currentVar;
		currentVar = nextVar;
		nextVar = temp;
	}

	writer.print("#count{");
	writer.print(classVar + "," + propertyName + ":");
	writer.print(propertyName);
	writer.print(ASP2CoreSymbols.BRACKET_OPEN);
	writer.print(currentVar);
	writer.print(ASP2CoreSymbols.ARG_SEPERATOR);
	writer.print(nextVar);
	writer.print(ASP2CoreSymbols.BRACKET_CLOSE);
	writer.print(ASP2CoreSymbols.CONJUNCTION);
	writer.print(fillerName);
	writer.print(ASP2CoreSymbols.BRACKET_OPEN);
	writer.print(classVar);
	writer.print(ASP2CoreSymbols.BRACKET_CLOSE);
	writer.print("}" + comperator + cardinalityRestriction.getCardinality());

	var.reset();
}