Prefix( : = <http://example.org/> )
Prefix( owl: = <http://www.w3.org/2002/07/owl#> )
Prefix( xsd: = <http://www.w3.org/2001/XMLSchema#> )
Ontology(
Declaration( DataProperty( :dp ) )
ClassAssertion( DataAllValuesFrom( :dp DataOneOf( "0.3333333333333333"^^xsd:decimal "1/3"^^owl:rational ) ) :a )
ClassAssertion( DataMinCardinality( 2 :dp ) :a )
)