Web Services Modeling Language

WSML eller Web Service Modeling Language är ett formellt språk som tillhandahåller en syntax och semantik för Web Service Modeling Ontology (WSMO) .

Med andra ord tillhandahåller WSML sätt att formellt beskriva WSMO-elementen som ontologier , semantiska webbtjänster , mål och medlare .

Språkvarianter av WSML

WSML Core , definierad som en skärningspunkt mellan beskrivningslogiken och hornlogiken . Stöder modelleringsklasser, attribut, binära relationer och instanser.
WSML-DL , förlängning av WSML Core, fångar fullständigt beskrivningslogiken S $\displaystyle {\mathcal {SHIQ}}^{\mathcal {(D)}}}$ .
WSML-Flight , förlängning av WSML Core, tillhandahåller funktioner som metamodellering, begränsningar och icke-monotonisk negation.
WSML-Rule , en förlängning av WSML-Flight, tillhandahåller funktioner för logisk programmering .
WSML-Full , en förening av WSML-DL och WSML-regeln.