Content deleted Content added
→Language variants of WSML: specify DL variant |
|||
Line 9:
==Language variants of WSML==
* ''WSML Core'', defined as an intersection of the [[Description Logics|Description Logic]] and [[Horn logic|Horn Logic]]. Supports modeling classes, attributes, binary relations and instances.
* ''WSML-DL'', extension of the WSML Core, fully captures the [[Description Logic]] <math>\mathcal{SHIQ}^\mathcal{(D)}</math>.
* ''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.
| |||