Prefix(:=<http://www.semanticweb.org/owlapi/test#>)Prefix(a:=<http://www.semanticweb.org/owlapi/test#>)Prefix(rdfs:=<http://www.w3.org/2000/01/rdf-schema#>)Prefix(owl2xml:=<http://www.w3.org/2006/12/owl2-xml#>)Prefix(test:=<http://www.semanticweb.org/owlapi/test#>)Prefix(owl:=<http://www.w3.org/2002/07/owl#>)Prefix(xsd:=<http://www.w3.org/2001/XMLSchema#>)Prefix(rdf:=<http://www.w3.org/1999/02/22-rdf-syntax-ns#>)
Ontology(<urn:test>
Declaration(NamedIndividual(test:a)) 
    Declaration(Class(test:A)) 
    Declaration(DataProperty(test:dp)) 
    SubClassOf( test:A DataMinCardinality( 257 test:dp rdfs:Literal ) ) 
    SubClassOf( test:A DataAllValuesFrom( test:dp xsd:byte ) ) 
    ClassAssertion( test:A test:a ))