{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T18:27:29Z","timestamp":1767637649809,"version":"3.48.0"},"reference-count":20,"publisher":"Maximum Academic Press","issue":"2","license":[{"start":{"date-parts":[[2014,3,21]],"date-time":"2014-03-21T00:00:00Z","timestamp":1395360000000},"content-version":"unspecified","delay-in-days":20,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Knowledge Engineering Review"],"published-print":{"date-parts":[[2014,3]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>Lack of sufficient semantic description in the content of Web services makes it difficult to find and compose suitable Web services during analysis, search, and matching processes. Semantic Web Services are Web services that have been enhanced with formal semantic description, which provides well-defined meaning. Due to insertion of semantics, meeting user demands will be made possible through logical deductions achieving resolutions automatically. We have developed an inference-based semantic business process composition agent (SCA) that employs inference techniques. The semantic composition agent system is responsible for the synthesis of new services from existing ones in a semi-automatic fashion. SCA System composes available Web Ontology Language for Web services atomic processes utilizing Revised Armstrong's Axioms (RAAs) in inferring functional dependencies. RAAs are embedded in the knowledge base ontologies of SCA System. Experiments show that the proposed SCA System produces process sequences as a composition plan that satisfies user's requirement for a complex task. The novelty of the SCA System is that for the first time Armstrong's Axioms are revised and used for semantic-based planning and inferencing of Web services.<\/jats:p>","DOI":"10.1017\/s0269888914000083","type":"journal-article","created":{"date-parts":[[2014,3,21]],"date-time":"2014-03-21T11:20:53Z","timestamp":1395400853000},"page":"248-264","source":"Crossref","is-referenced-by-count":1,"title":["Semantic composition of business processes using Armstrong's Axioms"],"prefix":"10.48130","volume":"29","author":[{"given":"Duygu","family":"Celik","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Atilla","family":"Elci","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"27968","published-online":{"date-parts":[[2014,3,21]]},"reference":[{"key":"S0269888914000083_ref21","doi-asserted-by":"publisher","DOI":"10.3923\/itj.2010.48.54"},{"key":"S0269888914000083_ref18","doi-asserted-by":"crossref","unstructured":"Rao J. , Su X. 2005. A Survey of Automated Web Service Composition Methods. Lecture Notes in Computer Science, 3387, 0302-9743 (Print) 1611-3349 (Online), 43\u201354.","DOI":"10.1007\/978-3-540-30581-1_5"},{"key":"S0269888914000083_ref16","unstructured":"OWL. 2004. OWL Web Ontology Language Overview: W3C Recommendation. Retrieved October 1, 2009. Available at http:\/\/www.w3.org\/tr\/owl-features\/"},{"key":"S0269888914000083_ref15","doi-asserted-by":"crossref","unstructured":"Obrst L. 2003. Ontologies for semantically interoperable systems. In Proceedings of the Twelfth International Conference on Information and Knowledge Management, 366\u2013369.","DOI":"10.1145\/956863.956932"},{"key":"S0269888914000083_ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2008.09.027"},{"key":"S0269888914000083_ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2004.06.005"},{"key":"S0269888914000083_ref12","unstructured":"McDermott D. 1998. The Planning Domain Definition Language Manual. Yale Computer Science Report 1165 (CVC Report 980003)."},{"key":"S0269888914000083_ref19","unstructured":"Sirin E. , Parsia B. 2004. Planning for Semantic Web Services. In Semantic Web Services Workshop at 3rd International Semantic Web Conference."},{"key":"S0269888914000083_ref4","unstructured":"Aydin O. , Cicekli N. K. , Cicekli I. 2006. Towards automated Web Service composition with the abductive event calculus. In Proceedings of Applications of Logic Programming in the Semantic Web and Semantic Web Services (ALPSWS 2006), 103\u2013104, Seattle, USA."},{"key":"S0269888914000083_ref23","first-page":"324","volume-title":"Rete: a fast algorithm for the many pattern\/many object pattern match problem","author":"Forgy","year":"1991"},{"key":"S0269888914000083_ref7","first-page":"1574","article-title":"Provision of Semantic Web Services through an intelligent Semantic Web Service finder","volume":"4","author":"Celik","year":"2008","journal-title":"Multiagent and Grid Systems\u2014An International Journal"},{"key":"S0269888914000083_ref17","unstructured":"OWL-S. 2004. Semantic Markup for Web Services: W3C Recommendation. Retrieved October 1, 2009. Available at http:\/\/www.w3.org\/submission\/owl-s\/"},{"key":"S0269888914000083_ref3","doi-asserted-by":"crossref","unstructured":"Aydin O. , Cicekli N. K. , Cicekli I. 2008. Automated Web Services Composition with the Event Calculus. Engineering Societies in the Agents World VIII (ESAW 2007), Lecture Notes in Computer Science, Springer Berlin\/Heidelberg Press, 0302-9743, 142\u2013157.","DOI":"10.1007\/978-3-540-87654-0_7"},{"key":"S0269888914000083_ref13","doi-asserted-by":"publisher","DOI":"10.1109\/5254.920599"},{"key":"S0269888914000083_ref9","unstructured":"Hashemian S. V. , Mavaddat F. 2006. Composition algebra: process composition using algebraic rules. Third International Workshop on Formal Aspects of Component Software (FACS'06), Prague, Czech Republic."},{"volume-title":"Foundations of Databases","year":"1995","author":"Abiteboul","key":"S0269888914000083_ref1"},{"key":"S0269888914000083_ref2","first-page":"580","volume-title":"Dependency Structures of Data Base Relationships","author":"Armstrong","year":"1974"},{"volume-title":"The Semantic Web","year":"2001","author":"Berners-Lee","key":"S0269888914000083_ref22"},{"key":"S0269888914000083_ref8","doi-asserted-by":"publisher","DOI":"10.1147\/rd.216.0534"},{"key":"S0269888914000083_ref14","doi-asserted-by":"crossref","unstructured":"Motik B. , Horrocks I. , Sattler U. 2007. Bridging the gap between OWL and relational databases. In Proceedings of the 16th international conference on World Wide Web, 807\u2013816.","DOI":"10.1145\/1242572.1242681"}],"container-title":["The Knowledge Engineering Review"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0269888914000083","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T14:41:57Z","timestamp":1767624117000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0269888914000083\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,3]]},"references-count":20,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2014,3]]}},"alternative-id":["S0269888914000083"],"URL":"https:\/\/doi.org\/10.1017\/s0269888914000083","relation":{},"ISSN":["0269-8889","1469-8005"],"issn-type":[{"type":"print","value":"0269-8889"},{"type":"electronic","value":"1469-8005"}],"subject":[],"published":{"date-parts":[[2014,3]]}}}