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

@Override
public HandlerResult visit(OWLObjectExactCardinality ce) {
    if (ce.getCardinality() == 0) {
        // remove the ce if the max cardinality is zero
        return HandlerResult.remove();
    }
    final OWLClassExpression filler = ce.getFiller();
    final HandlerResult recursive = filler.accept(this);
    OWLObjectSomeValuesFrom newCE;
    if (recursive == null) {
        newCE = factory.getOWLObjectSomeValuesFrom(ce.getProperty(), filler);
    }
    else if (recursive.remove) {
        return HandlerResult.remove();
    }
    else {
        newCE = factory.getOWLObjectSomeValuesFrom(ce.getProperty(), recursive.modified);
    }
    return HandlerResult.modified(newCE);
}

@Override
public void addToOntology() {
  OWLObjectProperty property = featurePool.getExclusiveProperty(":objectExactCardinalityProperty_Lite");
  OWLClass range = featurePool.getExclusiveClass(":ObjectExactCardinalityRange_Lite");
  addToGenericDomainAndNewRange(property, range);

  OWLObjectExactCardinality exactCardinality = factory.getOWLObjectExactCardinality(1, property);

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

@Override
public void addToOntology() {
  OWLObjectProperty property = featurePool.getExclusiveProperty(":objectExactCardinalityProperty");
  OWLClass range = featurePool.getExclusiveClass(":ObjectExactCardinalityRange");
  addToGenericDomainAndNewRange(property, range);

  OWLObjectExactCardinality exactCardinality = factory.getOWLObjectExactCardinality(4, property);

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

@Override
public void addToOntology() {
  OWLObjectProperty property = featurePool.getExclusiveProperty(":objectExactQualifiedCardinalityProperty");
  OWLClass range = featurePool.getExclusiveClass(":ObjectExactQualifiedCardinalityRange");
  addToGenericDomainAndNewRange(property, range);

  OWLClass qualifier = featurePool.getExclusiveClass(":ObjectExactQualifiedCardinality_Qualifier");
  OWLObjectExactCardinality exactCardinality = factory.getOWLObjectExactCardinality(1, property, qualifier);

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

public void visit(OWLObjectExactCardinality arg0) {
    try {
        OWLClass c = Utils.ensureClass(arg0.getFiller());
        OWLObjectProperty p = Utils.ensureObjectProperty(arg0.getProperty());

        integrityConstraints.add(integrityConstraintFactory
            .ObjectParticipationConstraint(subjClass, p, c,
                arg0.getCardinality(), arg0.getCardinality()));
    } catch (UnsupportedICException e) {
        notSupported(arg0);
    }
}

public OWLClassExpression visit(OWLObjectExactCardinality d) {
    OWLClassExpression filler=getNNF(d.getFiller());
    if (d.getCardinality()==0)
        return m_factory.getOWLObjectMinCardinality(1,d.getProperty().getSimplified(),filler);
    else {
        Set<OWLClassExpression> disjuncts=new HashSet<OWLClassExpression>();
        disjuncts.add(m_factory.getOWLObjectMaxCardinality(d.getCardinality()-1,d.getProperty().getSimplified(),filler));
        disjuncts.add(m_factory.getOWLObjectMinCardinality(d.getCardinality()+1,d.getProperty().getSimplified(),filler));
        return m_factory.getOWLObjectUnionOf(disjuncts);
    }
}

public OWLClassExpression visit(OWLObjectExactCardinality d) {
    OWLClassExpression filler=getSimplified(d.getFiller());
    if (d.getCardinality()<0)
        return m_factory.getOWLNothing();
    else if (d.getCardinality()==0)
        return m_factory.getOWLObjectAllValuesFrom(d.getProperty().getSimplified(),m_factory.getOWLObjectComplementOf(filler));
    else if (filler.isOWLNothing())
        return m_factory.getOWLNothing();
    else {
        OWLObjectMinCardinality minCardinality=m_factory.getOWLObjectMinCardinality(d.getCardinality(),d.getProperty().getSimplified(),filler);
        OWLObjectMaxCardinality maxCardinality=m_factory.getOWLObjectMaxCardinality(d.getCardinality(),d.getProperty().getSimplified(),filler);
        return m_factory.getOWLObjectIntersectionOf(minCardinality,maxCardinality);
    }
}

@SuppressWarnings("static-method")
public ElkObjectExactCardinality convert(
        OWLObjectExactCardinality owlObjectExactCardinality) {
    if (owlObjectExactCardinality.isQualified())
        return new ElkObjectExactCardinalityQualifiedWrap<OWLObjectExactCardinality>(
                owlObjectExactCardinality);
    // else
    return new ElkObjectExactCardinalityUnqualifiedWrap<OWLObjectExactCardinality>(
            owlObjectExactCardinality);
}

public OWLClassExpression visit(OWLObjectExactCardinality d) {
    OWLClassExpression filler=getNNF(d.getFiller());
    if (d.getCardinality()==0)
        return m_factory.getOWLObjectMinCardinality(1,d.getProperty().getSimplified(),filler);
    else {
        Set<OWLClassExpression> disjuncts=new HashSet<OWLClassExpression>();
        disjuncts.add(m_factory.getOWLObjectMaxCardinality(d.getCardinality()-1,d.getProperty().getSimplified(),filler));
        disjuncts.add(m_factory.getOWLObjectMinCardinality(d.getCardinality()+1,d.getProperty().getSimplified(),filler));
        return m_factory.getOWLObjectUnionOf(disjuncts);
    }
}

public OWLClassExpression visit(OWLObjectExactCardinality d) {
    OWLClassExpression filler=getSimplified(d.getFiller());
    if (d.getCardinality()<0)
        return m_factory.getOWLNothing();
    else if (d.getCardinality()==0)
        return m_factory.getOWLObjectAllValuesFrom(d.getProperty().getSimplified(),m_factory.getOWLObjectComplementOf(filler));
    else if (filler.isOWLNothing())
        return m_factory.getOWLNothing();
    else {
        OWLObjectMinCardinality minCardinality=m_factory.getOWLObjectMinCardinality(d.getCardinality(),d.getProperty().getSimplified(),filler);
        OWLObjectMaxCardinality maxCardinality=m_factory.getOWLObjectMaxCardinality(d.getCardinality(),d.getProperty().getSimplified(),filler);
        return m_factory.getOWLObjectIntersectionOf(minCardinality,maxCardinality);
    }
}

@Override
public OWLObjectExactCardinality visit(OWLObjectExactCardinality ce) {
    if (LOG.isDebugEnabled()) {
        LOG.debug("Unfolding exact_cardinality: "+ce);
    }

    OWLClassExpression filler = ce.getFiller();
    if (filler != null) {
        OWLClassExpression unfold = filler.accept(this);
        if (unfold != null) {
            return factory.getOWLObjectExactCardinality(ce.getCardinality(), ce.getProperty(), unfold);
        }
    }
    return null;
}

public OWLClassExpression visit(OWLObjectExactCardinality d) {
    OWLClassExpression filler=getNNF(d.getFiller());
    if (d.getCardinality()==0)
        return m_factory.getOWLObjectMinCardinality(1,d.getProperty().getSimplified(),filler);
    else {
        Set<OWLClassExpression> disjuncts=new HashSet<OWLClassExpression>();
        disjuncts.add(m_factory.getOWLObjectMaxCardinality(d.getCardinality()-1,d.getProperty().getSimplified(),filler));
        disjuncts.add(m_factory.getOWLObjectMinCardinality(d.getCardinality()+1,d.getProperty().getSimplified(),filler));
        return m_factory.getOWLObjectUnionOf(disjuncts);
    }
}

public OWLClassExpression visit(OWLObjectExactCardinality d) {
    OWLClassExpression filler=getSimplified(d.getFiller());
    if (d.getCardinality()<0)
        return m_factory.getOWLNothing();
    else if (d.getCardinality()==0)
        return m_factory.getOWLObjectAllValuesFrom(d.getProperty().getSimplified(),m_factory.getOWLObjectComplementOf(filler));
    else if (filler.isOWLNothing())
        return m_factory.getOWLNothing();
    else {
        OWLObjectMinCardinality minCardinality=m_factory.getOWLObjectMinCardinality(d.getCardinality(),d.getProperty().getSimplified(),filler);
        OWLObjectMaxCardinality maxCardinality=m_factory.getOWLObjectMaxCardinality(d.getCardinality(),d.getProperty().getSimplified(),filler);
        return m_factory.getOWLObjectIntersectionOf(minCardinality,maxCardinality);
    }
}

@Override
public OWLClassExpression visit(OWLObjectExactCardinality ce) {
    OWLClassExpression filler = ce.getFiller();
    OWLClassExpression shortenedFiller = filler.accept(this);
    if(!filler.equals(shortenedFiller)){
        return df.getOWLObjectExactCardinality(ce.getCardinality(), ce.getProperty(), shortenedFiller);
    }
    return ce;
}

@Override
public void visit(OWLObjectExactCardinality ce) {
    hashCode = primes[42];
    hashCode = hashCode * MULT + ce.getProperty().hashCode();
    hashCode = hashCode * MULT + ce.getCardinality();
    hashCode = hashCode * MULT + ce.getFiller().hashCode();
}

@Override
public Set<OWLClassExpression> visit(OWLObjectExactCardinality ce) {
    Set<OWLClassExpression> result = new HashSet<>();
    result.add(ce);
    result.addAll(ce.getFiller().accept(this));
    return result;
}

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

public void visit(OWLObjectExactCardinality object) {
    visitProperty(object.getProperty());
    object.getFiller().accept(this);
}

public OWLClassExpression visit(OWLObjectExactCardinality object) {
    throw new IllegalStateException("Internal error: exact object cardinality restrictions should have been simplified.");
}

public Boolean visit(OWLObjectExactCardinality object) {
    return object.getCardinality()>0 ? Boolean.TRUE : m_expressionManager.getComplementNNF(object.getFiller()).accept(this);
}

public void visit(OWLObjectExactCardinality object) {
    m_hasAtMostRestrictions=true;
    visitProperty(object.getProperty());
    object.getFiller().accept(this);
}

public OWLClassExpression visit(OWLObjectExactCardinality d) {
    OWLClassExpression filler=getNNF(d.getFiller());
    return m_factory.getOWLObjectExactCardinality(d.getCardinality(),d.getProperty().getSimplified(),filler);
}

public void visit(OWLObjectExactCardinality object) {
    throw new IllegalStateException("Internal error: invalid normal form.");
}

@Override
public OWLObjectExactCardinality visit(
        ElkObjectExactCardinalityQualified expression) {
    return owlFactory_.getOWLObjectExactCardinality(
            expression.getCardinality(), convert(expression.getProperty()));
}

@Override
public OWLObjectExactCardinality visit(
        ElkObjectExactCardinalityUnqualified expression) {
    return owlFactory_.getOWLObjectExactCardinality(
            expression.getCardinality(), convert(expression.getProperty()));
}

@Override
public ElkObjectExactCardinality visit(
        OWLObjectExactCardinality owlObjectExactCardinality) {
    return CONVERTER.convert(owlObjectExactCardinality);
}

public void visit(OWLObjectExactCardinality object) {
    visitProperty(object.getProperty());
    object.getFiller().accept(this);
}

public OWLClassExpression visit(OWLObjectExactCardinality object) {
    throw new IllegalStateException("Internal error: exact object cardinality restrictions should have been simplified.");
}

public Boolean visit(OWLObjectExactCardinality object) {
    return object.getCardinality()>0 ? Boolean.TRUE : m_expressionManager.getComplementNNF(object.getFiller()).accept(this);
}

public void visit(OWLObjectExactCardinality object) {
    m_hasAtMostRestrictions=true;
    visitProperty(object.getProperty());
    object.getFiller().accept(this);
}

public OWLClassExpression visit(OWLObjectExactCardinality d) {
    OWLClassExpression filler=getNNF(d.getFiller());
    return m_factory.getOWLObjectExactCardinality(d.getCardinality(),d.getProperty().getSimplified(),filler);
}

public void visit(OWLObjectExactCardinality object) {
    throw new IllegalStateException("Internal error: invalid normal form.");
}

public OWLClassExpression visit(OWLObjectExactCardinality object) {
    throw new IllegalStateException("Internal error: exact object cardinality restrictions should have been simplified.");
}

public Boolean visit(OWLObjectExactCardinality object) {
    return object.getCardinality()>0 ? Boolean.TRUE : m_expressionManager.getComplementNNF(object.getFiller()).accept(this);
}

public OWLClassExpression visit(OWLObjectExactCardinality d) {
    OWLClassExpression filler=getNNF(d.getFiller());
    return m_factory.getOWLObjectExactCardinality(d.getCardinality(),d.getProperty().getSimplified(),filler);
}

public void visit(OWLObjectExactCardinality exactCardinality) {
    visitCardinalityRestriction(exactCardinality);
}

public void visit(OWLObjectExactCardinality exactCardinality) {
    visitCardinalityRestriction(exactCardinality);
}

public ObjectPropertyRestriction(ClassBox source, OWLObjectExactCardinality ex, OWLHelper helper) throws RendererException {
    super(source, helper.getVertex(getTarget(ex))); 
    this.p = ex.getProperty().asOWLObjectProperty();
    this.role = helper.shorten(this.p.getIRI());
    this.multiplicity = Multiplicity.create(ex.getCardinality(), ex.getCardinality());
}

@Override
public Boolean visit(OWLObjectExactCardinality classExpression) {
    return false;
}

@Override
public IntegerClassExpression visit(OWLObjectExactCardinality ce) {
    Objects.requireNonNull(ce);
    throw TranslationException.newUnsupportedTranslationException(ce);
}