Web Services Modeling Language: Difference between revisions

Revision as of 17:58, 29 December 2013

Revision as of 23:31, 9 July 2023

Line 7:

==Language variants of WSML==

{{unreferenced|section|date=July 2023}}

* ''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>.