public static OWLObjectMaxCardinality ObjectMaxCardinality(int cardinality, OWLObjectPropertyExpression pe, OWLClassExpression ce) { return DF.getOWLObjectMaxCardinality(cardinality, pe, ce); }
public void visit(OWLFunctionalObjectPropertyAxiom axiom) { m_classExpressionInclusionsAsDisjunctions.add(new OWLClassExpression[] { m_factory.getOWLObjectMaxCardinality(1,axiom.getProperty().getSimplified()) }); m_axioms.m_objectPropertiesOccurringInOWLAxioms.add(axiom.getProperty().getNamedProperty()); } public void visit(OWLInverseFunctionalObjectPropertyAxiom axiom) {
@Override public OWLObjectMaxCardinality buildObject() { return df.getOWLObjectMaxCardinality(cardinality, verifyNotNull(getProperty()), getRange()); } }
@Override public OWLObjectMaxCardinality buildObject() { return df.getOWLObjectMaxCardinality(cardinality, verifyNotNull(getProperty()), getRange()); } }
@Override public Collection<OWLAxiom> visit(OWLFunctionalObjectPropertyAxiom axiom) { return doDefault(df.getOWLSubClassOfAxiom(df.getOWLThing(), df.getOWLObjectMaxCardinality(1, axiom.getProperty()))); }
@Override public OWLClassExpression visit(OWLObjectMaxCardinality ce) { OWLClassExpression filler = ce.getFiller().accept(this); return df.getOWLObjectMaxCardinality(ce.getCardinality(), ce.getProperty(), filler); }
@Override public OWLClassExpression visit(OWLObjectMaxCardinality ce) { OWLClassExpression filler = ce.getFiller().accept(this); return df.getOWLObjectMaxCardinality(ce.getCardinality(), ce.getProperty(), filler); }
@Override public Set<OWLClassExpression> visit(OWLObjectExactCardinality desc) { // Syntactic for min and max Set<OWLClassExpression> result = new HashSet<>(); OWLClassExpression min = getDataFactory().getOWLObjectMinCardinality(desc.getCardinality(), desc.getProperty(), desc.getFiller()); result.addAll(min.accept(this)); OWLClassExpression max = getDataFactory().getOWLObjectMaxCardinality(desc.getCardinality(), desc.getProperty(), desc.getFiller()); result.addAll(max.accept(this)); result.add(getLimit()); return result; }
@Override public void visit(OWLObjectMaxCardinality ce) { obj = df.getOWLObjectMaxCardinality(ce.getCardinality(), dup(ce.getProperty()), dup(ce.getFiller())); }
@Override public OWLObjectMaxCardinality visit(OWLObjectMaxCardinality ce) { return df.getOWLObjectMaxCardinality(ce.getCardinality(), t(ce.getProperty()), t(ce.getFiller())); }
@Override public OWLObjectMaxCardinality visit(OWLObjectMaxCardinality ce) { return df.getOWLObjectMaxCardinality(ce.getCardinality(), get(ce.getProperty()), get(ce.getFiller())); }
@Override public Collection<OWLAxiom> visit(OWLInverseFunctionalObjectPropertyAxiom axiom) { return doDefault(df.getOWLSubClassOfAxiom(df.getOWLThing(), df.getOWLObjectMaxCardinality(1, axiom.getProperty().getInverseProperty()))); }
@Override public OWLClassExpression visit(OWLObjectMaxCardinality ce) { if (signature.containsAll(asList(ce.getFiller().signature()))) { OWLClass name = createNewName(); axioms.add(getSCA(name, ce.getFiller().accept(this))); return ldf.getOWLObjectMaxCardinality(ce.getCardinality(), ce.getProperty(), name); } return ce; }
@Override public void visit(OWLObjectMaxCardinality ce) { obj = df.getOWLObjectMaxCardinality(ce.getCardinality(), dup(ce.getProperty()), dup(ce.getFiller())); }
@Override public OWLObjectMaxCardinality visit(OWLObjectMaxCardinality ce) { return df.getOWLObjectMaxCardinality(ce.getCardinality(), t(ce.getProperty()), t(ce.getFiller())); }
final public OWLClassExpression AtMost() throws ParseException {OWLObjectProperty prop; OWLClassExpression filler; int card; jj_consume_token(OPENPAR); jj_consume_token(ATMOST); card = Integer(); prop = RoleName(); filler = ConceptExpression(); jj_consume_token(CLOSEPAR); return df.getOWLObjectMaxCardinality(card, prop, filler); }
@Override public OWLClassExpression visit(OWLObjectMinCardinality d) { if (d.getCardinality()==0) return m_factory.getOWLNothing(); else { OWLClassExpression filler=getNNF(d.getFiller()); return m_factory.getOWLObjectMaxCardinality(d.getCardinality()-1,d.getProperty(),filler); } } @Override
public OWLClassExpression visit(OWLObjectMinCardinality d) { if (d.getCardinality()==0) return m_factory.getOWLNothing(); else { OWLClassExpression filler=getNNF(d.getFiller()); return m_factory.getOWLObjectMaxCardinality(d.getCardinality()-1,d.getProperty().getSimplified(),filler); } } public OWLClassExpression visit(OWLObjectMaxCardinality d) {
@Override public OWLClassExpression visit(OWLObjectMaxCardinality d) { OWLClassExpression filler=getSimplified(d.getFiller()); if (filler.isOWLNothing()) return m_factory.getOWLThing(); else if (d.getCardinality()<=0) return m_factory.getOWLObjectAllValuesFrom(d.getProperty(),m_factory.getOWLObjectComplementOf(filler)); else return m_factory.getOWLObjectMaxCardinality(d.getCardinality(),d.getProperty(),filler); } @Override
@Override public OWLObjectMaxCardinality translate(IRI mainNode) { int cardi = translateInteger(mainNode, OWL_MAX_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().getOWLObjectMaxCardinality(cardi, property, filler); } }