{"title":"Toward knowledge preconditions for composition of semantic Web services","authors":"Sang-Kyun Kim, Taekyung Lee, Kyu-Chul Lee","doi":"10.1109/DEEC.2005.23","DOIUrl":"https://doi.org/10.1109/DEEC.2005.23","url":null,"abstract":"Several researches have been proposed to formalize the knowledge preconditions problem; an action or a plan is epistemically feasible. However, since the feasibility is only checked at design-time and is assumed that it also will be carried out at run-time, it is not suitable in the context of Web services composition, where the transaction is important in the distributed environment. In this paper, we address the Interfering Agent Problem, which many of agents interferes the execution of Web services composition and define the transactionally executability of the Web services composition in order to guarantee the atomicity of Web services composition; i.e. an agent predicts the infeasible action before its execution, compose them together with the compensating ones. Besides, we use the TL-ALCF, which has proposed for representing time, actions, and plans so that we can provide decidable, sound, and complete procedures for computing subsumption for Web services composition.","PeriodicalId":297129,"journal":{"name":"International Workshop on Data Engineering Issues in E-Commerce","volume":"50 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-04-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127076313","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Combining ontologies and agents to help in solving the heterogeneity problem in e-commerce negotiations","authors":"A. Malucelli, E. Oliveira, Daniel Palzer","doi":"10.1109/DEEC.2005.6","DOIUrl":"https://doi.org/10.1109/DEEC.2005.6","url":null,"abstract":"Online e-commerce marketplaces for buying and selling products are omnipresent and bring together several suppliers and buyers. Each supplier and buyer has its own format, concepts and characteristics to represent products. Even if both supplier and buyer use an ontology, they may use ontologies that differ significantly either syntactically or semantically. This paper combines the use of ontologies and agent technologies to help in solving the semantic heterogeneity problem in e-commerce negotiations. Thereby, the focus is on ontologies, whose specifications include a concept (item/product), its characteristics (attributes) with the correspondent data types, a natural language description explaining the meaning of the concept, and a set of relationships among these concepts. Our approach aims at creating a methodology that assesses lexical and semantic similarity among concepts represented in different ontologies without the need to build an a priori shared ontology. The lexical measures are used to compare attributes and relations between concepts. We have classified attributes according to their data value types and considered the relation has-part. For the final validation, we are proposing to use the WordNet-based semantic similarity measure between concept names and between their correspondent descriptions.","PeriodicalId":297129,"journal":{"name":"International Workshop on Data Engineering Issues in E-Commerce","volume":"110 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-04-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130828115","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Qingfeng Chen, Y. Chen, Chengqi Zhang, Shichao Zhang
{"title":"A framework for merging inconsistent beliefs in security protocol analysis","authors":"Qingfeng Chen, Y. Chen, Chengqi Zhang, Shichao Zhang","doi":"10.1109/DEEC.2005.1","DOIUrl":"https://doi.org/10.1109/DEEC.2005.1","url":null,"abstract":"This paper proposes a framework for merging inconsistent beliefs in the analysis of security protocols. The merge application is a procedure of computing the inferred beliefs of message sources and resolving the conflicts among the sources. Some security properties of secure messages are used to ensure the correctness of authentication of messages. Several instances are presented, and demonstrate our method is useful in resolving inconsistent beliefs in secure messages.","PeriodicalId":297129,"journal":{"name":"International Workshop on Data Engineering Issues in E-Commerce","volume":"9 2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-04-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134625336","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Ontological modeling of e-catalogs using EER and description logics","authors":"Hyunja Lee, Junho Shim, Dongkyu Kim","doi":"10.1109/DEEC.2005.12","DOIUrl":"https://doi.org/10.1109/DEEC.2005.12","url":null,"abstract":"Electronic catalog contains rich semantics associated with products, and serves as a challenging domain for ontology application. Ontology is concerned with the nature and relations of being. It can play a crucial role in e-commerce as a formalization of e-Catalogs. Description logics provide a theoretical core for most of the current ontology languages. In this paper, we present an ontological model of e-Catalogs. Our goal is to represent the semantic information of e-Catalog in a conceptual model, and then to construct a formally sound ontology. We take an extended entity relationship approach to denote the fundamental set of modeling constructs, and present corresponding description logic representation for each construct. Additional semantic knowledge can be represented directly in description logic.","PeriodicalId":297129,"journal":{"name":"International Workshop on Data Engineering Issues in E-Commerce","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-04-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116676097","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}