/** * @deprecated Use * {@link #all(OWLObjectPropertyExpression, OWLClassExpression)} * instead */ public static OWLObjectAllValuesFrom allValuesFrom(OWLObjectPropertyExpression property, OWLClassExpression description) { return factory.getOWLObjectAllValuesFrom( property, description ); }
@Override public Set<OWLClassExpression> visit(OWLObjectAllValuesFrom ce) { Set<OWLClassExpression> result = new HashSet<>(); result.add(ce); result.add(dataFactory.getOWLObjectAllValuesFrom(ce.getProperty(), dataFactory.getOWLNothing())); return result; }
@Override public Set<OWLClassExpression> visit(OWLObjectAllValuesFrom desc) { Set<OWLClassExpression> descs = new HashSet<>(); for (OWLClassExpression filler : desc.getFiller().accept(this)) { if (!isThing(filler)) { descs.add(factory.getOWLObjectAllValuesFrom(desc.getProperty(), filler)); } } descs.add(getLimit()); return descs; }
@Override public OWLObjectAllValuesFrom buildObject() { return df.getOWLObjectAllValuesFrom(verifyNotNull(getProperty()), getRange()); } }
@Override public void visit(OWLObjectAllValuesFrom ce) { if (signature.contains(ce.getProperty().getNamedProperty())) { newClassExpression = df .getOWLObjectAllValuesFrom(ce.getProperty(), replaceBottom(ce.getFiller())); } else { newClassExpression = df.getOWLThing(); } }
@Override public void visit(OWLObjectAllValuesFrom ce) { if (signature.contains(ce.getProperty().getNamedProperty())) { newClassExpression = df .getOWLObjectAllValuesFrom(ce.getProperty(), replaceBottom(ce.getFiller())); } else { newClassExpression = df.getOWLThing(); } }
@Override public OWLClassExpression visit(OWLObjectAllValuesFrom ce) { if (signature.containsAll(asList(ce.getFiller().signature()))) { OWLClass name = createNewName(); axioms.add(getSCA(name, ce.getFiller().accept(this))); return ldf.getOWLObjectAllValuesFrom(ce.getProperty(), name); } return ce; }
@Override public Object visit(OWLObjectAllValuesFrom ce) { return visit(ce, () -> df.getOWLObjectAllValuesFrom(t(ce.getProperty()), t(ce.getFiller()))); }
@Override public OWLClassExpression visit(OWLObjectSomeValuesFrom ce) { OWLClassExpression filler = ce.getFiller().accept(this); if (negated) { return df.getOWLObjectAllValuesFrom(ce.getProperty(), filler); } return df.getOWLObjectSomeValuesFrom(ce.getProperty(), filler); }
final public OWLClassExpression All() throws ParseException, KRSS2OWLParserException {OWLObjectPropertyExpression prop; OWLClassExpression filler; jj_consume_token(OPENPAR); jj_consume_token(ALL); prop = RoleExpression(); filler = ConceptExpression(); jj_consume_token(CLOSEPAR); return df.getOWLObjectAllValuesFrom(prop, filler); }
final public OWLClassExpression ObjectAllValuesFrom() throws ParseException {OWLObjectPropertyExpression prop; OWLClassExpression filler; jj_consume_token(OBJECTALLVALUESFROM); jj_consume_token(OPENPAR); prop = ObjectPropertyExpression(); filler = ClassExpression(); jj_consume_token(CLOSEPAR); return df.getOWLObjectAllValuesFrom(prop, filler); }
final public OWLClassExpression ObjectAllValuesFrom() throws ParseException {OWLObjectPropertyExpression prop; OWLClassExpression filler; jj_consume_token(OBJECTALLVALUESFROM); jj_consume_token(OPENPAR); prop = ObjectPropertyExpression(); filler = ClassExpression(); jj_consume_token(CLOSEPAR); return df.getOWLObjectAllValuesFrom(prop, filler); }
final public OWLClassExpression All() throws ParseException, KRSS2OWLParserException {OWLObjectPropertyExpression prop; OWLClassExpression filler; jj_consume_token(OPENPAR); jj_consume_token(ALL); prop = RoleExpression(); filler = ConceptExpression(); jj_consume_token(CLOSEPAR); return df.getOWLObjectAllValuesFrom(prop, filler); }
final public OWLClassExpression All() throws ParseException { OWLObjectProperty prop; OWLClassExpression filler; jj_consume_token(OPENPAR); jj_consume_token(ALL); prop = RoleName(); filler = ConceptExpression(); jj_consume_token(CLOSEPAR); return dataFactory.getOWLObjectAllValuesFrom(prop, filler); }
public void visit(OWLObjectPropertyRangeAxiom axiom) { // Thing subclassOf prop only Range OWLClassExpression sup = dataFactory.getOWLObjectAllValuesFrom(axiom.getProperty(), axiom.getRange()); OWLSubClassOfAxiom ax = dataFactory.getOWLSubClassOfAxiom(dataFactory.getOWLThing(), sup); ax.accept(this); }
@Override public void visit(OWLObjectPropertyRangeAxiom axiom) { write(TOP); writeSpace(); write(SUBCLASS); writeSpace(); df.getOWLObjectAllValuesFrom(axiom.getProperty(), axiom.getRange()).accept(this); }
@Override public void visit(OWLObjectPropertyRangeAxiom axiom) { write(TOP); writeSpace(); write(SUBCLASS); writeSpace(); df.getOWLObjectAllValuesFrom(axiom.getProperty(), axiom.getRange()).accept(this); }
@Override public OWLObjectAllValuesFrom translate(IRI mainNode) { getConsumer().consumeTriple(mainNode, RDF_TYPE.getIRI(), OWL_RESTRICTION.getIRI()); IRI propertyIRI = getConsumer().getResourceObject(mainNode, OWL_ON_PROPERTY, true); OWLObjectPropertyExpression property = getConsumer() .translateObjectPropertyExpression(verifyNotNull(propertyIRI)); IRI fillerIRI = getConsumer().getResourceObject(mainNode, OWL_ALL_VALUES_FROM, true); OWLClassExpression filler = accessor.translateClassExpression(verifyNotNull(fillerIRI)); return getDataFactory().getOWLObjectAllValuesFrom(property, filler); } }
@Override public OWLObjectAllValuesFrom translate(IRI mainNode) { getConsumer().consumeTriple(mainNode, RDF_TYPE.getIRI(), OWL_RESTRICTION.getIRI()); IRI propertyIRI = getConsumer().getResourceObject(mainNode, OWL_ON_PROPERTY, true); OWLObjectPropertyExpression property = getConsumer() .translateObjectPropertyExpression(verifyNotNull(propertyIRI)); IRI fillerIRI = getConsumer().getResourceObject(mainNode, OWL_ALL_VALUES_FROM, true); OWLClassExpression filler = accessor.translateClassExpression(verifyNotNull(fillerIRI)); return getDataFactory().getOWLObjectAllValuesFrom(property, filler); } }
@Override public OWLObjectAllValuesFrom translate(IRI mainNode) { getConsumer().consumeTriple(mainNode, RDF_TYPE.getIRI(), OWL_RESTRICTION.getIRI()); IRI propertyIRI = getConsumer().getResourceObject(mainNode, OWL_ON_PROPERTY, true); OWLObjectPropertyExpression property = getConsumer() .translateObjectPropertyExpression(verifyNotNull(propertyIRI)); IRI fillerIRI = getConsumer().getResourceObject(mainNode, OWL_ALL_VALUES_FROM, true); OWLClassExpression filler = accessor.translateClassExpression(verifyNotNull(fillerIRI)); return getDataFactory().getOWLObjectAllValuesFrom(property, filler); } }