Search
  • All Journals
Advanced Search
Search articles by Title, Author, Keywords, DOI
7.7CiteScore
2.0Impact Factor
Advanced Search
MAP  >  The Knowledge Engineering Review
2014 Volume 29
Article Contents
Next Previous
RESEARCH ARTICLE   Open Access    

Semantic composition of business processes using Armstrong's Axioms

  • 1.

    Computer Engineering Department

  • 2.

    Department of Electrical-Electronics Engineering

More Information
  • Abstract: 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.
  • 加载中
  • Abiteboul S., Hull R., Vianu V.1995. Foundations of Databases. Addison-Wesley, 0-201-53771-0.

    Google Scholar

    Armstrong W. W.1974. Dependency Structures of Data Base Relationships Information Processing 74. North-Holland Pub. Co, 580–583.

    Google Scholar

    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–104, Seattle, USA.

    Google Scholar

    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–157.

    Google Scholar

    Berners-Lee T., Hendler J., Lassila O.2001. The Semantic Web. Scientific American.

    Google Scholar

    Celik D., Elci A.2008. Provision of Semantic Web Services through an intelligent Semantic Web Service finder. Multiagent and Grid Systems—An International Journal4(3), 1574–1702. IOS Press, 315–334.

    Google Scholar

    Fagin R.1977. Functional dependencies in a relational data base and propositional logic. IBM Journal of Research and Development21(6), 543–544.

    Google Scholar

    Forgy C. L.1991. Rete: a fast algorithm for the many pattern/many object pattern match problem, Expert systems: a software methodology for modern applications, IEEE Computer Society Press, Los Alamitos, CA, 324–341.

    Google Scholar

    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.

    Google Scholar

    Kang D., Lee S., Kim K., Lee J. Y.2009. An OWL-based semantic business process monitoring framework. Journal of Expert Systems with Applications36(4), 0957–4174.

    Google Scholar

    McDermott D.1998. The Planning Domain Definition Language Manual. Yale Computer Science Report 1165 (CVC Report 980003).

    Google Scholar

    McIlraith S. A., Son T. C., Zeng H.2001. Semantic Web Services. IEEE Intelligent Systems16, 46–53.

    Google Scholar

    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–816.

    Google Scholar

    Obrst L.2003. Ontologies for semantically interoperable systems. In Proceedings of the Twelfth International Conference on Information and Knowledge Management, 366–369.

    Google Scholar

    OWL.2004. OWL Web Ontology Language Overview: W3C Recommendation. Retrieved October 1, 2009. Available at http://www.w3.org/tr/owl-features/

    Google Scholar

    OWL-S.2004. Semantic Markup for Web Services: W3C Recommendation. Retrieved October 1, 2009. Available at http://www.w3.org/submission/owl-s/

    Google Scholar

    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–54.

    Google Scholar

    Sirin E., Parsia B.2004. Planning for Semantic Web Services. In Semantic Web Services Workshop at 3rd International Semantic Web Conference.

    Google Scholar

    Sirin E., Parsia B., Wu D., Hendler J., Nau D.2004. HTN planning for Web service composition using SHOP2. Journal of Web Semantics1(4), 377–396.

    Google Scholar

    Yang B., Qin Z.2010. Composing semantic Web services with PDDL. Journal of Information Technology9(1), 48–54.

    Google Scholar

  • Cite this article

    Duygu Celik, Atilla Elci. 2014. Semantic composition of business processes using Armstrong's Axioms. The Knowledge Engineering Review 29(2)248−264, doi: 10.1017/S0269888914000083
    Duygu Celik, Atilla Elci. 2014. Semantic composition of business processes using Armstrong's Axioms. The Knowledge Engineering Review 29(2)248−264, doi: 10.1017/S0269888914000083
    shu
Download PDF

Article Metrics

Article views(24) PDF downloads(50)

Other Articles By Authors

RESEARCH ARTICLE   Open Access    

Semantic composition of business processes using Armstrong's Axioms

  • 1.

    Computer Engineering Department

  • 2.

    Department of Electrical-Electronics Engineering

  • Published online: 21 March 2014
The Knowledge Engineering Review  29,  2014, 29(2): 248−264  |  Cite this article

Abstract: Abstract: 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.

    HTML

    Acknowledgments

    • This work was supported in full by the Eastern Mediterranean University Scientific Research Project BAP-A-07-20 Provision of SWSs through an Intelligent Semantic Web Service Finder.

    • http://projects.semwebcentral.org

    • http://www.w3.org/Submission/OWL-S/

    • http://projects.semwebcentral.org/projects/sws-tc/

    Rights and permissions
    • Copyright © Cambridge University Press 2014 2014Cambridge University Press
References (20)
  • About this article
    Cite this article
    Duygu Celik, Atilla Elci. 2014. Semantic composition of business processes using Armstrong's Axioms. The Knowledge Engineering Review 29(2)248−264, doi: 10.1017/S0269888914000083
    Duygu Celik, Atilla Elci. 2014. Semantic composition of business processes using Armstrong's Axioms. The Knowledge Engineering Review 29(2)248−264, doi: 10.1017/S0269888914000083
    shu

    • Catalog

      /

      DownLoad:  Full-Size Img  PowerPoint
      Return
      Return