Filters








100,970 Hits in 6.2 sec

Web Components and the Semantic Web

Máire Casey, Claus Pahl
2003 Electronical Notes in Theoretical Computer Science  
Focussing on Web component composition we develop description and reasoning techniques that support a component developer in the composition activities, focussing here on matching.  ...  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  
We propose a formal ontology framework for these Web service processes that supports the description, matching, and composition through logic reasoning techniques.  ...  The Semantic Web, based on a description logic-based knowledge representation and reasoning framework, provides the foundations.  ...  Based on the correspondence with dynamic logic, our reasoning about services and processes is improved.  ... 
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  
We propose a formal ontology framework for these Web service processes that supports the description, matching, and composition through logic reasoning techniques.  ...  The Semantic Web, based on a description logic-based knowledge representation and reasoning framework, provides the foundations.  ...  Based on the correspondence with dynamic logic, our reasoning about services and processes is improved.  ... 
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  
We propose a formal ontology framework for these Web service processes that supports the description, matching, and composition through logic reasoning techniques.  ...  The Semantic Web, based on a description logic-based knowledge representation and reasoning framework, provides the foundations.  ...  Based on the correspondence with dynamic logic, our reasoning about services and processes is improved.  ... 
doi:10.1145/940095.940099 fatcat:v32om37bkbdedcph54odima5gi

Reasoning about Semantic Web Services with an Approach Based on Temporal Description Logic [chapter]

Juan Wang, Liang Chang, Chuangying Zhu, Rongsheng Dong
2012 IFIP Advances in Information and Communication Technology  
Based on the models of services, the executability problem and the projection problem of Web services can be reasoned about effectively.  ...  Temporal description logic ALC-LTL not only has considerable expressive power, but also extends the description capability of description logic from the static domain to the dynamic domain.  ...  [7] proposed a family of dynamic description logics named DDL(X @ ) for representation and reasoning about actions.  ... 
doi:10.1007/978-3-642-32891-6_36 fatcat:7ln33iycb5clzgoukzusskwh5y

Multimodal Logics for Reasoning about Interaction

Matteo Baldoni, Cristina Baroglio, Viviana Patti
2008 Festschrifts: Birthday, In Memory of ...  
This form of personalization requires to reason about a description of the service interaction policy.  ...  Web services are viewed as software agents, communicating by predefined sharable interaction protocols, where the protocol-based interactions are formalized as Dynamics in LOGic procedures; reasoning about  ... 
dblp:conf/birthday/BaldoniBP08 fatcat:xr4vnaug6nbwvh4rxc4cz6fvuy

Cost-Efficient Web Service compositions for querying processes over reasoning services

Irma Sofía Espinosa Peraldí, Ralf Möller
2006 International Workshop on Description Logics  
Problem description In the near future, description logic reasoning services will be offered as web services and initial versions of, for instance, OWL QL web services have already been developed (e.g.  ...  Furthermore, the considered criteria have dynamic values, due to the exposure of the web services partners to other (competing) calls for instance retrieval.  ... 
dblp:conf/dlog/PeraldiM06 fatcat:bhwgb7yovvhj3nwxtzymmjba2i

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

Claus Pahl
2004 Lecture Notes in Computer Science  
The service notion is central in this approach. Service-level agreements, called contracts, are formed to define the service usage conditions.  ...  Often, applications of Grid services involve a combination of several services. We present an ontology-based framework for service composition for the Semantic Grid.  ...  The tractability of reasoning about descriptions is a central issue for description logic. The richness of our description logic has some negative implications for the complexity of reasoning.  ... 
doi:10.1007/978-3-540-30190-5_5 fatcat:ajbde2wxfbanfgbfdxxzopy7pi

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.  ...  Axioms in our description logic allow us to reason about service behaviour. Questions concerning the consistency and role composition with respect to pre-and postconditions can be addressed.  ... 
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.  ...  Axioms in our description logic allow us to reason about service behaviour. Questions concerning the consistency and role composition with respect to pre-and postconditions can be addressed.  ... 
doi:10.1007/3-540-36578-8_2 fatcat:y76dd7kzoze27m2odoklszpss4

Research on Dynamic Assembled Algorithm of Component based on Semantic Web Service

Luo Dingfu
2015 International Journal of u- and e- Service, Science and Technology  
To analyze semantic web service and component technology, some correlative definitions of web service components are given by markup language of web service, the theory of domain ontology is cited, a dynamic  ...  is realized with pseudo codes.  ...  The question is converted to logical reasoning questions about the Horn clause in this medium.  ... 
doi:10.14257/ijunesst.2015.8.7.34 fatcat:l7mqt5rurbe2pek2lwhyxk2cge

Layered Ontological Modelling for Web Service-Oriented Model-Driven Architecture [chapter]

Claus Pahl
2005 Lecture Notes in Computer Science  
We illustrate the benefits of ontological modelling and reasoning for serviceoriented software architectures within the context of the Web Services.  ...  We propose here a layered ontological framework that addresses domain modelling, architectural modelling, and interoperability aspects in the development of service-based software systems.  ...  We have devised a graph-based transformation centred around the service and process elements; see [29] for more details.  ... 
doi:10.1007/11581741_8 fatcat:phitrjivxne7pcufnngw6jh3ym

Semantic model-driven architecting of service-based software systems

Claus Pahl
2007 Information and Software Technology  
Ontologies are suitable in particular for the Web Services platform due to their ubiquity within the Semantic Web and their application to support semantic Web services.  ...  Ontologies are beneficial due to their potential to formally define models, to allow reasoning about semantic models, and to automate transformations at all layers.  ...  of ontology languages such as OWL) and dynamic logic (a modal logic that allows reasoning about processes).  ... 
doi:10.1016/j.infsof.2006.09.007 fatcat:7krq6cio7vg3rdrt42pb7azmqm

Semantic Descriptions ofWeb Services Security Constraints

Dong Huang
2006 2006 Second IEEE International Symposium on Service-Oriented System Engineering (SOSE'06)  
As existing approaches do not provide logic and semantic model for the web services security constraints, sharing and reasoning over them are infeasible.  ...  Non-functional descriptions of web services and business rules play an important role in specification and analysis of the security constraints of web services.  ...  The major advantage of KAON2 is that it is a very efficient reasoner when it comes to reasoning with Description Logics ontologies containing very large ABoxes and small TBoxes [13] .  ... 
doi:10.1109/sose.2006.32 dblp:conf/sose/Huang06 fatcat:eokkpq57jbbpzokh54mcfypyoe

A Survey of Web Ontology Languages and Semantic Web Services

Alexandru Napoleon Sireteanu
2013 Analele Ştiinţifice ale Universităţii "Al.I. Cuza" din Iaşi: Ştiinţe Economice  
In the beginning World Wide Web was syntactic and the content itself was only readable by humans. The modern web combines existing web technologies with knowledge representation formalisms.  ...  In this sense, the Semantic Web proposes the mark-up of content on the web using formal ontology that structure essential data for the purpose of comprehensive machine understanding.  ...  Educating people from computer science departments and business schools about Semantic Web implies making them realize that semantics, logic, reasoning, and trust are just our mankind characteristics that  ... 
doi:10.2478/aicue-2013-0005 fatcat:hl6ozbn22ngzfaklq6b7uvg7f4
« Previous Showing results 1 — 15 out of 100,970 results