Abductive matchmaking using description logics

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2003, Pages 337-342

  Di Noia, Tommaso ^a   Di Sciascio, Eugenio ^a   Donini, Francesco M ^b   Mongiello, Marina ^a  

^a POLITECNICO DI BARI   (Italy)

^b UNIVERSITY OF TUSCIA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMMONSENSE REASONING; DESCRIPTION LOGIC; ELECTRONIC MARKETPLACES; HUMAN USERS; STANDARDIZED TERMINOLOGIES; SYSTEM BEHAVIORS;

ARTIFICIAL INTELLIGENCE; FORMAL LANGUAGES;

DATA DESCRIPTION;

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

References (16)

1. F. Baader and B. Hollunder. KRIS: Knowledge Representation and Jnference System. SIGART Bulletin, 2(3):8-14, 1991.
2. A. Borgida and P. F. Patel-Schneider. A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic../. of Artif lntell Res., 1:277-308, 1994.
3. A. Borgida, R. J. Brachman, D. L. McGuinness, and L. Alperin Resnick. CLASSIC: A structural data model for objects. In ACM SIGMOD, pages 59-67, 1989.
4. D. Calvanese. Reasoning with inclusion axioms in description logics. In ECAI'96, pages 303-307. John Wiley & Sons, 1996.
5. T. Di Noia, E. Di Sciascio, F.M. Donini, and M. Mongiello. Semantic matchmaking in a P-2-P electronic marketplace. In SAC"03, pages 582-586. ACM, 2003.
6. E. Di Sciascio, F.M. Donini, M. Mongiello, and G. Piscitelli. A knowledge-based system for person-to-person e-commerce. In ADL Workshop (KI2001), 2001.
7. F. M. Donini. Complexity of reasoning. In Description Logics Handbook, chapter 3. Cambridge University Press, 2003.
8. T. Eiter and G. Gottlob. The complexity of logic-based abduction. JACM, 42(1):3-42, 1995.
9. I. Horrocks and U. Sattler. Ontology reasoning in the SHOQ(D) description logic. In IJCAI2001, pages 199-204, 2001.
10. D. Kuokka and L. Harada. Integrating information via matchmaking. J. of Intelligent Information Systems, 6:261-279, 1996.
11. J. Madhavan, P.A. Bernstein, and E. Rahm. Generic schema matching with cupid. In Proc. of VLDB W, pages 49-58, 2001.
12. B. Nebel. Terminological reasoning is inherently intractable. Artif Intell, 43:235-249, 1990. (Pubitemid 20697329)
13. M. Paolucci, T. Kawamura, T.R. Payne, and K. Sycara. Semantic matching of web services capabilities. \n ISWC 2002, pages 333-347, 2002.
14. K. Sycara, S. WidofY, M. Klusch, and J. Lu. Larks: Dynamic matchmaking among heterogeneus software agents in cyberspace. Autonomous agents and multi-agent systems, 5:173-203, 2002. (Pubitemid 37113888)
15. D. Trastour, C. Bartolini, and C. Priest. Semantic web support for the business-to-business e-commerce lifecycle. In WWW02, pages 89-98. ACM, 2002.
16. M. Y. Vardi and P. Wolper. Automata-theoretic techniques for modal logics of programs. J. of Comp. and Syst. ScL, 32:183-221, 1986. (Pubitemid 16586688)