Web Services Modeling Language - Language Variants of WSML

Language Variants of WSML

• WSML Core, defined as an intersection of the Description Logic and Horn Logic. Supports modeling classes, attributes, binary relations and instances.
• WSML-DL, extension of the WSML Core, fully captures the Description Logic .
• WSML-Flight, extension of the WSML Core, provides features as meta-modeling, constraints and nonmonotonic negation.
• WSML-Rule, extension of the WSML-Flight, provides Logic Programming capabilities.
• WSML-Full, a unification of the WSML-DL and WSML-Rule.