Web explanations for semantic heterogeneity discovery

Lecture Notes in Computer Science

Volumn 3532, Issue , 2005, Pages 303-317

  Shvaiko, Pavel ^a   Giunchiglia, Fausto ^a   Pinheiro Da Silva, Paulo ^b   McGuinness, Deborah L ^b  

^a UNIVERSITY OF TRENTO   (Italy)

^b STANFORD UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

INFERENCE ENGINES; PATTERN MATCHING; WORLD WIDE WEB;

INFERENCE WEB (IW); SEMANTIC MATCHING SYSTEM; SEMANTIC WEBS;

SEMANTICS;

EID: 26444453975     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11431053_21     Document Type: Conference Paper

References (36)

1. C. Barrett and S. Berezin. A proof-producing boolean search engine. In Proceedings of PDPAR, 2003.
2. D. Le Berre. JSAT: The java satisfiability library. http://cafe. newcastle.edu.au/daniel/JSAT/, 2001.
3. A. Borgida, E. Franconi, I. Horrocks, D. McGuinness, and P. Patel-Schneider. Explaining ALC subsumption. In Proceedings of Description Logics workshop, 1999.
4. P. Bouquet, L. Serafini, and S. Zanobini. Semantic coordination: A new approach and an application. In Proceedings of ISWC, pages 130-145, 2003.
5. P. Pinheiro da Silva, D. L. McGuinness, and R. Fikes. A proof markup language for semantic web services. Technical report, KSL, Stanford University, 2004.
6. M. Davis, G. Longemann, and D. Loveland. A machine program for theorem proving. Journal of the ACM, (5(7)), 1962.
7. M. Davis and H. Putnam. A computing procedure for quantification theory. Journal of the ACM, (7):201-215, 1960.
8. R. Dhamankar, Y. Lee, A. Doan, A. Halevy, and P. Domingos. iMAP: Discovering complex semantic matches between database schemas. In Proceedings of SIGMOD, pages 383 - 394, 2004.
9. M. Ehrig and S. Staab. QOM: Quick ontology mapping. In Proceedings of ISWC, pages 683-697, 2004.
10. J. Euzenat and P.Valtchev. Similarity-based ontology alignment in OWL-lite. In Proceedings of ECAI, pages 333-337, 2004.
11. F. Giunchiglia and P. Shvaiko. Semantic matching. KER Journal, (18(3)):265-280, 2003.
12. F. Giunchiglia, P. Shvaiko, and M. Yatskevich. S-Match: an algorithm and an implementation of semantic matching. In Proceedings of ESWS, pages 61-75, 2004.
13. F. Giunchiglia and M. Yatskevich. Element level semantic matching. In Proceedings of Meaning Coordination and Negotiation workshop at ISWC, 2004.
14. F. Giunchiglia, M. Yatskevich, and E. Giunchiglia. Efficient semantic matching. In Proceedings of ESWC, 2005.
15. E. Goldberg and Y. Novikov. Verication of proofs of unsatisability for CNF formulas. In Proceedings of DATE, 2003.
16. N. Guarino. The role of ontologies for the Semantic Web (and beyond). Technical report, Laboratory for Applied Ontology, Institute for Cognitive Sciences and Technology (ISTC-CNR), 2004.
17. H.H.Do and E. Rahm. COMA - a system for flexible combination of schema matching approaches. In Proceedings of VLDB, pages 610-621, 2001.
18. I. Horrocks and P. F. Patel-Schneider. FaCT and DLP. In Automated Reasoning with Analytic Tableaux and Related Methods: Tableaux, pages 27-30, 1998.
19. J. Madhavan, P. Bernstein, and E. Rahm. Generic schema matching with Cupid. In Proceedings of VLDB, pages 49-58, 2001.
20. B. Magnini, L. Serafini, and M. Speranza. Making explicit the semantics hidden in schema models. In Proceedings of workshop on Human Language Technology for the Semantic Web and Web Services at ISWC, 2003.
21. D. L. McGuinness and A. Borgida. Explaining subsumption in description logics. In Proceedings of IJCAI, pages 816-821, 1995.
22. D. L. McGuinness and P. Pinheiro da Silva. Infrastructure for web explanations. In Proceedings of ISWC, pages 113-129, 2003.
23. D. L. McGuinness and Pinheiro da Silva P. Registry-based support for information integration. In Proceedings of IJCAI Workshop on Information Integration on the Web, 2003.
24. S. Melnik, E. Rahm, and P. Bernstein. Rondo: A programming platform for generic model management. In Proceedings of SIGMOD, pages 193-204, 2003.
25. A.G. Miller. WordNet: A lexical database for english. Communications of the ACM, (38(11)):39-41, 1995.
26. M. Moskewicz, C. Madigan, Y. Zhaod, L. Zhang, and S. Malik. Chaff: Engineering an efficient SAT solver. In Proceedings of DAC, 2001.
27. N. Noy and M. A. Musen. Anchor-prompt: Using non-local context for semantic matching. In Procedings of IJCAI workshop on Ontologies and Information Sharing, pages 63-70, 2001.
28. Y. Oh, M. N. Mneimneh, Z. S. Andraus, K. A. Sakallah, and I. L. Markov. AMUSE: A minimally-unsatisfiable subformula extractor. In Proceedings of DAC, pages 518-523, 2004.
29. B. Parsia, E. Sirin, M. Grove, and R. Alford. Pellet OWL reasoner. http://www.mindswap.org/2003/pellet/index.shtml.
30. E. Rahm and P. Bernstein. A survey of approaches to automatic schema matching. VLDB Journal, (10(4)):334-350, 2001.
31. P. Shvaiko. A classification of schema-based matching approaches. In Proceedings of Meaning Coordination and Negotiation workshop at ISWC, 2004.
32. P. Shvaiko and J. Euzenat. A survey of schema-based macthing approaches. Technical report, DIT-04-087, University of Trento, 2004.
33. M.K. Smith, C. Welty, and D.L. McGuinness. OWL web ontology language guide. Technical report, World Wide Web Consortium (W3C), http://www.w3.org/TR/ 2004/REC-owl-guide-20040210/, February 10 2004.
34. H. Wache, T. Voegele, U. Visser, H. Stuckenschmidt, G. Schuster, H. Neumann, and S. Huebner. Ontology-based integration of information - a survey of existing approaches. In Proceedings of IJCAI workshop on Ontologies and Information Sharing, pages 108-117, 2001.
35. L. Zhang and S. Malik. Extracting small unsatisfiable cores from unsatisfiable boolean formulas. In Proceedings of SAT, 2003.
36. L. Zhang and S. Malik. Validating SAT solvers using an independent resolution-based checker: Practical implementations and other applications. In Proceedings of DATE, 2003.