2

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"

user3087190
  • 21
  • 2
  • I don't understand how B is involved in the expression and how the property 'existence' is used. If they are important in your question, can you clarify how they interact? – Ignazio Dec 11 '13 at 21:35

1 Answers1

2

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:

"A and isRelatedTo only {true}" in the Protégé class expression editor

Joshua Taylor
  • 84,998
  • 9
  • 154
  • 353