Add support for qualified object property cardinality restrictions.

[NicolasRouquette]

User Story

As an ontologist, I would like support for qualified object property cardinality restrictions so that I can represent expressive vocabularies concisely..

Detailed Description

Description providing additional details and context.

Consider the example from this paper: http://dx.doi.org/10.1016/j.artint.2009.06.003

OML lacks the expressivity to encode the axioms (4-18) on page 1283:

Proposed OML syntax:

Add to OML restriction syntax support for specifying an optional class expression.

For example:

  concept Index_finger :> Finger [  
    restricts relation hasPart to max 1 Distal_phalanx_oif // (13)
    restricts relation hasPart to max 1 Middle_phalanx_oif // (14)
    restricts relation hasPart to max 1 Proximal_phalanx_oif // (15)
  ]

Acceptance Criteria

• [ ] Given [Condition], then [Expected Result]
• [ ] Given [Condition], then [Expected Result]
• [ ] Given [Condition], then [Expected Result]

Sub-task List

• [ ] Task 1
• [ ] Task 2
• [ ] Task 3

[NicolasRouquette]

this is already supported in oml 0.8.