A formal investigation of mapping language for terminological knowledge

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2005, Pages 576-581

  Serafini, Luciano ^a   Stuckenschmidt, Heiner ^b   Wache, Holger ^b  

^a ITC IRST   (Italy)

^b VU UNIVERSITY AMSTERDAM   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

BASIC PRINCIPLES; FIRST ORDER LOGIC; MAPPING LANGUAGE; ONTOLOGY LANGUAGE; ONTOLOGY MAPPING;

ARTIFICIAL INTELLIGENCE; FORMAL LOGIC;

MAPPING;

EID: 84880781952     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (13)

1. A. Borgida and L. Serafini. Distributed description logics: Assimilating information from peer sources. Journal of Data Semantics, 1:153-184, 2003.
2. A. Borgida. On the relative expressiveness of description logics and predicate logics. Artificial Intelligence, 82:353-367, 1996. Research Note. (Pubitemid 126374160)
3. P. Bouquet, F. Giunchiglia, F. van Harmelen, L. Serafini, and H. Stuckenschmidt. Contextualizing ontologies. Journal on Web Semantics, 1(4):xx-xx, 2004.
4. Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini. Description logics for information integration. In A. Kakas and F. Sadri, editors, Computational Logic: Logic Programming and Beyond, volume 2408 of Lecture Notes in Computer Science, pages 41-60. Springer, 2002.
5. Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini. A framework for ontology integration. In Isabel Cruz, Stefan Decker, Jerome Euzenat, and Deborah McGuinness, editors, The Emerging Semantic Web, pages 201-214. IOS Press, 2002.
6. E. Franconi and S. Tessaris. Rules and queries with ontologies: a unified logical framework. In Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR'04), 2004.
7. C. Ghidini and F. Giunchiglia. Local model semantics, or contextual reasoning = locality + compatibility. Artificial Intelligence, 127(2):221-259, 2001. (Pubitemid 32331230)
8. C. Ghidini and L. Serafini. Distributed first order logics. In D.M. Gabbay and M. De Rijke, editors, Frontiers of Combining Systems 2, pages 121-139. Research Studies Press Ltd., 2000.
9. Chiara Ghidini and Luciano Serafini. Distributed first order logic - revised semantics. Technical report, ITC-irst, January 2005.
10. Bernardo Cuenca Grau, Bijan Parsia, and Evren Sirin. Working with multiple ontologies on the semantic web. In Proceedings of the Third Internatonal SemanticWeb Conference (ISWC2004), volume 3298 of Lecture Notes in Computer Science, 2004.
11. Ian Horrocks, Peter F. Patel-Schneider, and Frank van Harmelen. From shiq and rdf to owl: The making of a web ontology language. Journal of Web Semantics, 1(1):7-26, 2003.
12. O. Kutz, C. Lutz, F. Wolter, and M. Zakharyaschev. E-connections of abstract description systems. Artificial Intelligence, 156(1):1-73, 2004.
13. Jeffrey D. Ullman. Information integration using logical views. In Proceedings of the 6th International Conference on Database Theory, volume 1186 of Lecture Notes In Computer Science, pages 19-40, 1997.