Abstract
Currently, the natural expectation of contracting a set of Web services by virtue of their semantics is becoming more and more feasible and popular. Meanwhile, it is generally accepted that a formalism with a well-defined model-theoretic semantics (i.e. some sort of logics) should be considered as the underpinning of Semantic Web Services [1]. In this paper, concrete domain and action theory are incorporated into a very expressive DL, called ALCQO. Notably, this extension can significantly augment the expressive power for modeling and reasoning about dynamic aspects of services contracting. At the same time, the original nature and advantages of classical DLs, particularly the ability to describe "static" aspects of Web services, are also preserved to the extent possible.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
