Modular ontologies - A formal investigation of semantics and expressivity

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

Volumn 4185 LNCS, Issue , 2006, Pages 616-631

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

^a Iowa State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; COMPUTER PROGRAMMING LANGUAGES; FORMAL LOGIC; WORLD WIDE WEB;

ABSTRACT MODULAR ONTOLOGY (AMO); COLLABORATIVE DEVELOPMENT; DISTRIBUTED DESCRIPTION LOGICS (DDL); MODULAR ONTOLOGY; ONTOLOGY LANGUAGE;

SEMANTICS;

EID: 33750232177     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11836025_60     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. On the semantics of linking and importing in modular ontologies (extended version). Technical report, TR-408 Computer Sicence, Iowa State University, 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/DOA/ODBASE, 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 F. Giunchiglia. Local model semantics, or contextual reasoning = locality + compatibility. Artificial Intelligence, 127(2):221-259, 2001.
7. 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.
8. B. C. Grau. Combination and Integration of Ontologies on the Semantic Web. PhD thesis, Dpto. de Informatica, Universitat de Valencia, Spain, 2005.
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. B. C. Grau, B. Parsia, E. Sirin, and A. Kalyanpur. Modularity and web ontologies. In KR2006, 2006.
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 epsilon-connections of description logics. In AAAI, pages 657-662, 2005.
14. P. Patel-Schneider, P.Hayes, and I. Horrocks. Web ontlogy language (owl) abstract syntax and semantics. http://www.w3.org/TR/owl-semantics/, February 2003.
15. G. Schreiber and M. Dean. Owl web ontology language reference. http://www.w3.org/TR/2004/REC-owl-ref-20040210/, February 2004.
16. L. Serafini, H. Stuckenschmidt, and H. Wache. A formal investigation of mapping language for terminological knowledge. In IJCAI, pages 576-581, 2005.
17. L. Serafini and A. Tamilin. Drago: Distributed reasoning architecture for the semantic web. In ESWC, pages 361-376, 2005.