From Surf Wiki (app.surf) — the open knowledge base
Web Services Modeling Language
WSML or Web Service Modeling Language is a formal language that provides a syntax and semantics for the Web Service Modeling Ontology (WSMO).
In other words, the WSML provides means to formally describe the WSMO elements as Ontologies, Semantic Web services, Goals, and Mediators.
The WSML is based on the logical formalisms as Description Logic, First-order Logic and Logic Programming.
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 \mathcal{SHIQ}^\mathcal{(D)}.
- 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.
References
References
- J. de Bruijn, H. Lausen, A. Polleres, D. Fensel: WSML - a Language Framework for Semantic Web Service. W3C Workshop on Rule Languages for Interoperability, Washington USA, 27–28 April 2005. http://dip.semanticweb.org/WSML-aLanguageFrameworkforSemanticWebServices.htm {{Webarchive. link. (2009-01-07)
- J. de Bruijn, H. Lausen, A. Polleres, D. Fensel: The WSML rule languages for the Semantic Web. W3C Workshop on Rule Languages for Interoperability, Washington USA, 27–28 April 2005. http://dip.semanticweb.org/TheWSMLrulelanguagesfortheSemanticWeb.htm {{Webarchive. link. (2009-01-07)
- "Web Service Modeling Language (WSML)".
This article was imported from Wikipedia and is available under the Creative Commons Attribution-ShareAlike 4.0 License. Content has been adapted to SurfDoc format. Original contributors can be found on the article history page.
Ask Mako anything about Web Services Modeling Language — get instant answers, deeper analysis, and related topics.
Research with MakoFree with your Surf account
Create a free account to save articles, ask Mako questions, and organize your research.
Sign up freeThis content may have been generated or modified by AI. CloudSurf Software LLC is not responsible for the accuracy, completeness, or reliability of AI-generated content. Always verify important information from primary sources.
Report