lyz | LyZ is a plugin for Zotero , which is intended to make | Development Tools library

I have the following case which I'm trying write an RDF/OWL rule for. The goal is to improve consistency checking in the resulting data base.

I have a class called "Expression" and a class called "Manifestation", they can be related by "hasManifestation".

It easy to enough to restrict the domain and range accordingly so that the domain of "hasManifestation" is "Expression" and the Range is "Manifestation".

But I want to go one step further.

Expressions and Manifestation have a property called structure level, level 1, 2, 3, 4

So an Expression at level 1 should always be related through "hasManifestation" to a "Manifestation" also at level 1, never at level 2, 3, etc.

Likewise an Expression at level 2 should always be related to a Manifestation at level 2 never at level 1 or 3, etc.

So I want write a rule for the Domain and Range of "hasManifestation" that goes something like the following:

Range: Y must be a Manifestation and if the value of the Domain is level Z, then Y must be level Z

Domain: X must be an Expression and if the value of the Range is level Z, then X is level X.

I think I can write this in predicate logic as follows: E = expression, M=manifestation, L=level, R=Range, D=Domain

Range: y(My and (xz)(Dx and Lxz) -> (Lyz))

Domain: x(Ex and (yz)(Ry and Lyz) -> (Lxz))

I might be messing that up somewhere, but hopefully you get the idea of what I would like to do. But how could I write this as an OWL statement in ttl.

Any advice is much appreciated.