Jazyk modelování webových služeb - Web Services Modeling Language
WSML nebo Jazyk modelování webových služeb je formální jazyk který poskytuje a syntax a sémantika pro Ontologie modelování webových služeb (WSMO).
Jinými slovy, WSML poskytuje prostředky k formálnímu popisu prvků WSMO jako Ontologie, Služby sémantického webu, Cíle, a Zprostředkovatelé.[1]
WSML je založen na logických formalizmech jako Popis Logika, Logika prvního řádu a Logické programování.[2]
Jazykové varianty WSML
- Jádro WSML, definovaný jako průsečík Popis Logika a Horn Logic. Podporuje třídy modelování, atributy, binární vztahy a instance.
- WSML-DL, rozšíření WSML Core, plně zachycuje Popis Logika .
- WSML-Flight, rozšíření WSML Core, poskytuje funkce jako meta-modelování, omezení a nonmonotonic negace.
- Pravidlo WSML, rozšíření WSML-Flight, poskytuje Logické programování schopnosti.
- Plný WSML, sjednocení pravidel WSML-DL a WSML.
Viz také
- Ontologie (informatika)
- Sémantický web
- Sémantické webové služby
- Jazyk webové ontologie (SOVA), OWL-S, WSDL
- WSMO
Reference
- ^ J. de Bruijn, H. Lausen, A. Polleres, D. Fensel: WSML - jazykový rámec pro sémantickou webovou službu. W3C Workshop on Rule Languages for Interoperability, Washington USA, 27. – 28. Dubna 2005. http://dip.semanticweb.org/WSML-aLanguageFrameworkforSemanticWebServices.htm
- ^ J. de Bruijn, H. Lausen, A. Polleres, D. Fensel: Jazyky pravidel WSML pro sémantický web. W3C Workshop on Rule Languages for Interoperability, Washington USA, 27. – 28. Dubna 2005. http://dip.semanticweb.org/TheWSMLrulelanguagesfortheSemanticWeb.htm