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.5"^^xsd:decimal "1/2"^^owl:rational ) ) :a )

ClassAssertion( DataMinCardinality( 2 :dp ) :a )

)