A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Filters
Web Components and the Semantic Web
2003
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
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
2003
Software engineering notes
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2012
IFIP Advances in Information and Communication Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2008
Festschrifts: Birthday, In Memory of ...
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
2006
International Workshop on Description Logics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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]
2004
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
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
2006
International Journal on Software Tools for Technology Transfer (STTT)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2003
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2015
International Journal of u- and e- Service, Science and Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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]
2005
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2007
Information and Software Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
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
2006
2006 Second IEEE International Symposium on Service-Oriented System Engineering (SOSE'06)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
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
2013
Analele Ştiinţifice ale Universităţii "Al.I. Cuza" din Iaşi: Ştiinţe Economice
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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