How do I express "Every" in manchester owl syntax?

Question

If A isRelatedTo B and B has the dataproperty: existence = {true, false}

how can I express in manchester owl syntax (for protege) the subset where: is type A and every isRelatedTo of A has the value "true"

Answer 1

I think what you're asking is how to write the class expression for the class whose members have type A and all of whose values for the isRelatedTo property is true^^xsd:boolean. That's simple enough:

A and (isRelatedTo only {true})

In Protégé it looks like this: