A logic for decidable reasoning about services

AAAI Workshop - Technical Report

Volumn WS-06-01, Issue , 2006, Pages 9-18

  Yilan, Gu ^a   Soutchanski, Mikhail ^b  

^a UNIVERSITY OF TORONTO   (Canada)

^b RYERSON UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; FORMAL LOGIC; INFORMATION SERVICES; WORLD WIDE WEB;

COUNTING QUANTIFIERS; PROJECTION PROBLEM; TAXONOMIC REASONING;

TELECOMMUNICATION SERVICES;

EID: 33845974028     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (21)

1. Artale, A., and Franconi, E. 2001. A survey of temporal extensions of description logics. Annals of Mathematics and Artifi cial Intelligence 30(1-4).
2. Baader, F.; Calvanese, D.; McGuinness, D.; Nardi, D.; and Patel-Schneider, P. F., eds. 2003. The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge Un. Press.
3. Baader, F.; Lutz, C.; Miliĉić, M.; Sattler, U.; and Weiter, F. 2005. Integrating description logics and action formalisms: First results. In Proceedings of the Twentieth National Conference on Artifi cial Intelligence (AAAI-05), 572-577.
4. extended version is available as LTCS-Report-05-02 from http://lat.inf.tu-dresden.de/research/reports.html.
5. Baader, F.; Horrocks, I.; and Sattler, U. 2005. Description logics as ontology languages for the semantic web. In Hutter, D., and Stephan, W., eds., Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday, Lecture Notes in Computer Science, vol. 2605, 228-248. Springer.
6. Berardi, D.; Calvanese, D.; Giacomo, G. D.; Lenzerini, M.; and Mecella, M. 2003. e-service composition by description logics based reasoning. In Calvanese, D.; de Giacomo, G.; and Franconi, E., eds., Proceedings of the 2003 International Workshop in Description Logics (DL-2003).
7. Borgida, A. 1996. On the relative expressiveness of description logics and predicate logics. Artif. Intell. 82(1-2):353-367.
8. Giacomo, G. D.; Iocchi, L.; Nardi, D.; and Rosati, R. 1999. A theory and implementation of cognitive mobile robots. Journal of Logic and Computation 9(5):759-785.
9. Giacomo, G. D. 1995. Decidability of Class-Based Knowledge Representation Formalisms. Roma, Italy: Dipartimento di Informatica e Sistemistica Universita di Roma "La Sapienza".
10. Gil, Y. 2005. Description logics and planning. AI Magazine 26(2):73-84.
11. Grädel, E.; Otto, M.; and Rosen, E. 1997. Two-variable logic with counting is decidable. In Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science (LICS'97), 306-317.
12. Grüninger, M., and Menzel, C. 2003. The process specification language (PSL): Theory and applications. AI Magazine 24(3):63-74.
13. Grüninger, M. 2004. Ontology of the process specification language. In Staab, S., and Studer, R., eds., Handbook on Ontologies, 575-592. Springer.
14. Horrocks, I.; Patel-Schneider, P.; and van Harmelen, F. 2003. From SHIQ and RDF to OWL: The making of a web ontology language. Journal of Web Semantics 1(1):7-26.
15. Hull, R., and Su, J. 2005. Tools for composite web services: a short overview. SIGMOD Record 34(2):86-95.
16. McIlraith, S., and Son, T. 2002. Adapting Golog for composition of semantic web services. In Fensel, D.; Giunchiglia, F.; McGuinness, D.; and Williams, M.-A., eds., Proceedings of the Eighth International Conference on Knowledge Representation and Reasoning (KR2002), 482-493. Toulouse, France.
17. Narayanan, S., and McIlraith, S. 2003. Analysis and simulation of web services. Computer Networks 42:675-693.
18. Pacholski, L.; Szwast, W.; and Tendera, L. 1997. Complexity of two-variable logic with counting. In Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science (LJCS-97), 318-327. Warsaw, Poland: Ajournai version: SIAM Journal on Computing, v 29(4), 1999, p. 1083-1117.
19. Pistore, M.; Marconi, A.; Bertoli, P.; and Traverso, P. 2005. Automated composition of web services by planning at the knowledge level. In Proc. of the Nineteenth International Joint Conference on Artifi cial Intelligence (IJCAI05), 1252-1259. Edinburgh, Scotland, UK: http://ijcai.org/papers/1428. pdf.
20. Reiter, R. 2001. Knowledge in Action: Logical Foundations for Describing and Implementing Dynamical Systems. The MIT Press.
21. Sirin, E.; Parsia, B.; Wu, D.; Hendler, J.; and Nau, D. 2004. HTN planning for web service composition using SHOP2. Journal of Web Semantics 1(4):377-396.