O. Dp, 6. and a sub-property relationship between homogeneous properties

P. Adjiman, P. Chatalic, F. Goasdoué, M. Rousset, and L. Simon, Scalability study of peer-to-peer consequence finding, IJCAI, pp.351-356, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00000267

P. Adjiman, F. Goasdoué, and M. Rousset, SomeRDFS in the Semantic Web, Journal on Data Semantics, vol.8, 2007.
DOI : 10.1007/978-3-540-70664-9_6
URL : https://hal.archives-ouvertes.fr/inria-00091169

T. Andrews, F. Curbera, H. Dholakia, Y. Goland, J. Klein et al., Business process execution language for web services, 2003.

M. Barhamgi, P. Champin, D. Benslimane, and A. Ouksel, Composing Data-Providing Web Services in P2P-Based Collaboration Environments, 19th International Conference on Advanced Information Systems Engineering (CAiSE'07), pp.513-545, 2007.
DOI : 10.1007/978-3-540-72988-4_37

T. Berners-lee and E. Miller, The semantic web lifts off, ERCIM News, vol.51, pp.9-10, 2002.

P. Bertoli, M. Pistore, and P. Traverso, Automated web service composition by onthe-fly belief space search, ICAPS, pp.358-361, 2006.

S. Dustdar and W. Schreiner, A survey on web services composition, International Journal of Web and Grid Services, vol.1, issue.1, pp.1-30, 2005.
DOI : 10.1504/IJWGS.2005.007545

M. Dean, Owl web ontology language reference. Online

R. Hamadi and B. Benatallah, A petri net-based model for web service composition, ADC '03: Proceedings of the 14th Australasian database conference, pp.191-200, 2003.

G. Klyne and J. J. Carroll, Resource description framework: Concepts and abstract syntax. Online

H. J. Levesque, R. Reiter, Y. Lespérance, F. Lin, R. B. Scherl et al., GOLOG: A logic programming language for dynamic domains, The Journal of Logic Programming, vol.31, issue.1-3, 1994.
DOI : 10.1016/S0743-1066(96)00121-5

Z. Maamar, D. Benslimane, and N. C. Narendra, What can context do for web services?, Communications of the ACM, vol.49, issue.12, pp.98-103
DOI : 10.1145/1183236.1183238

J. Mccarthy, Situations, actions and causal laws, Semantic Information Processing, pp.410-417, 1968.

S. Mcilraith and T. Son, Adapting golog for composition of semantic web services, Proceedings of the Eighth International Conference on Knowledge Representation and Reasoning (KR2002), pp.482-493, 2002.

B. Medjahed, A. Bouguettaya, and A. K. Elmagarmid, Composing Web services on the Semantic Web, The VLDB Journal The International Journal on Very Large Data Bases, vol.12, issue.4, 2003.
DOI : 10.1007/s00778-003-0101-5

M. Mrissa and C. Ghedira, Djamal Benslimane, and Zakaria Maamar. Context and semantic composition of web services, pp.266-275, 2006.

S. Narayanan and S. Mcilraith, Simulation, verification and automated composition of web services, Proceedings of the eleventh international conference on World Wide Web , WWW '02, 2002.
DOI : 10.1145/511446.511457

J. Rao and X. Su, A Survey of Automated Web Service Composition Methods, Proceedings of the 1st International Workshop on Semantic Web Services and Web Process Composition, pp.43-54, 2004.
DOI : 10.1007/978-3-540-30581-1_5

M. Rousset, P. Adjiman, P. Chatalic, F. Goasdoué, and L. Simon, SomeWhere in the Semantic Web, SOFSEM 2006 (International Conference on Current Trends in Theory and Practice of Computer Science), 2006.
DOI : 10.1007/11611257_8
URL : https://hal.archives-ouvertes.fr/inria-00000268

K. Sagonas and T. Swift, An abstract machine for tabled execution of fixed-order stratified logic programs, ACM Transactions on Programming Languages and Systems, vol.20, issue.3, pp.586-634, 1998.
DOI : 10.1145/291889.291897

K. Sagonas, T. Swift, and D. S. Warren, Xsb as an efficient deductive database engine, SIGMOD '94: Proceedings of the 1994 ACM SIGMOD international conference on Management of data, pp.442-453, 1994.

M. Siegel, E. Sciore, and A. Rosenthal, Using semantic values to facilitate interoperability among heterogeneous information systems, ACM Transactions on Database Systems, vol.19, pp.254-290, 1994.

P. Traverso and M. Pistore, Automated Composition of Semantic Web Services into Executable Processes, pp.380-394, 2004.
DOI : 10.1007/978-3-540-30475-3_27

M. Thandar, T. , and D. Edmond, The use of patterns in service composition, Lecture Notes in Computer Science, vol.2512, pp.28-40, 2002.