Modeling semantic web services: The web service modeling language

Modeling Semantic Web Services: The Web Service Modeling Language

Volumn , Issue , 2008, Pages 1-192

  De Bruijn, Jos ^a   Fensel, Dieter ^b   Kerrigan, Mick ^b   Keller, Uwe ^b   Lausen, Holger ^b   Scicluna, James ^b  

^a FREE UNIVERSITY OF BOZEN BOLZANO   (Italy)

^b STI Innsbruck   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84892799262     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1007/978-3-540-68172-4     Document Type: Book

References (139)

1. Serge Abiteboul, Richard Hull, and Victor Vianu. Foundations of Databases. Addison-Wesley, 1995.
2. Rama Akkiraju, Joel Farrell, John Miller, Meenakshi Nagarajan, Marc-Thomas Schmidt, Amit Sheth, and Kunal Verma. Web service semantics - WSDL-S. W3C Member Submission, November 2005. Available from: http://www.w3.org/Submission/WSDL-S/.
3. H. Peter Alesso and Craig F. Smith. Developing Semantic Web services. AK Peters, 2004.
4. Gustavo Alonso, Fabio Casati, Harumi Kuno, and Vijay Machiraju. Web services. Springer-Verlag, Berlin Heidelberg, 2004.
5. Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, and Gerd Wagner. Stable model theory for extended RDF ontologies. In Proceedings of the 4th International Semantic Web Conference (ISWC2005), pages 21-36. Springer, 2005.
6. Tony Andrews et al. Business process execution language for web services version 1.1. Technical report, BEA, IBM, Microsoft, SAP, Siebel, 2003. Available from: http://www-106.ibm.com/developerworks/webservices/library/wsbpel/.
7. Jürgen Angele, Harold Boley, Jos de Bruijn, Dieter Fensel, Pascal Hitzler, Michael Kifer, Reto Krummenacher, Holger Lausen, Axel Polleres, and Rudi Studer. Web rule language (WRL). W3C Member Submission 09 September 2005, 2005. Available from: http://www.w3.org/Submission/WRL/.
8. Anupriya Ankolekar et al. OWL-S 1.1 release, 2004. Available from: http://www.daml.org/services/owl-s/1.1/.
9. Grigoris Antoniou and Frank van Harmelen. A Semantic Web Primer. MIT Press, 2004.
10. Daniel Austin, Abbie Barbir, Christopher Ferris, and Sharad Garg. Web services architecture requirements. Working Group Note 11 February 2004, W3C, 2004. Available from: http://www.w3.org/TR/wsa-reqs/.
11. Franz Baader, Diego Calvanese, Deborah L. McGuinness, Daniele Nardi, and Peter F. Patel-Schneider, editors. The Description Logic Handbook. Cambridge University Press, 2003.
12. Franz Baader, Carsten Lutz, Maja Milicic, Ulrike Sattler, and Frank Wolter. Integrating description logics and action formalisms: First results. In Proceedings of the 20th National Conference on Artificial Intelligence (AAAI2005), Pittsburgh, PA, USA, 2005.
13. Chitta Baral. Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, 2003.
14. Dave Beckett. RDF/XML syntax specification (revised). Recommendation 10 February 2004, W3C, 2004. Available from: http://www.w3.org/TR/rdfsyntax- grammar/.
15. David Beckett and Tim Berners-Lee. Turtle - Terse RDF triple language. W3C Team Submission 14 January 2008, 2008. Available from: http://www.w3.org/ TeamSubmission/turtle/.
16. Tom Bellwood et al. UDDI version 3.0, July 2002. Available from: http://uddi.org/pubs/uddi-v3.00-published-20020719.htm.
17. Tim Berners-Lee, Roy Fielding, and Larry Masinter. Uniform resource identifiers (URI): Generic syntax. Standard RFC 3986, Internet Engineering Task Force, 2005.
18. Tim Berners-Lee, James Hendler, and Ora Lassila. The semantic web. Scientific American, 284(5):34-43, May 2001.
19. Piergiorgio Bertoli, Jörg Hoffmann, Freddy Lécué, and Marco Pistore. Integrating discovery and automated composition: from semantic requirements to executable code. In Proceedings of the 2007 IEEE International Conference on Web services (ICWS 2007), pages 815-822. IEEE Computer Society, 2007.
20. Paul V. Biron and Ashok Malhotra. XML schema part 2: Datatypes second edition. Recommendation 28 October 2004, W3C, 2004. Available from: http://www.w3.org/TR/xmlschema-2/.
21. Patrick Blackburn, Maarten de Rijke, and Yde Venema. Modal Logic. Cambridge Tracts in Theoretical Computer Science (No. 53). Cambridge University Press, 2003.
22. Harold Boley and Michael Kifer. RIF basic logic dialect. Working Draft 30 October 2007, W3C, 2007. Available from: http://www.w3.org/TR/rif-bld/.
23. Lucas Bordeaux, Gwen Salaün, Daniela Berardi, and Massimo Mecella. When are two web services compatible? In Ming-Chien Shan, Umeshwar Dayal, and Meichun Hsu, editors, Technologies for E-Services, volume 3324 of Lecture Notes in Computer Science, pages 15-28. Springer, 2004.
24. Egon Börger and Robert Stärk. Abstract State Machines: A Method for High- Level System Design and Analysis. Springer, 2003.
25. Alex Borgida. On the relative expressiveness of description logics and predicate logics. Artificial Intelligence, 82(1-2):353-367, 1996.
26. Tim Bray, Dave Hollander, Andrew Layman, and Richard Tobin. Namespaces in XML 1.1 (second edition). Recommendation 16 August 2006, W3C, 2006. Available from: http://www.w3.org/TR/xml-names11/.
27. Tim Bray, Jean Paoli, C. M. Sperberg-McQueen, Eve Maler, Franois Yergeau, and John Cowan. Extensible markup language (XML) 1.1 (second edition). Recommendation 16 August 2006, W3C, 2006. Available from: http://www.w3.org/TR/ xml11/.
28. Dan Brickley and Ramanathan V. Guha. RDF vocabulary description language 1.0: RDF schema. Recommendation 10 February 2004, W3C, 2004. Available from: http://www.w3.org/TR/rdf-schema/.
29. Jos de Bruijn. WSML abstract syntax and semantics. Working Draft D16.3 v0.3, WSML, 2007. Available from: http://www.wsmo.org/TR/d16/d16.3/v0.3/.
30. Jos de Bruijn, Thomas Eiter, Axel Polleres, and Hans Tompits. On representational issues about combinations of classical theories with nonmonotonic rules. In Proceedings of the 1st International Conference on Knowledge Science, Engineering and Management (KSEM2006), pages 1-22. Springer, 2006.
31. Jos de Bruijn, Thomas Eiter, Axel Polleres, and Hans Tompits. Embedding non-ground logic programs into autoepistemic logic for knowledge-base combination. In Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI2007), pages 304-309, Hyderabad, India, January 6-12 2007. AAAI Press.
32. Jos de Bruijn and Stijn Heymans. A semantic framework for language layering in WSML. In Proceedings of the First International Conference on Web Reasoning and Rule Systems (RR2007), pages 103-117, Innsbruck, Austria, June 7-8 2007. Springer.
33. Jos de Bruijn and Stijn Heymans. WSML ontology semantics. Working Draft d28.3, WSML Working Group, 2007. Available from: http://www.wsmo.org/TR/d28/d28. 3/v0.2/.
34. Jos de Bruijn and Stijn Heymans. On the relationship between description logic-based and f-logic-based ontologies. Fundamenta Informaticae, 82(3):213- 236, 2008.
35. Jos de Bruijn, Holger Lausen, Axel Polleres, and Dieter Fensel. TheWSML rule languages for the semantic web. In Proceedings of the W3C Workshop on Rule Languages for Interoperability, Washington DC, USA, April 2005. Position paper.
36. Jos de Bruijn, David Pearce, Axel Polleres, and Agustín Valverde. Quantified equilibrium logic and hybrid rules. In Proceedings of the 1st International Conference on Web Reasoning and Rule Systems (RR2007), pages 58-72, Innsbruck, Austria, June 7-8 2007. Springer.
37. Jos de Bruijn, Axel Polleres, Rubén Lara, and Dieter Fensel. OWL DL vs. OWL Flight: Conceptual modeling and reasoning on the semantic web. In Proceedings of the 14th International World Wide Web Conference (WWW2005), pages 623-632, Chiba, Japan, 2005. ACM.
38. Liliana Cabral, John Domingue, Stefania Galizia, Alessio Gugliotta, Barry Norton, Vlad Tanasescu, and Carlos Pedrinaci. IRS-III: A broker for semantic web services based applications. In Proceedings of the 5th International Semantic Web Conference (ISWC2006), Athens, Georgia, USA, Nov 2006.
39. Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini. Conjunctive query containment and answering under description logics constraints. Transactions on Computational Logic (ToCL), 9(3), 2008. To be published.
40. Roberto Chinnici, Jean-Jacques Moreau, Arthur Ryman, and Sanjiva Weerawarana. Web services description language (WSDL) version 2.0 part 1: Core language. Recommendation 26 June 2007, W3C, 2007. Available from: http://www.w3.org/TR/wsdl20.
41. Kendall Grant Clark, Lee Feigenbaum, and Elias Torres. SPARQL protocol RDF. Recommendation 15 January 2008, W3C, 2008. Available from: http://www.w3.org/TR/rdf-sparql-protocol/.
42. Michael Dahr. Deductive Databases: Theory and Applications. International Thomson Publishing, December 1996.
43. Jos de Bruijn. RIF RDF and OWL compatibility. Working Draft 30 October 2007, W3C, 2007. Available from: http://www.w3.org/TR/rif-rdf-owl/.
44. Jos de Bruijn. Semantic Web Language Layering with Ontologies, Rules and, Meta-Modeling. PhD thesis, Faculty of Mathematics, Computer Science and Physics of the University of Innsbruck, Innsbruck, Austria, 2008. Available from: http://www.debruijn.net/publications/debruijn-thesisfinal.pdf.
45. Jos de Bruijn. WSML/RDF. Working Draft D32v0.2, WSML Working Group, 2008. Available from: http://www.wsmo.org/TR/d32/v0.2/.
46. Mike Dean and Guus Schreiber. OWL web ontology language reference. Recommendation 10 February 2004, W3C, 2004. Available from: http://www.w3.org/ TR/owl-ref/.
47. Xin Dong, Alon Y. Halevy, Jayant Madhavan, Ema Nemes, and Jun Zhang. Similarity search for web services. In Proceedings of the 13th International Conference on Very Large Data Bases (VLDB2004), pages 372-383, 2004.
48. Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, and Andrea Schaerf. AL-log: integrating datalog and description logics. Journal of Intelligent Information Systems, 10:227-252, 1998.
49. M. Duerst and M. Suignard. Internationalized resource identifiers (iris). Proposed standard RFC 3987, Internet Engineering Task Force, 2005.
50. Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, and Hans Tompits. A uniform integration of higher-order reasoning and external evaluations in answer-set programming. In IJCAI 2005, pages 90-96, 2005.
51. Thomas Eiter, Thomas Lukasiewicz, Roman Schindlauer, and Hans Tompits. Combining answer set programming with description logics for the semantic web. In Proceedings of the 9th International Conference on Principles of Knowledge Representation and Reasoning (KR2004). AAAI Press, 2004.
52. Hebert B. Enderton. A Mathematical Introduction to Logic. Academic Press, second edition edition, 2000.
53. David C. Fallside and Priscilla Walmsley. XML schema part 0: Primer second edition. Recommendation 28 October 2004, W3C, 2004. Available from: http://www.w3.org/TR/xmlschema-0/.
54. Joel Farrell and Holger Lausen. Semantic annotations for WSDL and XML schema. Recommendation 28 August 2007, W3C, 2007. Available from: http://www.w3.org/TR/sawsdl/.
55. Dieter Fensel. Ontologies: Silver Bullet for Knowledge Management and Electronic Commerce, 2nd edition. Springer-Verlag, Berlin, 2003.
56. Dieter Fensel, Mick Kerrigan, and Michal Zaremba, editors. Implementing Semantic Web services: The SESA Framework. Springer, 2008.
57. Dieter Fensel, Holger Lausen, Axel Polleres, Jos de Bruijn, Michael Stollberg, Dumitru Roman, and John Domingue. Enabling Semantic Web services - The Web service Modeling Ontology. Springer, 2006.
58. Melvin Fitting. First-Order Logic and Automated Theorem Proving. Springer- Verlag, second edition edition, 1996.
59. Melvin Fitting. First Order Logic and Automated Theorem Proving (second edition). Springer Verlag, 1996.
60. Christiaan Fluit, Marta Sabou, and Frank van Harmelen. Supporting user tasks through visualisation of light-weight ontologies. In Stefan Staab and Rudi Studer, editors, Handbook on Ontologies in Information Systems, pages 415-434. Springer-Verlag, 2003.
61. Allen Van Gelder, Kenneth Ross, and John S. Schlipf. The well-founded semantics for general logic programs. Journal of the ACM, 38(3):620-650, 1991.
62. Michael Gelfond and Vladimir Lifschitz. The stable model semantics for logic programming. In Robert A. Kowalski and Kenneth Bowen, editors, Proceedings of the Fifth International Conference on Logic Programming, pages 1070-1080, Cambridge, Massachusetts, 1988. The MIT Press.
63. Michael Gelfond and Vladimir Lifschitz. Classical negation in logic programs and disjunctive databases. New Generation Computing, 9(3/4):365-386, 1991.
64. J. Gettys, J. Mogul, H. Frystyk, L. Masinter, P. Leach, and Tim Berners-Lee. Hypertext transfer protocol - http/1.1. Draft standard RFC 2616, Internet Engineering Task Force, 1999.
65. Jan Grant and Dave Beckett. Rdf test cases. Recommendation, W3C, 2004. Available from: http://www.w3.org/TR/rdf-testcases/.
66. Benjamin N. Grosof, Ian Horrocks, Raphael Volz, and Stefan Decker. Description logic programs: Combining logic programs with description logic. In Proc. Intl. Conf. on the World Wide Web (WWW-2003), Budapest, Hungary, 2003.
67. W3C HTML Working Group. XHTML 1.0 the extensible hypertext markup language (second edition). Recommendation 26 January 2000, revised 1 August 2002, W3C, 2002. Available from: http://www.w3.org/TR/xhtml1.
68. WSMLWorking Group. WSML language reference. Working Draft D16.1 v0.3, WSML, 2008. Available from: http://www.wsmo.org/TR/d16/d16.1/v0.3/.
69. Martin Gudgin, Marc Hadley, Noah Mendelsohn, Jean-Jacques Moreau, Henrik Frystyk Nielsen, Anish Karmarkar, and Yves Lafon. Soap version 1.2 part 1: Messaging framework (second edition). Recommendation 27 April 2007, W3C, 2007. Available from: http://www.w3.org/TR/soap12-part1/.
70. Martin Gudgin, Marc Hadley, Noah Mendelsohn, Jean-Jacques Moreau, Henrik Frystyk Nielsen, Anish Karmarkar, and Yves Lafon. Soap version 1.2 part 2: Adjuncts (second edition). Recommendation 27 April 2007, W3C, 2007. Available from: http://www.w3.org/TR/soap12-part2/.
71. Yuri Gurevich. Evolving algebras 1993: Lipari Guide. In Egon Börger, editor, Specification and Validation Methods, pages 9-37. Oxford University Press, 1994.
72. Armin Haller, Emilia Cimpian, Adrian Mocan, Eyal Oren, and Christoph Bussler. Wsmx - A semantic service-oriented architecture. In Proceedings of the International Conference on Web services (ICWS2005), Orlando, Florida, USA, July 2005.
73. Patrick Hayes. RDF semantics. Technical report, W3C, 2004. W3C Recommendation 10 February 2004. Available from: http://www.w3.org/TR/rdfmt/.
74. Jörg Hoffmann, Piergiorgio Bertoli, and Marco Pistore. Web service composition as planning, revisited: In between background theories and initial state uncertainty. In Proceedings of the 22nd National Conference on Artificial Intelligence (AAAI2007), pages 1013-1018, Vancouver, BC, Canada, 2007.
75. Matthew Horridge, Nick Drummond, John Goodwin, Alan Rector, Robert Stevens, and Hai Wang. The manchester OWL syntax. In Proceedings of the workshop OWL: Experiences and Directions 2006, Athens, GA, USA, 2006.
76. Ian Horrocks and Peter F. Patel-Schneider. A proposal for an OWL rules language. In Proc. of the Thirteenth International World Wide Web Conference (WWW 2004), pages 723-731. ACM, 2004.
77. Ian Horrocks, Peter F. Patel-Schneider, and Frank van Harmelen. From SHIQ and RDF to OWL: The making of a web ontology language. Journal of Web Semantics, 1(1):7-26, 2003.
78. Ian Horrocks, Ulrike Sattler, and Stephan Tobies. Practical reasoning for very expressive description logics. Logic Journal of the IGPL, 8(3):239-264, May 2000.
79. Herman J. ter Horst. Combining RDF and part of OWL with rules: Semantics, decidability, complexity. In Proceedings of the 4th International Semantic Web Conference (ISWC 2005), Galway, Ireland, 2005.
80. Ian Jacobs. Architecture of the world wide web, volume one. Recommendation 15 December 2004, W3C, 2004. Availablefrom:http://www.w3.org/TR/ webarch/.
81. Michael Kay. XSL transformations (XSLT) version 2.0. Recommendation 23 January 2007, W3C, 2007.
82. Uwe Keller, Rubén Lara, Holger Lausen, Axel Polleres, and Dieter Fensel. Automatic location of services. In Proceedings of the 2nd European Semantic Web Conference (ESWC2005), pages 1-16. Springer-Verlag, 2005.
83. Uwe Keller, Holger Lausen, and Michael Stollberg. On the semantics of functional descriptions of web services. In Proceedings of the 3rd European Semantic Web Conference (ESWC2006), pages 605-619, Budva, Montenegro, 2006. Springer-Verlag.
84. Mick Kerrigan. Wsmoviz: An ontology visualization approach for wsmo. In Proceedings of the 10th International Conference on Information Visualization (IV06), London, England, July 2006.
85. Mick Kerrigan, Adrian Mocan, Martin Tanler, and Werner Bliem. Creating semantic web services with the web service modeling toolkit (wsmt). In Proceedings of the workshop on Making Semantics Work For Business (MSWFB2007) at the 1st European Semantic Technology Conference (ESTC2007), Vienna, Austria, May 2007.
86. Mick Kerrigan, Adrian Mocan, Martin Tanler, and Dieter Fensel. The web service modeling toolkit - An integrated development environment for semantic web services (system description). In Proceedings of the 4th European Semantic Web Conference (ESWC2007), Innsbruck, Austria, June 2007.
87. Michael Kifer, Jos de Bruijn, Harold Boley, and Dieter Fensel. A realistic architecture for the semantic web. In Proceedings of the International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML-2005), number 3791 in Lecture Notes in Computer Science, pages 17-29, Ireland, Galway, November 2005. Springer.
88. Michael Kifer, Georg Lausen, and James Wu. Logical foundations of objectoriented and frame-based languages. JACM, 42(4):741-843, 1995.
89. Michel C. A. Klein, Jeen Broekstra, Dieter Fensel, Frank van Harmelen, and I. Horrocks. Ontologies and schema languages on the web. In D. Fensel, J. Hendler, H. Lieberman, and W. Wahlster, editors, Spinning the Semantic Web: Bringing the World Wide Web to Its Full Potential, pages 95-139. MIT Press, Cambridge, MA, USA, 2003.
90. Graham Klyne and Jeremy J. Carroll. Resource description framework (RDF): Concepts and abstract syntax. Recommendation 10 February 2004, W3C, 2004.
91. Rubén Lara, Dumitru Roman, Axel Polleres, and Dieter Fensel. A conceptual comparison of WSMO and OWL-S. In European Conference on Web services (ECOWS 2004), Erfurt, Germany, 2004.
92. Holger Lausen and Thomas Haselwanter. Finding web services. In 1st European Semantic Technology Conference, Vienna, Austria, June 2007.
93. Alon Y. Levy and Marie-Christine Rousset. Combining horn rules and description logics in CARIN. Artificial Intelligence, 104:165 - 209, 1998.
94. Lei Li and Ian Horrocks. A software framework for matchmaking based on semantic web technology. In Proceedings of the 12th International Conference on the World Wide Web, pages 331-339, Budapest, Hungary, 2003.
95. Zhen Liu, Anand Ranganathan, and Anton Riabov. A planning approach for message-oriented semantic web service composition. In Proceedings of the 22nd National Conference on Artificial Intelligence (AAAI2007), pages 1389-1394, Vancouver, BC, Canada, 2007.
96. John W. Lloyd. Foundations of Logic Programming (2nd edition). Springer- Verlag, 1987.
97. John W. Lloyd and Rodney W. Topor. Making prolog more expressive. Journal of Logic Programming, 1(3):225-240, 1984.
98. Ashok Malhotra, Jim Melon, and Norman Walsh. Xquery 1.0 and xpath 2.0 functions and operators. Working draft, W3C, 2005. http://www.w3.org/TR/xpath- functions/.
99. V. Wiktor Marek and Miroslaw Truszczynski. Stable semantics for logic programs and default theories. In Proceedings of the North American Conference on Logic Programming, pages 243-256, Cleveland, Ohio, USA, 1989. MIT Press.
100. A. Martens. On compatibility of web services. Petri Net Newsletter, 65:12-20, 2003.
101. A. Martens. Simulation and equivalence between bpel process models, 2005.
102. Dean Martin et al. Owl-s: Semantic markup for web services. W3C Member Submission, November 2004. Available from: http://www.w3.org/Submission/OWL-S/.
103. Deborah L. McGuinness and Frank van Harmelen. OWL web ontology language overview. Recommendation 10 February 2004, W3C, 2004. Available from http://www.w3.org/TR/owl-features/.
104. Sheila McIlraith, Tran Cao Son, and Honglei Zeng. Semantic web services. IEEE Intelligent Systems, Special Issue on the Semantic Web, 16(2):46-53, 2001.
105. Sun Microsystems. Sun ONE Architecture Guide. Sun, 2002.
106. Adrian Mocan and Emilia Cimpian. An ontology-based data mediation framework for semantic environments. International Journal on Semantic Web and Information Systems (IJSWIS), 3(2):66-95, 2007.
107. Boris Motik, Ian Horrocks, Riccardo Rosati, and Ulrike Sattler. Can owl and logic programming live together happily ever after? In Proc. of the 5th Int. Semantic Web Conf. (ISWC 2006), Athens, GA, USA, November 5 - 9 2006.
108. Boris Motik and Riccardo Rosati. A faithful integration of description logics with logic programming. In Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI-07), Hyderabad, India, January 6-12 2007.
109. Boris Motik, Ulrike Sattler, and Rudi Studer. Query answering for OWLDL with rules. In Proceedings of 3rd International Semantic Web Conference (ISWC2004), Hiroshima, Japan, November 2004.
110. Enrico Motta. Reusable Components for Knowledge Modelling. Case Studies in Parametric Design Problem Solving, volume 53 of Frontiers in Artificial Intelligence and Applications. IOS Press, 1999.
111. Anthony Nadalin, Chris Kaler, Phillip Hallam-Baker, and Ronald Monzillo. Web services security: SOAP message security 1.0 (WS-Security 2004). Standard 200401, OASIS, 2004. Available from: http://docs.oasis-open.org/wss/2004/01/ oasis-200401-wss-soap-message-security-1.0.pdf.
112. Srini Narayanan and Sheila A. McIlraith. Analysis and simulation of web services. Computer Networks, 42(5):675-693, 2003.
113. Justin O'Sullivan, David Edmond, and Arthur H.M. ter Hofstede. Formal description of non-functional service properties. Technical report, Queensland University of Technology, Brisbane, 2005. Available from: http://www.service- description.com/.
114. M. Paolucci, T. Kawamura, T.R. Payne, and K. Sycara. Semantic matching of web services capabilities. In Proceeding of The First International Semantic Web Conference (ISWC2002), Sardinia, Italy, 2002.
115. Peter F. Patel-Schneider, Patrick Hayes, and Ian Horrocks. OWL web ontology language semantics and abstract syntax. Recommendation 10 February 2004, W3C, 2004.
116. Axel Polleres, Francois Scharffe, and Roman Schindlauer. SPARQL++ for mapping between RDF vocabularies. In OTM 2007, Part I : Proceedings of the 6th International Conference on Ontologies, DataBases, and Applications of Semantics (ODBASE 2007), pages 878-896, Vilamoura, Algarve, Portugal, 2007. Springer.
117. Eric Prud'hommeaux and Andy Seaborne. SPARQL query language for RDF. Recommendation 15 January 2008, W3C, 2008. Available from: http://www.w3.org/TR/ rdf-sparql-query/.
118. Teodor C. Przymusinski. On the declarative and procedural semantics of logic programs. Journal of Automated Reasoning, 5(2):167-205, 1989.
119. Alan Rector, Chris Welty, Natasha Noy, and Evan Wallace. Simple part-whole relations in owl ontologies. Editor's Draft 11 Aug 2005, W3C, 2005. Available from: http://www.w3.org/2001/sw/BestPractices/OEP/SimplePartWhole/.
120. Raymond Reiter. A logic for default reasoning. In Matthew L. Ginsberg, editor, Readings in nonmonotonic reasoning, pages 68-93. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 1987.
121. Dumitru Roman, Holger Lausen, and Uwe Keller. Web service modeling ontology (WSMO). Final Draft D2v1.3, WSMO, 2006. Available from: http://www.wsmo.org/TR/d2/v1.3/.
122. Dumitru Roman and James Scicluna. Ontology-based choreography of WSMO services. Final Draft D14v0.3, WSMO, 2006. Available from: http://www.wsmo.org/ TR/d14/v0.3/.
123. Riccardo Rosati. Towards expressive KR systems integrating datalog and description logics: A preliminary report. In Proc. of the 1999 International Description Logics workshop (DL99), pages 160-164, 1999.
124. Riccardo Rosati. On the decidability and complexity of integrating ontologies and rules. Journal of Web Semantics, 3(1):61-73, 2005.
125. Riccardo Rosati. Semantic and computational advantages of the safe integration of ontologies and rules. In Proceedings of PPSWR2005, pages 50-64. Springer-Verlag, 2005.
126. Riccardo Rosati. DL+log: Tight integration of description logics and disjunctive datalog. In KR2006, 2006.
127. Fran,cois Scharffe and Jos de Bruijn. A language to specify mappings between ontologies. In Proceedings of the 1st International Conference on Signal-Image Technology and Internet-Based Systems (SITIS2005), Yandoúe, Cameroon, November 2005. Dicolor Press.
128. Nigel Shadbolt, Tim Berners-Lee, and Wendy Hall. The semantic web revisited. IEEE Intelligent Systems, 21(3):96-101, May/June 2006.
129. Evren Sirin, Bijan Parsia, Dan Wu, James A. Hendler, and Dana S. Nau. HTN planning for web service composition using SHOP2. Journal of Web Semantics, 1(4):377-396, 2004.
130. Nathalie Steinmetz. WSML-DL reasoner. Bachelor thesis, Digital Enterprise Research Institute (DERI), University of Innsbruck, Austria., August 2006. Available from: http://www.sti-innsbruck.at/teaching/theses/completed/details/? uid=78.
131. Katia Sycara, Massimo Paolucci, Anupriya Ankolekar, and Naveen Srinivasan. Automated discovery, interaction and composition of semantic web services. Journal of Web Semantics, 1(1):27-46, 2003.
132. Henry S. Thompson, David Beech, Murray Maloney, and Noah Mendelsohn. XML schema part 1: Structures second edition. Recommendation 28 October 2004, W3C, 2004. Available from: http://www.w3.org/TR/xmlschema-1/.
133. Ioan Toma. WSML/XML. Working Draft D36 v0.1, WSML, 2008. Available from: http://www.wsmo.org/TR/d36/v0.1/.
134. Ioan Toma, Douglas Foxvog, and Michael C. Jaeger. Modeling QoS characteristics in WSMO. In Proceedings of the 1st workshop on Middleware for Service Oriented Computing (MW4SOC 2006), pages 42-47, Melbourne, Australia, 2006.
135. Jeffrey D. Ullman. Principles of Database and Knowledge-Base Systems, Volume I. Computer Science Press, 1988.
136. Jeffrey D. Ullman. Principles of Database and Knowledge-Base Systems, Volume II. Computer Science Press, 1989.
137. Stuart Weibel, John Kunze, Carl Lagoze, and Misha Wolf. Dublin core metadata for resource discovery. RFC 2413, IETF, 1998.
138. Gio Wiederhold. Mediators in the architecture of future information systems. IEEE Computer, 25(3):38-49, March 1992.
139. Amy Moormann Zaremski and Jeannette M. Wing. Specification matching of software components. ACM Transactions on Software Engineering and Methodology (TOSEM), 6(4):333-369, 1997.