Towards explaining semantic matching

CEUR Workshop Proceedings

Volumn 104, Issue , 2004, Pages

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

^a STANFORD UNIVERSITY   (United States)

^b UNIVERSITY OF TRENTO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

DATA DESCRIPTION; FORMAL LANGUAGES; FORMAL LOGIC; INTEROPERABILITY; MAPPING; MARKUP LANGUAGES;

INFERENCE WEBS; MATCHING PROCESS; SATISFIABILITY; SEMANTIC MATCHING;

SEMANTICS;

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

References (9)

1. P. Pinheiro da Silva, D. L. McGuinness, and R. Fikes. A proof markup language for semantic web services. TR KSL-04-01, Stanford University, 2004.
2. M. Davis and H. Putnam. A computing procedure for quantification theory. In Journal of the ACM, number 7, pages 201–215, 1960.
3. F. Giunchiglia and P. Shvaiko. Semantic matching. In The Knowledge Engineering Review journal, number 18(3), 2004. Also TR DIT-03-013.
4. F. Giunchiglia, P. Shvaiko, and M. Yatskevich. S-match: an algorithm and an implementation of semantic matching. In Proceedings of ESWS’ 04, 2004. Also TR DIT-04-015.
5. I. Horrocks and P. F. Patel-Schneider. Fact and dlp. In Automated Reasoning with Analytic Tableaux and Related Methods: Tableaux’98, pages 27–30, 1998.
6. D. L. McGuinness and P. Pinheiro da Silva. Infrastructure for web explanations. In Proceedings of ISWC’03, pages 113–129, 2003.
7. D.L. McGuinness. Explaining reasoning in description logics. PhD thesis, Rutgers University, 1996.
8. E. Rahm and P. Bernstein. A survey of approaches to automatic schema matching. In VLDB Journal, number 10(4), pages 334–350, 2001.
9. P. Shvaiko, F. Giunchiglia, P. Pinheiro da Silva, and D. L. McGuinness. Web explanations for semantic heterogeneity discovery. TR KSL-04-02, Stanford University, 2004.