SubClassOf(owl:Thing ObjectMaxCardinality(1 ObjectInverseOf(<http://example.com/objectProperty>) owl:Thing))