Closed claudenirmf closed 4 years ago
I have changed the field name natures
to allowed
, referring to "allowed ontological natures". I believe that is both sound and short.
My latest commit adds "abstract" as a value for an allowed nature and updates the description of the "order"
field to the following:
"A string field that captures the type-order of a class decorated as «type». This field supports the representation of second-order types or greater, thus its minimum value is \"2\". This field MUST be set to \"*\" for orderless types."
Adds
isExtensional
,isPowertype
,order
, andnatures
to the definition of objects of typeClass
.I am still insecure about the name
natures
, so I am also considering the following:ontologicalNatures
,allowedNatures
, andallowedOntologicalNatures
.Resolves #6