Sciweavers

25 search results - page 1 / 5
» A Semantic Framework for Language Layering in WSML
Sort
View
RR
2007
Springer
13 years 11 months ago
A Semantic Framework for Language Layering in WSML
Abstract. WSML presents a framework encompassing different language variants, rooted in Description Logics and (F-)Logic Programming. So far, the precise relationships between thes...
Jos de Bruijn, Stijn Heymans
ESWS
2006
Springer
13 years 9 months ago
The Web Service Modeling Language WSML: An Overview
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 Modeli...
Jos de Bruijn, Holger Lausen, Axel Polleres, Diete...
ESWS
2007
Springer
13 years 11 months ago
A Reasoning Framework for Rule-Based WSML
WSML is an ontology language specifically tailored to annotate Web Services, and part of its semantics adheres to the rule-based knowledge representation paradigm of logic program...
Stephan Grimm, Uwe Keller, Holger Lausen, Gá...
SEMWEB
2007
Springer
13 years 11 months ago
Towards Semantic Web Service Engineering
The paper presents the main results of the IST FP6 INFRAWEBS project. The project has developed an easy and effective way of constructing and using semantic descriptions for existi...
Gennady Agre, Zlatina Marinova, Tomás Parie...
RE
2010
Springer
13 years 3 days ago
A UML-based static verification framework for security
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...
Igor Siveroni, Andrea Zisman, George Spanoudakis