Efficient semantic matching

Lecture Notes in Computer Science

Volumn 3532, Issue , 2005, Pages 272-289

  Giunchiglia, Fausto ^a   Yatskevich, Mikalai ^a   Giunchiglia, Enrico ^b  

^a UNIVERSITY OF TRENTO   (Italy)

^b UNIVERSITY OF GENOA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ENCODING (SYMBOLS); GRAPH THEORY; NATURAL LANGUAGE PROCESSING SYSTEMS; OPTIMIZATION; PROBLEM SOLVING;

CODIFYING MATCHING; GRAPH-LIKE STRUCTURES; LINEAR TIME ALGORITHM;

SEMANTICS;

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

References (15)

1. P. Bouquet, L. Serafini, S. Zanobini. Semantic Coordination: A new approach and an application. In Proceedings of ISWC 2003.
2. M. Davis and H. Putnam. A computing procedure for quantification theory. In Journal of the ACM, number 7, pages 201-215, 1960.
3. H. Do, E. Rahm. COMA - A system for Flexible Combination of Schema Matching Approaches, In Proceedings of VLDB 2002
4. E. Giunchiglia, R. Sebastiani. Applying the Davis-Putnam procedure to non-clausal formulas. In AIIA'99.
5. F. Giunchiglia, P. Shvaiko. Semantic Matching. In The Knowledge Engineering Review Journal, 18(3) 2003.
6. F. Giunchiglia, P. Shvaiko, M. Yatskevich. S-Match: An algorithm and an implementation of semantic matching. In Proceedings of ESWS'04.
7. F. Giunchiglia and M. Yatskevich. Element level semantic matching. In Proceedings of Meaning Coordination and Negotiation workshop at ISWC, 2004.
8. D. Le Berre JSAT: The Java satisfiability library. http://cafe.newcastle. edu.au/daniel/JSAT/.ï
9. D. Le Berre SAT4J: A satisfiability library for Java. http://www.sat4j.org/.
10. J. Madhavan, P. Bernstein, E. Rahm. Generic Schema Matching with Cupid. VLDB 2001
11. B. Magnini, M. Speranza, C. Girardi. A Semantic-based Approach to Interoperability of classification Hierarchies: Evaluation of Linguistic Techniques. In: Proceedings of COLING-2004, Geneva, Switzerland, August 23-27, 2004.ï
12. S. Melnik, H. Garcia-Molina, E. Rahm: Similarity Flooding: A Versatile Graph Matching Algorithm. Proceedings of ICDE, (2002) 117-128.
13. S. Melnik, E. Rahm, P. Bernstein: Rondo: A programming platform for generic model management. Proceedings of SIGMOD'03, (2003) 193-204.ï
14. D. Plaisted and S. Greenbaum. A Structure-preserving Clause Form Translation. Journal of Symbolic Computation, 2:293-304, 1986
15. G. Tsetin. On the complexity proofs in prepositional logics. Seminars in Mathematics, 8, 1970