Prefix( : = <http://example.org/> )

Prefix( owl: = <http://www.w3.org/2002/07/owl#> )

Ontology(

Declaration( DataProperty( :dp ) )

ClassAssertion( DataAllValuesFrom( :dp owl:rational ) :a )

ClassAssertion( DataMinCardinality( 2 :dp ) :a )

)