A mapping system for the integration of OWL-DL ontologies

IHIS'05 - Proceedings of the First International Workshop on Interoperability of Heterogeneous Information Systems

Volumn , Issue , 2005, Pages 9-16

  Haase, Peter ^a   Motik, Boris ^b  

^a UNIVERSITY OF KARLSRUHE   (Germany)

^b FZI RESEARCH CENTER FOR INFORMATION TECHNOLOGY   (Germany)

Author keywords

Description Logics; Ontology Integration; Ontology Mapping

Indexed keywords

COMPUTER SOFTWARE; FORMAL LOGIC; INTEROPERABILITY; MAPPING; QUERY LANGUAGES; SOFTWARE ENGINEERING;

DESCRIPTION LOGICS; MAPPING SYSTEMS; ONTOLOGY INTEGRATION; ONTOLOGY MAPPING;

INFORMATION TECHNOLOGY;

EID: 33749011446     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1096967.1096970     Document Type: Conference Paper

References (20)

1. F. Baader and P. Hanschke. A Scheme for Integrating Concrete Domains into Concept Languages. In Proc. of the 12th Int'l Joint Conf. on Artificial Intelligence. (IJCAI-91), pages 452-457, Sydney, Australia, 1991.
2. C. Beeri and R. Ramakrishnan. On the power of magic. In Proceedings of the Sixth ACM Symposium on Principles of Database Systems, pages 269-293, San Diego, CA, March 1987.
3. P. Bouquet, M. Ehrig, J. Euzenat, E. Pranconi, P. Hitzler, M. Krötzsch, L. Serafini, G. Stamou, Y. Sure, and S. Tessaris. Specification of a common framework for characterizing alignment, knowledgeweb deliverable d2.2.1v2. Technical report, Institut AIFB, Universität Karlsruhe, 2004.
4. P. Bouquet, F. Giunchiglia, F. Van Harmelen, L. Serafini, and H. Stuckenschmidt. C-owl: contextualizing ontologies. In Proc. of the 2nd International Semantic Web Conference (ISWC 2003), Sanibel Island (Fla.), 20-23 October 2003.
5. D. Calvanese, G. De Giacomo, and M. Lenzerini. A framework for ontology integration. In Proceedings of the First Semantic Web Working Symposium, pages 303-316, 2001.
6. D. Calvanese, G. De Giacomo, and M. Lenzerini. Description logics for information integration. In A. Kakas and F. Sadri, editors, Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, volume 2408 of Lecture Notes in Computer Science, pages 41-60, Springer, 2002.
7. A. Doan, J. Madhavan, P. Domingos, and A. Halevy. Learning to map between ontologies on the semantic web. In WWW '02: Proceedings of the 11th international conference on World Wide Web, pages 662-673, New York, NY, USA, 2002. ACM Press.
8. R. Fagin, P. Kolaitis, R. Miller, and L. Popa. Data exchange: Semantics and query answering. In ICDT 2003, Siena, Italy, 2003.
9. M. Friedman, A. Levy, and T. Millstein. Navigational plans for data integration. In Proceedings of AAAI '99/IAAI '99, pages 67-73, Menlo Park, CA, USA, 1999. American Association for Artificial Intelligence.
10. A. Y. Halevy. Data integration: A status report. In BTW 2003, Datenbanksysteme für Business, Technologie und Web, Tagungsband der 10. BTW-Konferenz, 26.-28. Februar 2003, Leipzig, pages 24-29, 2003.
11. I. Horrocks and P. F. Patel-Schneider. A proposal for an OWL rules language. In Proc. of the Thirteenth International World Wide Web Conference (WWW 2004), pages 723-731. ACM, 2004.
12. I. Horrocks and P. F. Patel-Schneider. Reducing OWL Entailment to Description Logic Satisfiability. Journal of Web Semantics, 1(4), 2004.
13. I. Horrocks, U. Sattler, and S. Tobies. Practical Reasoning for Very Expressive Description Logics. Logic Journal of the IGPL, 8(3):239-263, 2000.
14. I. Horrocks and S. Tessaris. Querying the semantic web: a formal approach. In Ian Horrocks and James Hendler, editors, Proc. of the 13th Int. Semantic Web Conf. (ISWC 2002), number 2342 in LNCS, pages 177-191. Springer-Verlag, 2002.
15. U. Hustadt, B. Motik, and U. Sattler. Reasoning for Description Logics around SHIQ in a Resolution Framework. Technical Report 3-8-04/04, FZI, Karlsruhe, Germany, April 2004. http://www.fzi.de/wim/publikationen.php?id= 1172.
16. - Description Logic to Disjunctive Datalog Programs. In Proc. of the 9th Conference on Knowledge Representation and Reasoning (KR2004). AAAI Press, June 2004.
17. U. Hustadt, B. Motik, and U. Sattler. Data Complexity of Reasoning in Very Expressive Description Logics. In Proc. IJCAI 2005, Edinburgh, UK, 2005. Morgan-Kaufmann Publisher.
18. M. Lenzerini. Data integration: a theoretical perspective. In Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, pages 233-246. ACM Press, 2002.
19. B. Motik, U. Sattler, and R. Studer. Query Answering for OWL-DL with Rules. In Proceedings of the 3rd International Semantic Web Conference (ISWC 2004), Hiroshima, Japan, NOV 2004.
20. N. Fridman Noy. Tools for mapping and merging ontologies. In S. Staab and R. Studer, editors, Handbook on Ontologies, International Handbooks on Information Systems, pages 365-384. Springer, 2004.