SubClassOf(owl:Thing DataAllValuesFrom(<http://www.semanticweb.org/owlapi/test#p> DatatypeRestriction(xsd:double facetRestriction(minExclusive "5.0"^^xsd:double) facetRestriction(maxExclusive "6.0"^^xsd:double))))