The Web Service Modeling Language WSML: An Overview
Lecture notes in computer sciencePublished 1 January 2006
Jos de Bruijn, Holger Lausen, Axel Polleres, Dieter Fensel
Citations155
SJR quartileQ2
SJR score0.35
SNIP0.55
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
TL;DR
WSML distinguishes between conceptual and logical modeling in order to support users who are not familiar with formal logic, while not restricting the expressive power of the language for the expert user.
Abstract
Abstract. The Web Service Modeling Language (WSML) is a language for the specification of different aspects of Semantic Web Services. It provides a formal language for the Web Service Modeling Ontology WSMO which is based on well-known logical formalisms, specifying one coherent language framework for the description of Semantic Web Services, starting from the intersection of Datalog and the Description Logic SHIQ. This core language is extended in the directions of Description Logics and Logic Programming in a principled manner with strict layering. WSML distinguishes between conceptual and logical modeling in order to facilitate users who are not familiar with formal logic, while not restricting the expressive power of the language for the expert user. IRIs play a central role in WSML as identifiers. Furthermore, WSML defines XML and RDF serializations for inter-operation over the Semantic Web.
Keywords
Computer ScienceBusiness, Management and Accounting
DAML-S: semantic markup for web services
2,411 Citations2001Anupriya Ankolekar, Mark Burstein +9 more
The overall structure of the ontology, the service profile for advertising services, and the process model for the detailed description of the operation of services are described, which compare DAML-S with several industry efforts to define standards for characterizing services on the Web.
IEEE Intelligent SystemsSemantic Web services
1,891 Citations2001Sheila A. McIlraith, Tran Cao Son +1 more
The authors propose the markup of Web services in the DAML family of Semantic Web markup languages, which enables a wide variety of agent technologies for automated Web service discovery, execution, composition and interoperation.
The Description Logic Handbook
1,884 Citations2009Franz Baader, Diego Calvanese +3 more
Journal of the ACMLogical foundations of object-oriented and frame-based languages
1,456 Citations1995Michael Kifer, Georg Lausen +1 more
A novel formalism, called Frame Logic (abbr., F-logic), is proposed, that accounts in a clean and declarative fashion for most of the structural aspects of object-oriented and frame-based languages.
Journal of Web SemanticsFrom SHIQ and RDF to OWL: the making of a Web Ontology Language
1,449 Citations2003Ian Horrocks, Peter F. Patel‐Schneider +1 more
This paper discusses how the philosophy and features of OWL can be traced back to these older formalisms, with modifications driven by several other constraints on OWL.
Web Service Modeling Ontology
1,099 Citations2011Dieter Fensel, Federico Michele Facca +2 more
Electronic Commerce Research and ApplicationsThe Web Service Modeling Framework WSMF
829 Citations2002Dieter Fensel, Christoph Bußler
A fully-fledged Web Service Modeling Framework is defined that provides the appropriate conceptual model for developing and describing web services and their composition and its philosophy is based on the following principle: maximal de-coupling complemented by a scalable mediation service.
SSRN Electronic JournalDescription Logic Programs: Combining Logic Programs with Description Logic
810 Citations2003Benjamin N. Grosof, Ian Horrocks +2 more
ACM SIGMOD RecordReview of "Ontologies
382 Citations2002Antonio Badia
This book discusses the role of ontologies in Knowledge Management, and gives an overview of XML and some related technologies (XSL and RDF) and ontology languages.
Internationalized Resource Identifiers (IRIs)
281 Citations2005M. Duerst, Michel Suignard
This document defines a new protocol element, the Internationalized Resource Identifier (IRI), as a complement of the Uniform Resource Identifiers (URI), which means that IRIs can be used instead of URIs, where appropriate, to identify resources.
Combining answer set programming with description logics for the semantic web
253 Citations2004Thomas Eiter, Thomas Lukasiewicz +2 more
DL + log : tight integration of description logics and disjunctive datalog
209 Citations2006Riccardo Rosati
DL +log is defined, a general framework for the integration of Description Logics and disjunctive Datalog rules that allows for a tighter form of integration between DL-KBs and Datalogs rules which overcomes the main representational limits of the approaches based on the safety condition.
Lecture notes in computer scienceA Conceptual Comparison of WSMO and OWL-S
192 Citations2004Rubén Lara, Dumitru Roman +2 more
A conceptual comparison is conducted that identifies the overlaps and differences of both initiatives in order to evaluate their applicability in a real setting and their potential to become widely accepted standards.
Lecture notes in computer scienceAutomatic Location of Services
150 Citations2005Uwe Keller, Rubén Lara +3 more
A model for the automatic location of services is presented that considers the static and dynamic aspects of service descriptions and identifies what notions and techniques are useful for the matching of both.
OWL DL vs. OWL flight
129 Citations2005Jos de Bruijn, Rubén Lara +2 more
OWL Flight is presented, which is loosely based on OWL, but the semantics is grounded in Logic Programming rather than Description Logics, and it borrows the constraint-based modeling style common in databases.
Lecture notes in computer scienceA Realistic Architecture for the Semantic Web
36 Citations2005Michael Kifer, Jos de Bruijn +2 more
Lecture notes in computer scienceOWL-Eu: Adding Customised Datatypes into OWL
25 Citations2005Jeff Z. Pan, Ian Horrocks
Internationalized Resource Identifiers (IRIs) Status of This Memo
10 Citations2005M. Duerst, Michel Suignard
This document defines a new protocol element, the Internationalized Resource Identifier (IRI), as a complement to the Uniform Resource Identifiers (URI), which means that IRIs can be used instead of URIs, where appropriate, to identify resources.