SubClassOf(owl:Thing DataMaxCardinality(1 <http://www.semanticweb.org/owlapi/test#p> rdfs:Literal))