SubClassOf(owl:Thing DataAllValuesFrom(<http://www.semanticweb.org/owlapi/test#p> DataOneOf("false"^^xsd:boolean)))