Filters








15,237 Hits in 7.8 sec

A logical framework for modeling and reasoning about semantic web services contract

Hai Liu, Qing Li, Naijie Gu, An Liu
2008 Proceeding of the 17th international conference on World Wide Web - WWW '08  
Notably, this extension can significantly augment the expressive power for modeling and reasoning about dynamic aspects of services contracting.  ...  In this paper, we incorporate concrete domain and action theory into a very expressive Description Logic (DL), called ALCQO.  ...  It is generally accepted that semantic Web services (SWS) should be based on a formalism with a well-defined model-theoretic semantics, particularly, on some sort of logics [2] .  ... 
doi:10.1145/1367497.1367654 dblp:conf/www/LiuLGL08 fatcat:tuuxiclcdbhypd7ldjbsrmsv4a

Web Components and the Semantic Web

Máire Casey, Claus Pahl
2003 Electronical Notes in Theoretical Computer Science  
We show how a component model can be integrated into a Semantic Web-style ontology for component development.  ...  The current Web Services and Semantic Web initiatives strongly influence our work.  ...  The connection between description logic and modal logics allows us to introduce reasoning about component and service matching within a Semantic Web framework.  ... 
doi:10.1016/s1571-0661(04)80741-2 fatcat:ztzhqdkdenaqdgunbujfrnceci

Ontology support for web service processes

C. Pahl, M. Casey
2003 Software engineering notes  
The Semantic Web, based on a description logic-based knowledge representation and reasoning framework, provides the foundations.  ...  We propose a formal ontology framework for these Web service processes that supports the description, matching, and composition through logic reasoning techniques.  ...  Fensel and Bussler [11] present a framework for Web-based services, called Web Services Modelling Framework (WSMF).  ... 
doi:10.1145/949952.940099 fatcat:4yh3phildjhp3bwfuk4yqfktwm

Ontology support for web service processes

C. Pahl, M. Casey
2003 Proceedings of the 9th European software engineering conference held jointly with 10th ACM SIGSOFT international symposium on Foundations of software engineering - ESEC/FSE '03  
The Semantic Web, based on a description logic-based knowledge representation and reasoning framework, provides the foundations.  ...  We propose a formal ontology framework for these Web service processes that supports the description, matching, and composition through logic reasoning techniques.  ...  Fensel and Bussler [11] present a framework for Web-based services, called Web Services Modelling Framework (WSMF).  ... 
doi:10.1145/940071.940099 dblp:conf/sigsoft/PahlC03 fatcat:t4txh6t5yfavjm2dlgnjcnvh5e

Ontology support for web service processes

C. Pahl, M. Casey
2003 Proceedings of the 9th European software engineering conference held jointly with 10th ACM SIGSOFT international symposium on Foundations of software engineering - ESEC/FSE '03  
The Semantic Web, based on a description logic-based knowledge representation and reasoning framework, provides the foundations.  ...  We propose a formal ontology framework for these Web service processes that supports the description, matching, and composition through logic reasoning techniques.  ...  Fensel and Bussler [11] present a framework for Web-based services, called Web Services Modelling Framework (WSMF).  ... 
doi:10.1145/940095.940099 fatcat:v32om37bkbdedcph54odima5gi

An Ontology-Based Framework for Semantic Grid Service Composition [chapter]

Claus Pahl
2004 Lecture Notes in Computer Science  
Often, applications of Grid services involve a combination of several services. We present an ontology-based framework for service composition for the Semantic Grid.  ...  Service-level agreements, called contracts, are formed to define the service usage conditions. Ontology technology can form the framework to capture semantical conditions for contracts.  ...  We will use Semantic Web-based ontology concepts to formalise and axiomatise Grid service processes, i.e. to make statements about services and to reason about them.  ... 
doi:10.1007/978-3-540-30190-5_5 fatcat:ajbde2wxfbanfgbfdxxzopy7pi

A Computational Logic Application Framework for Service Discovery and Contracting

Marco Alberti, Massimiliano Cattafi, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni
2011 International Journal of Web Services Research  
They define, illustrate, and evaluate a framework, called SCIFF Reasoning Engine (SRE), which can establish if a Semantic Web Service and a requester can fruitfully inter-operate, by computing a possible  ...  In particular, the authors accommodate service discovery by ontology-based reasoning and contracting by reasoning about behavioural interfaces, published in a formal language.  ...  SRE AND THE SEMANTIC WEB With respect to the semantic Web cake, our framework affects two layers: ontology and logical reasoning (Figure 2 ).  ... 
doi:10.4018/jwsr.2011070101 fatcat:w6txv2hxcnhlpgfnjix6kawyqi

A Semantical Framework for the Orchestration and Choreography of Web Services

Claus Pahl, Yaoling Zhu
2006 Electronical Notes in Theoretical Computer Science  
A description logicbased knowledge representation and reasoning framework provides the foundations.  ...  We propose an ontology framework for these Web service processes that provides techniques for their description, matching, and composition.  ...  We have developed a formal framework based on ontologies (and underlying logics) and process-based service composition, applicable to the Semantic Web and Web Services platforms.  ... 
doi:10.1016/j.entcs.2005.07.033 fatcat:ub2hlksl6fbm7ivl6lmnmzvmsi

AN ONTOLOGICAL FRAMEWORK FOR WEB SERVICE PROCESSES

CLAUS PAHL, RONAN BARRETT
2008 International journal of software engineering and knowledge engineering  
We develop a semantical and ontological framework for service process composition.  ...  We propose a framework for the compositional definition of Web services based on the π-calculus to define protocol-like restrictions on service interactions and based on description logic and ontologies  ...  The authors are greatly indebted to Padraig de Buitlar, Rembert Douwen, and Gerard Gleeson, who all contributed tool components for  ... 
doi:10.1142/s0218194008003684 fatcat:wiuxbuehjbgkdc2bqvefjw4hwa

A Conceptual Framework for Semantic Web Services Development and Deployment [chapter]

Claus Pahl
2004 Lecture Notes in Computer Science  
Ontology technology -the core of the Semantic Web -can be the central building block of this endeavour. We present a conceptual framework for ontology-based Web service development and deployment.  ...  We show how ontologies can integrate models, languages, infrastructure, and activities within this framework to support reuse and composition of semantic Web services.  ...  Such a framework can form the underlying foundation of a methodology for semantic Web services development and deployment.  ... 
doi:10.1007/978-3-540-30209-4_20 fatcat:wssp2kjnf5expbwh5o5anpjgpy

Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture

Marco Alberti, Massimiliano Cattafi, Federico Chesani, Marco Gavanelli, Evelina Lamma, Marco Montali, Paola Mello, Paolo Torroni
2009 2009 IEEE International Conference on Web Services  
We propose a framework, called SCIFF Reasoning Engine, able to establish, by ontological and abductive reasoning, if a semantic web service and a requester can fruitfully inter-operate, taking as input  ...  In Semantic Web technologies, searching for a service means to identify components that can potentially satisfy the user needs in terms of outputs and effects (discovery), and that, when invoked by the  ...  Our framework implements two strata of the semantic web cake: the ontology and the logical reasoning.  ... 
doi:10.1109/icws.2009.78 dblp:conf/icws/AlbertiCCGLMMT09 fatcat:ctpqahbmafe4zcxnk6xcjuqrj4

A conceptual architecture for semantic web services development and deployment

Claus Pahl
2005 International Journal of Web and Grid Services  
We show how ontologies can integrate models, languages, infrastructure, and activities within this architecture to support reuse and composition of semantic Web services.  ...  We present a conceptual architecture for ontology-based Web service development and deployment. The development of service-based software systems within the WSF is gaining increasing importance.  ...  Logics such as description logics [5] provide the reasoning support. Integrated into an ontological Web framework based on OWL -the Web Ontology Language -sharing of ontologies becomes possible.  ... 
doi:10.1504/ijwgs.2005.008391 fatcat:4lhow6n26bdpvp4mk4dsmj4zxq

An ontology for software component matching

Claus Pahl
2006 International Journal on Software Tools for Technology Transfer (STTT)  
A link between modal logic and description logics will prove invaluable for the provision of reasoning support for component behaviour.  ...  We use description logics, which underlie Semantic Web ontology languages such as OWL, to develop an ontology for matching requested and provided components.  ...  Formality in the Semantic Web framework facilitates machine understanding and automated reasoning. The Web ontology language OWL is equivalent to a very expressive description logic [7] .  ... 
doi:10.1007/s10009-006-0015-9 fatcat:geg77qtxe5gjpl3exy7capipwa

An Ontology for Software Component Matching [chapter]

Claus Pahl
2003 Lecture Notes in Computer Science  
A link between modal logic and description logics will prove invaluable for the provision of reasoning support for component behaviour.  ...  We use description logics, which underlie Semantic Web ontology languages such as OWL, to develop an ontology for matching requested and provided components.  ...  Formality in the Semantic Web framework facilitates machine understanding and automated reasoning. The Web ontology language OWL is equivalent to a very expressive description logic [7] .  ... 
doi:10.1007/3-540-36578-8_2 fatcat:y76dd7kzoze27m2odoklszpss4

A Logic-based Approach for IP Network Services Management and Configuration

Pedro Alipio, Jose Neves, Paulo Carvalho
2007 2007 10th IFIP/IEEE International Symposium on Integrated Network Management  
By using a knowledge based formal framework and an inference engine capable of reasoning over concepts, relations and changes of state, it is possible to create a more flexible and robust ground for specifying  ...  As a result, such systems may not be correct facing their requirements and they may not be flexible enough to perform network service management efficiently.  ...  designed for the Semantic Web or for the Semantic Web Services.  ... 
doi:10.1109/inm.2007.374717 dblp:conf/im/AlipioNC07 fatcat:f7ophdluezfh7dcsllpbfzxgsq
« Previous Showing results 1 — 15 out of 15,237 results