Web Services Modeling Language
Encyclopedia
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
.
Formal language
A formal language is a set of words—that is, finite strings of letters, symbols, or tokens that are defined in the language. The set from which these letters are taken is the alphabet over which the language is defined. A formal language is often defined by means of a formal grammar...
that provides a syntax
Syntax
In linguistics, syntax is the study of the principles and rules for constructing phrases and sentences in natural languages....
and semantics
Semantics
Semantics is the study of meaning. It focuses on the relation between signifiers, such as words, phrases, signs and symbols, and what they stand for, their denotata....
for the Web Service Modeling Ontology (WSMO)
WSMO
WSMO or Web Service Modeling Ontology is a conceptual model for relevant aspects related to Semantic Web Services.It provides an ontology based framework, which supports the deployment and interoperability of Semantic Web Services....
.
In other words, the WSML provides means to formally describe the WSMO elements as Ontologies, Semantic Web services
Semantic Web Services
Semantic Web Services, like conventional web services, are the server end of a client–server system for machine-to-machine interaction via the World Wide Web...
, Goals, and Mediators
Mediator pattern
The mediator pattern, one of the 23 design patterns described in Design Patterns: Elements of Reusable Object-Oriented Software, provides a unified interface to a set of interfaces in a subsystem. This pattern is considered to be a behavioral pattern due to the way it can alter the program's...
.
The WSML is based on the logical formalisms as Description Logic, First-order Logic
First-order logic
First-order logic is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first-order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic...
and Logic Programming
Logic programming
Logic programming is, in its broadest sense, the use of mathematical logic for computer programming. In this view of logic programming, which can be traced at least as far back as John McCarthy's [1958] advice-taker proposal, logic is used as a purely declarative representation language, and a...
.
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 LogicDescription logicDescription logic is a family of formal knowledge representation languages. It is more expressive than propositional logic but has more efficient decision problems than first-order predicate logic....
. - 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 ProgrammingLogic programmingLogic programming is, in its broadest sense, the use of mathematical logic for computer programming. In this view of logic programming, which can be traced at least as far back as John McCarthy's [1958] advice-taker proposal, logic is used as a purely declarative representation language, and a...
capabilities. - WSML-Full, a unification of the WSML-DL and WSML-Rule.
See also
- Ontology (computer science)Ontology (computer science)In computer science and information science, an ontology formally represents knowledge as a set of concepts within a domain, and the relationships between those concepts. It can be used to reason about the entities within that domain and may be used to describe the domain.In theory, an ontology is...
- Semantic WebSemantic WebThe Semantic Web is a collaborative movement led by the World Wide Web Consortium that promotes common formats for data on the World Wide Web. By encouraging the inclusion of semantic content in web pages, the Semantic Web aims at converting the current web of unstructured documents into a "web of...
- Semantic Web ServicesSemantic Web ServicesSemantic Web Services, like conventional web services, are the server end of a client–server system for machine-to-machine interaction via the World Wide Web...
- Web Ontology LanguageWeb Ontology LanguageThe Web Ontology Language is a family of knowledge representation languages for authoring ontologies.The languages are characterised by formal semantics and RDF/XML-based serializations for the Semantic Web...
(OWL), OWL-SOWL-SOWL-S is an ontology built on top of Web Ontology Language by the DARPA DAML program. It replaces the former DAML-S ontology. "OWL-S is an ontology, within the OWL-based framework of the Semantic Web, for describing Semantic Web Services...
, WSDLWeb Services Description LanguageThe Web Services Description Language is an XML-based language that is used for describing the functionality offered by a Web service. A WSDL description of a web service provides a machine-readable description of how the service can be called, what parameters it expects and what data structures... - WSMOWSMOWSMO or Web Service Modeling Ontology is a conceptual model for relevant aspects related to Semantic Web Services.It provides an ontology based framework, which supports the deployment and interoperability of Semantic Web Services....