The Description Logic Handbook, 2003. ,
DOI : 10.1017/CBO9780511711787
An overview of tableau algorithms for desciption logics, Studia Logica, vol.69, issue.1, pp.5-40, 2001. ,
DOI : 10.1023/A:1013882326814
Facilitating the Rapid Development and Scalable Orchestration of Composite Web Services, Distributed and Parallel Databases, vol.17, issue.1, pp.5-37, 2005. ,
DOI : 10.1023/B:DAPD.0000045366.15607.67
On automating Web services discovery, The VLDB Journal, vol.16, issue.1, pp.84-96, 2005. ,
DOI : 10.1007/s00778-003-0117-x
Semantic matchmaker with precondition and effect matching using SWRL, Expert Systems with Applications, vol.36, issue.5, pp.9371-9377, 2009. ,
DOI : 10.1016/j.eswa.2009.01.010
e-service composition by description logics based reasoning, Proceedings of the International Workshop on Description Logics, pp.75-84, 2003. ,
A semantics and complete algorithm for subsumption in the classic description logic, Journal of Artificial Intelligence Research, vol.1, issue.1, pp.277-308, 1994. ,
Distributed Description Logics: Assimilating Information from Peer Sources, Jounal of Data Semantics, vol.1, pp.153-184, 2003. ,
DOI : 10.1007/978-3-540-39733-5_7
Description Logics Approach to Semantic Matching of Web Services, Journal of Computing and Information Technology, vol.11, issue.3, pp.217-224, 2003. ,
DOI : 10.2498/cit.2003.03.10
Distributed first order logics, Frontiers Of Combining Systems 2, Studies in Logic and Computation, pp.121-140, 1998. ,
Matching semantic service descriptions with local closedworld reasoning, Proceedings of The Semantic Web: Research and Applications, pp.575-589, 2006. ,
GOLOG: A logic programming language for dynamic domains, The Journal of Logic Programming, vol.31, issue.1-3, pp.1-3, 1997. ,
DOI : 10.1016/S0743-1066(96)00121-5
Description Logic Based Composition of Web Services, Proceedings of the Pacific Rim International Workshop on Agent Computing and Multi-Agent Systems, 2006. ,
DOI : 10.1007/11802372_21
A POP-Based Replanning Agent for Automatic Web Service Composition, Proceedings of the European Conference on Semantic Web, pp.47-61, 2005. ,
DOI : 10.1007/11431053_4
Web services orchestration -a review of emerging technologies, tools, and standards, Tech. rep, 2003. ,
Local tableaux for reasoning in distributed description logics, In: Description Logics, 2004. ,
Automated discovery, interaction and composition of Semantic Web services, Web Semantics: Science, Services and Agents on the World Wide Web, vol.1, issue.1, pp.27-46, 2003. ,
DOI : 10.1016/j.websem.2003.07.002
Description logics and planning, AI Magazine, vol.26, issue.2, pp.73-84, 2005. ,