public static OWLObjectExactCardinality ObjectExactCardinality(int cardinality, OWLObjectPropertyExpression pe, OWLClassExpression ce) { return DF.getOWLObjectExactCardinality(cardinality, pe, ce); }
public static OWLObjectExactCardinality ObjectExactCardinality(int cardinality, OWLObjectPropertyExpression pe, OWLClassExpression ce) { return DF.getOWLObjectExactCardinality(cardinality, pe, ce); }
@Override public OWLObjectExactCardinality buildObject() { return df .getOWLObjectExactCardinality(cardinality, verifyNotNull(getProperty()), getRange()); } }
public OWLClassExpression visit(OWLObjectExactCardinality desc) { if (signature.containsAll(desc.getFiller().getSignature())) { OWLClass name = createNewName(); OWLClassExpression rhs = desc.getFiller().accept(this); axioms.add(getSCA(name, rhs)); return df.getOWLObjectExactCardinality(desc.getCardinality(), desc.getProperty(), name); } else { return desc; } }
@Override public void visit(OWLObjectExactCardinality ce) { obj = df.getOWLObjectExactCardinality(ce.getCardinality(), dup(ce.getProperty()), dup(ce.getFiller())); }
@Override public OWLClassExpression visit(OWLObjectExactCardinality ce) { if (signature.containsAll(asList(ce.getFiller().signature()))) { OWLClass name = createNewName(); axioms.add(getSCA(name, ce.getFiller().accept(this))); return ldf.getOWLObjectExactCardinality(ce.getCardinality(), ce.getProperty(), name); } return ce; }
@Override public OWLObjectExactCardinality visit(OWLObjectExactCardinality ce) { return df.getOWLObjectExactCardinality(ce.getCardinality(), get(ce.getProperty()), get(ce.getFiller())); }
@Override public OWLObjectExactCardinality visit(OWLObjectExactCardinality ce) { return df.getOWLObjectExactCardinality(ce.getCardinality(), t(ce.getProperty()), t(ce.getFiller())); }
@Override public void visit(OWLObjectExactCardinality ce) { obj = df.getOWLObjectExactCardinality(ce.getCardinality(), dup(ce.getProperty()), dup(ce.getFiller())); }
@Override public OWLObjectExactCardinality visit(OWLObjectExactCardinality ce) { return df.getOWLObjectExactCardinality(ce.getCardinality(), t(ce.getProperty()), t(ce.getFiller())); }
@Override public OWLObjectExactCardinality visit(OWLObjectExactCardinality ce) { return df.getOWLObjectExactCardinality(ce.getCardinality(), get(ce.getProperty()), get(ce.getFiller())); }
@Override public void visit(OWLObjectExactCardinality ce) { obj = df.getOWLObjectExactCardinality(ce.getCardinality(), dup(ce.getProperty()), dup(ce.getFiller())); }
final public OWLClassExpression Exactly() throws ParseException {OWLObjectProperty prop; OWLClassExpression filler; int card; jj_consume_token(OPENPAR); jj_consume_token(EXACTLY); card = Integer(); prop = RoleName(); filler = ConceptExpression(); jj_consume_token(CLOSEPAR); return df.getOWLObjectExactCardinality(card, prop, filler); }
@Override public Object visit(OWLObjectExactCardinality ce) { return visit(ce, () -> df.getOWLObjectExactCardinality(ce.getCardinality(), t(ce.getProperty()), t(ce .getFiller()))); }
final public OWLClassExpression Exactly() throws ParseException {OWLObjectProperty prop; OWLClassExpression filler; int card; jj_consume_token(OPENPAR); jj_consume_token(EXACTLY); card = Integer(); prop = RoleName(); filler = ConceptExpression(); jj_consume_token(CLOSEPAR); return df.getOWLObjectExactCardinality(card, prop, filler); }
final public OWLClassExpression Exactly() throws ParseException {OWLObjectProperty prop; OWLClassExpression filler; int card; jj_consume_token(OPENPAR); jj_consume_token(EXACTLY); card = Integer(); prop = RoleName(); filler = ConceptExpression(); jj_consume_token(CLOSEPAR); return df.getOWLObjectExactCardinality(card, prop, filler); }
final public OWLClassExpression Exactly() throws ParseException { OWLObjectProperty prop; OWLClassExpression filler; int card; jj_consume_token(OPENPAR); jj_consume_token(EXACTLY); card = Integer(); prop = RoleName(); filler = ConceptExpression(); jj_consume_token(CLOSEPAR); return dataFactory.getOWLObjectExactCardinality(card, prop, filler); }
@Override public OWLObjectExactCardinality translate(IRI mainNode) { int cardi = translateInteger(mainNode, OWL_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().getOWLObjectExactCardinality(cardi, property, filler); } }
@Override public OWLObjectExactCardinality translate(IRI mainNode) { int cardi = translateInteger(mainNode, OWL_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().getOWLObjectExactCardinality(cardi, property, filler); } }
@Override public OWLObjectExactCardinality translate(IRI mainNode) { int cardi = translateInteger(mainNode, OWL_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().getOWLObjectExactCardinality(cardi, property, filler); } }