Let's have an OWL-DL ontology considering only the TBox (no individuals) and Let's consider
Chinesefamily hasChilren max 1
SterileChinesefamily subClassOf Chinesefamily
SterileChinesefamily hasChilren exactly 0
The expression
hasChilren max 1
will return Chinesefamily
and SterileChinesefamily
as sub classes
Well, how to specify classes that may have 0 or 1 children (Chinesefamily
) but must not have exactly 0 children (SterileChinesefamily
)
I tried
hasChilren max 1 and not hasChilren exactly 0
It returns Nothing!
============= UPDATE =============
Please note
hasChilren exactly 1
is not what I intend. Instead, what I mean is classes that are subclasses of:
- The classes that their individuals are allowed to have either 1 or 0 children (
Chinesefamily
). AND
NOT
The classes that their individuals must have exactly zero children (SterileChinesefamily
).
(Actually, I consider only the TBox (no individuals), but this update is just for clarification).