A SAT-based algorithm for context matching

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 2680, Issue , 2003, Pages 66-79

  Bouquet, Paolo ^a,b   Magnini, Bernardo ^b   Serafini, Luciano ^b   Zanobini, Stefano ^a  

^a UNIVERSITY OF TRENTO   (Italy)

^b ITC IRST   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; FORMAL LOGIC; INTEROPERABILITY; KNOWLEDGE ACQUISITION; SEMANTICS;

CONTEXT MATCHING; DISTRIBUTED KNOWLEDGE MANAGEMENT; LOGICAL SATISFIABILITY; SEMANTIC INTEROPERABILITY;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 6344279002     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/3-540-44958-2_6     Document Type: Conference Paper

References (14)

1. M. Benerecetti, P. Bouquet, and C. Ghidini. Contextual Reasoning Distilled. Journal of Theoretical and Experimental Artificial Intelligence, 12(3):279-305, July 2000.
2. Sonia Bergamaschi, Silvana Castano, and Maurizio Vincini. Semantic integration of semistructured and structured data sources. SIGMOD Record, 28(1):54-59, 1999.
3. M. Bonifacio, P. Bouquet, and R. Cuel. Knowledge Nodes: the Building Blocks of a Distributed Approach to Knowledge Management. In To be appear in a special issue of the J. UCS journal and in the Proceedings of I-KNOW '02 - end International Conference on Knowledge Management., Gratz - Austria, July 11-12, 2002. Springer Pub. & Co.
4. M. Bonifacio, P. Bouquet, and P. Traverso. Enabling distributed knowledge management, managerial and technological implications. Novatica and Informatik/Informatique, III(1), 2002.
5. A. Borgida and L. Serafini. Distributed description logics: Directed domain correspondences in federated information sources. In R. Meersman and Z. Tari, editors, On The Move to Meaningful Internet Systems 2002: CoopIS, Doa, and ODBase, volume 2519 of LNCS, pages 36-53. Springer Verlag, 2002.
6. A. Doan, J. Madhavan, P. Domingos, and A. Halevy. Learning to map between ontologies on the semantic web. In Proceedings of WWW-2002, 11th International WWW Conference, Hawaii, page ......, 2002.
7. C. Ghidini and F. Giunchiglia. Local models semantics, or contextual reasoning = locality + compatibility. Artificial Intelligence, 127(2):221-259, April 2001.
8. F. Giunchiglia and L. Serafini. Multilanguage hierarchical logics, or: how we can do without modal logics. Artificial Intelligence, 65(1):29-70, 1994. Also IRST-Technical Report 9110-07, IRST, Trento, Italy.
9. F. Giunchiglia and L. Serafini. Multilanguage hierarchical logics, or: how we can do without modal logics. Artificial Intelligence, 65(1):29-70, 1994. Also IRST-Technical Report 9110-07, IRST, Trento, Italy.
10. Jayant Madhavan, Philip A. Bernstein, and Erhard Rahm. Generic schema matching with cupid. In The VLDB Journal, pages 49-58, 2001.
11. B. Magnini, L. Serafini, and M. Speranza. Linguistic based matching of local ontologies. In P. Bouquet, editor, Working Notes of the AAAI-02 workshop on Meaning Negotiation. Edmonton (Canada), Edmonton, Alberta, Canada, July 2002. AAAI, AAAI Press.
12. B. M. Magnini, L. Serafini, A. Doná, L. Gatti, C. Girardi, and M. Speranza. Large-scale evaluation of context matching. Technical Report 0301-07, ITC-IRST, January 2003.
13. Erhard Rahm and Philip A. Bernstein. A survey of approaches to automatic schema matching. VLDB Journal: Very Large Data Bases, 10(4):334-350, 2001.
14. S. L. Star. Working together: Symbolic interactionism, activity theory, and iformation systems. In Communication and Cognition at Work, pages 296-318. Cambridge University Press, 1997.