WSML or Web Service Modeling Language is a
formal language
In logic, mathematics, computer science, and linguistics, a formal language is a set of strings whose symbols are taken from a set called "alphabet".
The alphabet of a formal language consists of symbols that concatenate into strings (also c ...
that provides a
syntax
In linguistics, syntax ( ) is the study of how words and morphemes combine to form larger units such as phrases and sentences. Central concerns of syntax include word order, grammatical relations, hierarchical sentence structure (constituenc ...
and
semantics
Semantics is the study of linguistic Meaning (philosophy), meaning. It examines what meaning is, how words get their meaning, and how the meaning of a complex expression depends on its parts. Part of this process involves the distinction betwee ...
for the
Web Service Modeling Ontology (WSMO).
In other words, the WSML provides means to formally describe the WSMO elements as
Ontologies
In information science, an ontology encompasses a representation, formal naming, and definitions of the categories, properties, and relations between the concepts, data, or entities that pertain to one, many, or all domains of discourse. More ...
,
Semantic Web services,
Goals, and
Mediators.
The WSML is based on the logical formalisms as
Description Logic,
First-order Logic
First-order logic, also called predicate logic, predicate calculus, or quantificational logic, is a collection of formal systems used in mathematics, philosophy, linguistics, and computer science. First-order logic uses quantified variables over ...
and
Logic Programming
Logic programming is a programming, database and knowledge representation paradigm based on formal logic. A logic program is a set of sentences in logical form, representing knowledge about some problem domain. Computation is performed by applyin ...
.
[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 ]
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 .
* ''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
Logic programming is a programming, database and knowledge representation paradigm based on formal logic. A logic program is a set of sentences in logical form, representing knowledge about some problem domain. Computation is performed by applyin ...
capabilities.
* ''WSML-Full'', a unification of the WSML-DL and WSML-Rule.
See also
*
Ontology (computer science)
In information science, an ontology encompasses a representation, formal naming, and definitions of the categories, properties, and relations between the concepts, data, or entities that pertain to one, many, or all domains of discourse. More ...
*
Semantic Web
The Semantic Web, sometimes known as Web 3.0, is an extension of the World Wide Web through standards set by the World Wide Web Consortium (W3C). The goal of the Semantic Web is to make Internet data machine-readable.
To enable the encoding o ...
*
Semantic Web Services
*
Web Ontology Language
The Web Ontology Language (OWL) is a family of Knowledge representation and reasoning, knowledge representation languages for authoring Ontology (information science), ontologies. Ontologies are a formal way to describe Taxonomy, taxonomies and ...
(OWL),
OWL-S,
WSDL
*
WSMO
References
{{reflist
External links
WSML Home Web SiteWSML syntaxWSML submission in W3CWSMO Working Group Web Site
Web services
Semantic Web