Towards service description logics

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2424, Issue , 2002, Pages 74-85

  Bonatti, Piero A ^a  

^a UNIVERSITY OF MILAN   (Italy)

Author keywords

Description logics; Semantic web

Indexed keywords

APPLICATION PROGRAMS; ARTIFICIAL INTELLIGENCE; DATA DESCRIPTION; EMBEDDED SYSTEMS; FORMAL LANGUAGES; MULTI AGENT SYSTEMS; SEMANTIC WEB; SPECIFICATION LANGUAGES;

COOPERATIVE MULTIAGENT SYSTEMS; DESCRIPTION LOGIC; ONTOLOGY-BASED; PROGRAM SEMANTICS; SEMANTIC SERVICE DESCRIPTIONS; SERVICE DESCRIPTION; SERVICE SEMANTICS;

COMPUTATION THEORY;

EID: 77952052056     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (8)

1. D. Calvanese, G. De Giacomo, M. Lenzerini. Reasoning in expressive description logics with fixpoints based on automata on infinite trees. In Proc. of IJCAI'99, 1999.
2. G. De Giacomo. Decidability of class-based knowledge representation formalisms. PhD Thesis, Università di Roma "La Sapienza", 1995.
3. E. Grädel, M. Otto, E. Rosen. Undecidability results on two-variable logics. Archive for Mathematical Logic, 38:213-354, 1999.
4. C. Lutz. NExpTime-complete description logics with concrete domains. LTCSReport 00-01, LuFG Theoretical Computer Science, RWTH Aachen, Germany, 2000.
5. C. Lutz, U. Sattler, F. Wolter. Description logics and the two-variable fragment. In Proc. of DL'01, 2001.
6. A. Omicini, F. Zambonelli, M. Klusch, R. Tolksdorf (eds). Coordination of Internet Agents, Springer, 2001.
7. U. Sattler, M.Y. Vardi. The hybrid μ-calculus. In Proc. of IJCAR'01, 2001.
8. K. Sycara, J. Lu, M. Klusch, S. Widoff. Matchmaking among heterogeneous agents on the internet. In Proc. of the AAAI Spring Symposium on Intelligent Agents in Cyberspace, Stanford, USA, 1999.