public void createRestrictions(Set<OWLDataProperty> properties, Set<OWLDatatype> fillers, Set<OWLClassExpression> result) { for (OWLDataProperty prop : properties) { if (fillers.isEmpty()) { return; } OWLDatatype filler = fillers.iterator().next(); result.add(getDataFactory().getOWLDataAllValuesFrom(prop, filler)); } } });
@Override public OWLDataAllValuesFrom buildObject() { return df.getOWLDataAllValuesFrom(getProperty(), getDataRange()); } }
@Override public void visit(OWLDataPropertyRangeAxiom axiom) { OWLDataPropertyExpression dataProperty=axiom.getProperty(); checkTopDataPropertyUse(dataProperty,axiom); OWLDataAllValuesFrom allPropertyRange=m_factory.getOWLDataAllValuesFrom(dataProperty,positive(axiom.getRange())); m_classExpressionInclusionsAsDisjunctions.add(Arrays.asList( allPropertyRange )); } @Override
@Override public Boolean visit(OWLDataPropertyRangeAxiom axiom) { return Boolean.valueOf(reasoner.isSubClassOf(factory.getOWLThing(),factory.getOWLDataAllValuesFrom(axiom.getProperty(),axiom.getRange()))); } @Override
@Override public OWLClassExpression visit(OWLDataAllValuesFrom d) { OWLDataRange filler=getNNF(d.getFiller()); return m_factory.getOWLDataAllValuesFrom(d.getProperty(),filler); } @Override
public OWLClassExpression visit(OWLDataAllValuesFrom d) { OWLDataRange filler=getNNF(d.getFiller()); return m_factory.getOWLDataAllValuesFrom(d.getProperty(),filler); } public OWLClassExpression visit(OWLDataHasValue d) {
@Override public OWLClassExpression visit(OWLDataAllValuesFrom ce) { OWLDataRange filler = ce.getFiller().accept(rangeVisitor); return df.getOWLDataAllValuesFrom(ce.getProperty(), filler); }
final public OWLClassExpression DataAllValuesFrom() throws ParseException {OWLDataPropertyExpression prop = null; OWLDataRange dataRange = null; jj_consume_token(DATAALLVALUESFROM); jj_consume_token(OPENPAR); prop = DataPropertyExpression(); dataRange = DataRange(); jj_consume_token(CLOSEPAR); return df.getOWLDataAllValuesFrom(prop, dataRange); }
@Override public OWLClassExpression visit(OWLDataSomeValuesFrom ce) { OWLDataRange filler = ce.getFiller().accept(dataVisitor); if (negated) { return df.getOWLDataAllValuesFrom(ce.getProperty(), filler); } return df.getOWLDataSomeValuesFrom(ce.getProperty(), filler); }
final public OWLClassExpression DataAllValuesFrom() throws ParseException {OWLDataPropertyExpression prop = null; OWLDataRange dataRange = null; jj_consume_token(DATAALLVALUESFROM); jj_consume_token(OPENPAR); prop = DataPropertyExpression(); dataRange = DataRange(); jj_consume_token(CLOSEPAR); return df.getOWLDataAllValuesFrom(prop, dataRange); }
@Override public OWLClassExpression visit(OWLDataPropertyRangeAxiom ax) { OWLClassExpression forall = df.getOWLDataAllValuesFrom(ax.getProperty(), ax.getRange()); return df.getOWLObjectIntersectionOf(df.getOWLThing(), df.getOWLObjectComplementOf(forall)); }
public OWLClassExpression visit(OWLDataSomeValuesFrom desc) { OWLDataRange filler = desc.getFiller().accept(this); if (negated) { return dataFactory.getOWLDataAllValuesFrom(desc.getProperty(), filler); } else { return dataFactory.getOWLDataSomeValuesFrom(desc.getProperty(), filler); } }
@Override public OWLClassExpression visit(OWLDataSomeValuesFrom ce) { OWLDataRange filler = ce.getFiller().accept(this); if (negated) { return dataFactory .getOWLDataAllValuesFrom(ce.getProperty(), filler); } else { return dataFactory.getOWLDataSomeValuesFrom(ce.getProperty(), filler); } }
@Override public OWLClassExpression visit(OWLDataAllValuesFrom desc) { OWLDataRange filler = desc.getFiller().accept(this); if (negated) { return dataFactory.getOWLDataSomeValuesFrom(desc.getProperty(), filler); } else { return dataFactory.getOWLDataAllValuesFrom(desc.getProperty(), filler); } }
@Override public OWLClassExpression visit(OWLDataAllValuesFrom ce) { OWLDataRange filler = ce.getFiller().accept(dataVisitor); if (negated) { return df.getOWLDataSomeValuesFrom(ce.getProperty(), filler); } return df.getOWLDataAllValuesFrom(ce.getProperty(), filler); }
@Override public OWLDataAllValuesFrom visit(OWLDataAllValuesFrom ce) { if (ce.getFiller() instanceof OWLDataOneOf) { return df.getOWLDataAllValuesFrom(ce.getProperty(), process(ce.getProperty(), (OWLDataOneOf) ce .getFiller())); } return super.visit(ce); }
@Override public OWLDataAllValuesFrom visit(OWLDataAllValuesFrom ce) { if (ce.getFiller() instanceof OWLDataOneOf) { return df.getOWLDataAllValuesFrom(ce.getProperty(), process(ce.getProperty(), (OWLDataOneOf) ce .getFiller())); } return super.visit(ce); }
@Override public Collection<OWLAxiom> visit(OWLNegativeDataPropertyAssertionAxiom axiom) { return subClassOf(df.getOWLObjectOneOf(axiom.getSubject()), df.getOWLDataAllValuesFrom(axiom.getProperty(), df.getOWLDataComplementOf(df.getOWLDataOneOf(axiom.getObject())))); }
@Override public void visit(OWLDataPropertyRangeAxiom axiom) { write(TOP); writeSpace(); write(SUBCLASS); writeSpace(); df.getOWLDataAllValuesFrom(axiom.getProperty(), axiom.getRange()) .accept(this); }
@Override public OWLClassExpression visit(OWLDataAllValuesFrom d) { if (d.getFiller().isTopDatatype()) { return m_factory.getOWLThing(); } if (getSimplified(d.getFiller()).isTopDatatype()) return m_factory.getOWLThing(); else return m_factory.getOWLDataAllValuesFrom(d.getProperty(),getSimplified(d.getFiller())); } @Override