public static OWLDataMinCardinality DataMinCardinality(int cardinality, OWLDataPropertyExpression pe, OWLDataRange dr) { return DF.getOWLDataMinCardinality(cardinality, pe, dr); }
public static OWLDataMinCardinality DataMinCardinality(int cardinality, OWLDataPropertyExpression pe, OWLDataRange dr) { return DF.getOWLDataMinCardinality(cardinality, pe, dr); }
@Override public OWLDataMinCardinality buildObject() { return df.getOWLDataMinCardinality(cardinality, getProperty(), getDataRange()); } }
@Override public OWLDataMinCardinality buildObject() { return df.getOWLDataMinCardinality(cardinality, getProperty(), getDataRange()); } }
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); } } }
@Override public OWLClassExpression visit(OWLDataMinCardinality ce) { int card = ce.getCardinality(); OWLDataRange filler = ce.getFiller().accept(rangeVisitor); return df.getOWLDataMinCardinality(card, ce.getProperty(), filler); }
@Override public OWLClassExpression visit(OWLDataMinCardinality ce) { int card = ce.getCardinality(); OWLDataRange filler = ce.getFiller().accept(rangeVisitor); return df.getOWLDataMinCardinality(card, ce.getProperty(), filler); }
@Override protected OWLClassExpression createRestriction() { return getOWLDataFactory().getOWLDataMinCardinality(getCardinality(), getProperty(), getFiller()); } }
@Override public OWLDataMinCardinality visit(OWLDataMinCardinality ce) { return df.getOWLDataMinCardinality(ce.getCardinality(), get(ce.getProperty()), get(ce.getFiller())); }
@Override public void visit(OWLDataMinCardinality ce) { obj = df.getOWLDataMinCardinality(ce.getCardinality(), dup(ce.getProperty()), dup(ce.getFiller())); }
@Override public OWLDataMinCardinality visit(OWLDataMinCardinality ce) { return df.getOWLDataMinCardinality(ce.getCardinality(), t(ce.getProperty()), t(ce.getFiller())); }
@Override public OWLDataMinCardinality visit(OWLDataMinCardinality ce) { return df.getOWLDataMinCardinality(ce.getCardinality(), get(ce.getProperty()), get(ce.getFiller())); }
@Override public Object visit(OWLDataMinCardinality ce) { return visit(ce, () -> df.getOWLDataMinCardinality(ce.getCardinality(), t(ce.getProperty()), t(ce .getFiller()))); }
@Override public OWLDataMinCardinality visit(OWLDataMinCardinality ce) { if (ce.getFiller() instanceof OWLDataOneOf) { return df.getOWLDataMinCardinality(ce.getCardinality(), ce.getProperty(), process(ce.getProperty(), (OWLDataOneOf) ce.getFiller())); } return super.visit(ce); }
@Override public OWLDataMinCardinality visit(OWLDataMinCardinality ce) { if (ce.getFiller() instanceof OWLDataOneOf) { return df.getOWLDataMinCardinality(ce.getCardinality(), ce.getProperty(), process(ce.getProperty(), (OWLDataOneOf) ce.getFiller())); } return super.visit(ce); }
public void visit(OWLDataMinCardinality desc) { super.visit(desc); if (desc instanceof OWLDataOneOf) { setLastObject(getDataFactory().getOWLDataMinCardinality(desc.getCardinality(), desc.getProperty(), process(desc.getProperty(), (OWLDataOneOf) desc.getFiller()))); } }
public OWLClassExpression visit(OWLDataMinCardinality d) { OWLDataRange filler=getSimplified(d.getFiller()); if (d.getCardinality()<=0) return m_factory.getOWLThing(); else if (isBottomDataRange(filler)) return m_factory.getOWLNothing(); else if (d.getCardinality()==1) return m_factory.getOWLDataSomeValuesFrom(d.getProperty(),filler); else return m_factory.getOWLDataMinCardinality(d.getCardinality(),d.getProperty(),filler); } public OWLClassExpression visit(OWLDataMaxCardinality d) {
@Override public OWLClassExpression visit(OWLDataMinCardinality d) { if (d.getCardinality()<=0) return m_factory.getOWLThing(); else if (isBottomDataRange(getSimplified(d.getFiller()))) return m_factory.getOWLNothing(); else if (d.getCardinality()==1) return m_factory.getOWLDataSomeValuesFrom(d.getProperty(),getSimplified(d.getFiller())); else return m_factory.getOWLDataMinCardinality(d.getCardinality(),d.getProperty(),getSimplified(d.getFiller())); } @Override
@Override public OWLDataMinCardinality translate(IRI mainNode) { getConsumer().consumeTriple(mainNode, RDF_TYPE.getIRI(), OWL_RESTRICTION.getIRI()); int cardi = translateInteger(mainNode, OWL_MIN_QUALIFIED_CARDINALITY); IRI propertyIRI = getConsumer().getResourceObject(mainNode, OWL_ON_PROPERTY, true); OWLDataPropertyExpression property = getConsumer() .translateDataPropertyExpression(verifyNotNull(propertyIRI)); IRI fillerIRI = getConsumer().getResourceObject(mainNode, OWL_ON_DATA_RANGE, true); OWLDataRange filler = getConsumer().translateDataRange(verifyNotNull(fillerIRI)); return getDataFactory().getOWLDataMinCardinality(cardi, property, filler); } }
@Override public OWLDataMinCardinality translate(IRI mainNode) { getConsumer().consumeTriple(mainNode, RDF_TYPE.getIRI(), OWL_RESTRICTION.getIRI()); int cardi = translateInteger(mainNode, OWL_MIN_QUALIFIED_CARDINALITY); IRI propertyIRI = getConsumer().getResourceObject(mainNode, OWL_ON_PROPERTY, true); OWLDataPropertyExpression property = getConsumer() .translateDataPropertyExpression(verifyNotNull(propertyIRI)); IRI fillerIRI = getConsumer().getResourceObject(mainNode, OWL_ON_DATA_RANGE, true); OWLDataRange filler = getConsumer().translateDataRange(verifyNotNull(fillerIRI)); return getDataFactory().getOWLDataMinCardinality(cardi, property, filler); } }