Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.
Concepts with Attribute Definitions
WSML allows two kinds of attribute definitions
Constraining definitions: An attribute definition of the form AofTypeD, where A is an attribute identifier and D is a concept identifier, is a constraint on the values for attribute A; If the value for the attribute A is not known to be of type D, the constraint is violated and the attribute value is inconsistent with respect to the ontology
Inferring definitions: An attribute definition of the form AimpliesTypeD, where A is an attribute identifier and D is a concept identifier, implies membership of the concept D for all values of the attribute A
Attributes which do not have a datatype range can be specified as being reflexive, transitive, symmetric, or being the inverse of another attribute
WSML allows the specification of cardinality and range constraints (defined like integrity constraints in databases)