Security protocols are indispensable in secure communication. We give an operational semantics of security protocols in terms of a Prolog-like language. With this semantics, we ca...
In spite of many standards efforts, Web services with similar or compatible functionalities often have heterogeneous semantics. One reason is the disparate ontologies used for ser...
Jingshan Huang, Rosa Laura Zavala Gutierrez, Benit...
Abstract. Due to the inherent difficulties associated with manual ontology building, knowledge acquisition and reuse are often seen as methods that can make this tedious process ea...
Elena Paslaru Bontas, David Schlangen, Thomas Schr...
Abstract. An ontology is a model of a domain of knowledge. The knowledge that is captured in an ontology can be used for providing interoperability, sharing of information and redu...
Web services are in the midst of making the transition from being a promising technology to being widely used in the industry. However, most efforts to use Web services have been m...
Preeda Rajasekaran, John A. Miller, Kunal Verma, A...