WSML or Web Service Modeling Language is a
formal language
In logic, mathematics, computer science, and linguistics, a formal language consists of words whose letters are taken from an alphabet and are well-formed according to a specific set of rules.
The alphabet of a formal language consists of s ...
that provides a
syntax and
semantics
Semantics (from grc, σημαντικός ''sēmantikós'', "significant") is the study of reference, meaning, or truth. The term can be used to refer to subfields of several distinct disciplines, including philosophy, linguistics and compu ...
for the
Web Service Modeling Ontology (WSMO).
In other words, the WSML provides means to formally describe the WSMO elements as
Ontologies
In computer science and information science, an ontology encompasses a representation, formal naming, and definition of the categories, properties, and relations between the concepts, data, and entities that substantiate one, many, or all domains ...
,
Semantic Web services,
Goals, and
Mediators.
The WSML is based on the logical formalisms as
Description Logic,
First-order Logic
First-order logic—also known as predicate logic, quantificational logic, and first-order predicate calculus—is a collection of formal systems used in mathematics, philosophy, linguistics, and computer science. First-order logic uses quanti ...
and
Logic Programming
Logic programming is a programming paradigm which is largely based on formal logic
Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or of log ...
.
[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 paradigm which is largely based on formal logic
Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or of log ...
capabilities.
* ''WSML-Full'', a unification of the WSML-DL and WSML-Rule.
See also
*
Ontology (computer science)
In computer science and information science, an ontology encompasses a representation, formal naming, and definition of the categories, properties, and relations between the concepts, data, and entities that substantiate one, many, or all domains ...
*
Semantic Web
*
Semantic Web Services
*
Web Ontology Language
The Web Ontology Language (OWL) is a family of knowledge representation languages for authoring ontologies. Ontologies are a formal way to describe taxonomies and classification networks, essentially defining the structure of knowledge for vario ...
(OWL),
OWL-S,
WSDL
The Web Services Description Language (WSDL ) is an XML-based interface description language that is used for describing the functionality offered by a web service. The acronym is also used for any specific WSDL description of a web service (also ...
*
WSMO
References
{{reflist
External links
WSML Home Web SiteWSML syntaxWSML submission in W3CWSMO Working Group Web Site
Web services
Semantic Web