@Override public OWLDataSomeValuesFrom getOWLDataSomeValuesFrom(OWLDataPropertyExpression property, OWL2Datatype dataRange) { return getOWLDataSomeValuesFrom(property, dataRange.getDatatype(this)); }
@Override public OWLDataSomeValuesFrom getOWLDataSomeValuesFrom(OWLDataPropertyExpression property, OWL2Datatype dataRange) { return getOWLDataSomeValuesFrom(property, dataRange.getDatatype(this)); }
@Override public OWLDataSomeValuesFrom getOWLDataSomeValuesFrom(OWLDataPropertyExpression property, OWL2Datatype dataRange) { return getOWLDataSomeValuesFrom(property, dataRange.getDatatype(this)); }
@Override public OWLDataSomeValuesFrom getOWLDataSomeValuesFrom(OWLDataPropertyExpression property, OWL2Datatype dataRange) { return getOWLDataSomeValuesFrom(property, dataRange.getDatatype(this)); }
public static void main(String[] args) throws Exception { StringRenderer.setRenderer(Rendering.MANCHESTER_SYNTAX); OWLDataFactoryImpl df = new OWLDataFactoryImpl(); PrefixManager pm = new DefaultPrefixManager(); pm.setDefaultPrefix(":"); OWLClass A = df.getOWLClass("A", pm ); OWLDataProperty s = df.getOWLDataProperty("s", pm); OWLDataProperty t = df.getOWLDataProperty("t", pm); OWLDatatypeRestriction dr1 = df.getOWLDatatypeMinMaxInclusiveRestriction(1.0, 2.0); OWLDatatypeRestriction dr2 = df.getOWLDatatypeMinMaxInclusiveRestriction(15, 100); OWLClassExpression ce = df.getOWLObjectIntersectionOf(A, df.getOWLDataSomeValuesFrom(s, dr1), df.getOWLDataSomeValuesFrom(t, dr2) ); Set<OWLClassExpression> expressions = ce.accept(new ClassExpressionLiteralCombination()); for (OWLClassExpression expr : expressions) { System.out.println(expr); } }