public static OWLObjectMinCardinality ObjectMinCardinality(int cardinality, OWLObjectPropertyExpression pe, OWLClassExpression ce) { return DF.getOWLObjectMinCardinality(cardinality, pe, ce); }
public static OWLObjectMinCardinality ObjectMinCardinality(int cardinality, OWLObjectPropertyExpression pe, OWLClassExpression ce) { return DF.getOWLObjectMinCardinality(cardinality, pe, ce); }
@Override public Set<OWLClassExpression> visit(OWLObjectMinCardinality ce) { Set<OWLClassExpression> result = new HashSet<>(); for(int n = ce.getCardinality(); n < cardinalityBound; n++) { result.add(dataFactory.getOWLObjectMinCardinality(n, ce.getProperty(), ce.getFiller())); } return result; }
@Override public OWLObjectMinCardinality buildObject() { return df.getOWLObjectMinCardinality(cardinality, verifyNotNull(getProperty()), getRange()); } }
@Override public OWLClassExpression visit(OWLObjectMinCardinality ce) { OWLClassExpression filler = ce.getFiller().accept(this); return df.getOWLObjectMinCardinality(ce.getCardinality(), ce.getProperty(), filler); }
@Override public OWLClassExpression visit(OWLObjectMinCardinality ce) { OWLClassExpression filler = ce.getFiller().accept(this); return df.getOWLObjectMinCardinality(ce.getCardinality(), ce.getProperty(), filler); }
@Override public OWLClassExpression visit(OWLObjectMinCardinality d) { OWLClassExpression filler=getNNF(d.getFiller()); return m_factory.getOWLObjectMinCardinality(d.getCardinality(),d.getProperty(),filler); } @Override
@Override public void visit(OWLObjectMinCardinality ce) { obj = df.getOWLObjectMinCardinality(ce.getCardinality(), dup(ce.getProperty()), dup(ce.getFiller())); }
@Override public OWLObjectMinCardinality visit(OWLObjectMinCardinality ce) { OWLObjectPropertyExpression prop = get(ce.getProperty()); return df.getOWLObjectMinCardinality(ce.getCardinality(), prop, get(ce.getFiller())); }
@Override public OWLObjectMinCardinality visit(OWLObjectMinCardinality ce) { OWLObjectPropertyExpression prop = t(ce.getProperty()); return df.getOWLObjectMinCardinality(ce.getCardinality(), prop, t(ce.getFiller())); }
@Override public OWLClassExpression visit(OWLObjectMinCardinality ce) { if (signature.containsAll(asList(ce.getFiller().signature()))) { OWLClass name = createNewName(); axioms.add(getSCA(name, ce.getFiller().accept(this))); return ldf.getOWLObjectMinCardinality(ce.getCardinality(), ce.getProperty(), name); } return ce; }
@Override public void visit(OWLObjectMinCardinality ce) { obj = df.getOWLObjectMinCardinality(ce.getCardinality(), dup(ce.getProperty()), dup(ce.getFiller())); }
@Override public Object visit(OWLObjectMinCardinality ce) { return visit(ce, () -> df.getOWLObjectMinCardinality(ce.getCardinality(), t(ce.getProperty()), t(ce .getFiller()))); }
final public OWLClassExpression AtLeast() throws ParseException {OWLObjectProperty prop; OWLClassExpression filler; int card; jj_consume_token(OPENPAR); jj_consume_token(ATLEAST); card = Integer(); prop = RoleName(); filler = ConceptExpression(); jj_consume_token(CLOSEPAR); return df.getOWLObjectMinCardinality(card, prop, filler); }
private boolean isEntailedByWeakerMinCardinalitySuperClass(OWLSubClassOfAxiom ax, Set<OWLAxiom> axioms, EntailmentChecker<OWLAxiom> checker) { OWLObjectMinCardinality cardinality = (OWLObjectMinCardinality) ax.getSuperClass(); int card = cardinality.getCardinality(); if (card == 1 || card == 0) { return false; } OWLObjectPropertyExpression prop = cardinality.getProperty(); OWLClassExpression ce = cardinality.getFiller(); OWLObjectMinCardinality weaker = dataFactory.getOWLObjectMinCardinality(card - 1, prop, ce); OWLAxiom weakerAxiom = dataFactory.getOWLSubClassOfAxiom(ax.getSubClass(), weaker); return isEntailedWithReplacement(ax, weakerAxiom, axioms, checker); }
public OWLClassExpression asIntersectionOfMinMax() { OWLDataFactory df = getOWLDataFactory(); return df.getOWLObjectIntersectionOf(df.getOWLObjectMinCardinality(getCardinality(), getProperty(), getFiller()), df.getOWLObjectMaxCardinality(getCardinality(), getProperty(), getFiller())); }
@Override public OWLObjectMinCardinality translate(IRI mainNode) { int cardi = translateInteger(mainNode, OWL_MIN_QUALIFIED_CARDINALITY); IRI propertyIRI = getConsumer().getResourceObject(mainNode, OWL_ON_PROPERTY, true); OWLObjectPropertyExpression property = getConsumer().translateObjectPropertyExpression(propertyIRI); IRI fillerIRI = getConsumer().getResourceObject(mainNode, OWL_ON_CLASS, true); OWLClassExpression filler = getConsumer().translateClassExpression(fillerIRI); return getDataFactory().getOWLObjectMinCardinality(cardi, property, filler); } }
@Override public OWLObjectMinCardinality translate(IRI mainNode) { int cardi = translateInteger(mainNode, OWL_MIN_QUALIFIED_CARDINALITY); IRI propertyIRI = getConsumer().getResourceObject(mainNode, OWL_ON_PROPERTY, true); OWLObjectPropertyExpression property = getConsumer() .translateObjectPropertyExpression(verifyNotNull(propertyIRI)); IRI fillerIRI = getConsumer().getResourceObject(mainNode, OWL_ON_CLASS, true); OWLClassExpression filler = accessor.translateClassExpression(verifyNotNull(fillerIRI)); return getDataFactory().getOWLObjectMinCardinality(cardi, property, filler); } }
@Override public OWLObjectMinCardinality translate(IRI mainNode) { int cardi = translateInteger(mainNode, OWL_MIN_QUALIFIED_CARDINALITY); IRI propertyIRI = getConsumer().getResourceObject(mainNode, OWL_ON_PROPERTY, true); OWLObjectPropertyExpression property = getConsumer() .translateObjectPropertyExpression(verifyNotNull(propertyIRI)); IRI fillerIRI = getConsumer().getResourceObject(mainNode, OWL_ON_CLASS, true); OWLClassExpression filler = accessor.translateClassExpression(verifyNotNull(fillerIRI)); return getDataFactory().getOWLObjectMinCardinality(cardi, property, filler); } }
public OWLClassExpression visit(OWLObjectMinCardinality d) { OWLClassExpression filler=getSimplified(d.getFiller()); if (d.getCardinality()<=0) return m_factory.getOWLThing(); else if (filler.isOWLNothing()) return m_factory.getOWLNothing(); else if (d.getCardinality()==1) return m_factory.getOWLObjectSomeValuesFrom(d.getProperty().getSimplified(),filler); else return m_factory.getOWLObjectMinCardinality(d.getCardinality(),d.getProperty().getSimplified(),filler); } public OWLClassExpression visit(OWLObjectMaxCardinality d) {