On the semantics of linking and importing in modular ontologies

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4273 LNCS, Issue , 2006, Pages 72-86

  Bao, Jie ^a   Caragea, Doina ^b   Honavar, Vasant G ^a  

^a Iowa State University   (United States)

^b Sunflower Networking Group   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CONFORMAL MAPPING; FORMAL LOGIC; INFORMATION RETRIEVAL;

DISTRIBUTED FIRST ORDER LOGICS (DFOL); MODULAR ONTOLOGY LANGUAGES; ONTOLOGY; PACKAGE-BASED DESCRIPTION LOGICS (P-DL);

SEMANTICS;

EID: 33845463186     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11926078_6     Document Type: Conference Paper

References (17)

1. F. Baader, C. Lutz, H. Sturm, and F. Wolter. Fusions of description logics. In Description Logics, pages 21-30, 2000.
2. J. Bao, D. Caragea, and V. Honavar. Modular ontologies - a formal investigation of semantics and expressivity. In R. Mizoguchi, Z. Shi, and F. Giunchiglia (Eds.): Asian Semantic Web Conference 2006, LNCS 4185, pages 616-631, 2006.
3. J. Bao, D. Caragea, and V. Honavar. Towards collaborative environments for ontology construction and sharing. In International Symposium on Collaborative Technologies and Systems (CTS 2006), pages 99-108. IEEE Press, 2006.
4. A. Borgida and L. Serafini. Distributed description logics: Directed domain correspondences in federated information sources. In CoopIS, pages 36-53, 2002.
5. P. Bouquet, F. Giunchiglia, and F. van Harmelen. C-OWL: Contextualizing ontologies. In Second International Semantic Web Conference, volume 2870 of Lecture Notes in Computer Science, pages 164-179. Springer Verlag, 2003.
6. C. Ghidini and L. Serafini. Frontiers Of Combining Systems 2, Studies in Logic and Computation, chapter Distributed First Order Logics, pages 121-140. Research Studies Press, 1998.
7. B. C. Grau. Combination and Integration of Ontologies on the Semantic Web. PhD thesis, Dpto. de Informatica, Universitat de Valencia, Spain, 2005.
8. B. C. Grau, B. Parsia, and E. Sirin. Tableau algorithms for e-connections of description logics. Technical report, University of Maryland Institute for Advanced Computer Studies (UMIACS), TR 2004-72, 2004.
9. B. C. Grau, B. Parsia, and E. Sirin. Working with multiple ontologies on the semantic web. In International Semantic Web Conference, pages 620-634, 2004.
10. I. Horrocks and U. Sattler. A Tableaux Decision Procedure for SHOIQ. In IJCAI, pages 448-453, 2005.
11. O. Kutz, C. Lutz, F. Wolter, and M. Zakharyaschev. E-connections of description logics. In Description Logics Workshop, CEUR-WS Vol 81, 2003.
12. O. Kutz, C. Lutz, F. Wolter, and M. Zakharyaschev. E-connections of abstract description systems. Artif. Intell., 156(1):1-73, 2004.
13. B. Parsia and B. C. Grau. Generalized link properties for expressive epsilonconnections of description logics. In AAAI, pages 657-662, 2005.
14. L. Serafini, A. Borgida, and A. Tamilin. Aspects of distributed and modular ontology reasoning. In IJCAI, pages 570-575, 2005.
15. L. Serafini, H. Stuckenschmidt, and H. Wache. A formal investigation of mapping language for terminological knowledge. In IJCAI, pages 576-581, 2005.
16. L. Serafini and A. Tamilin. Drago: Distributed reasoning architecture for the semantic web. In ESWC, pages 361-376, 2005.
17. H. Stuckenschmidt, L. Serafini, and H. Wache. Reasoning about ontology mappings. Technical report, Department for Mathematics and Computer Science, University of Mannheim; TR-2005-011, 2005.