Evaluating formalisms for modular ontologies in distributed information systems

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

Volumn 4524 LNCS, Issue , 2007, Pages 178-193

  Wang, Yimin ^a   Bao, Jie ^b   Haase, Peter ^a   Qi, Guilin ^a  

^a UNIVERSITY OF KARLSRUHE   (Germany)

^b Iowa State University   (United States)

Author keywords

Distributed information systems; Modular ontologies; Requirements; Semantic technology

Indexed keywords

INFORMATION SYSTEMS; LARGE SCALE SYSTEMS; LOGIC PROGRAMMING; ONTOLOGY; SEMANTIC WEB;

DISTRIBUTED INFORMATION SYSTEMS; GEOGRAPHICALLY DISTRIBUTED INFORMATION; MODULAR ONTOLOGIES;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 38149011398     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-72982-2_13     Document Type: Conference Paper

References (35)

1. Bao, J., Caragea, D., Honavar, V.: A distributed tableau algorithm for package-based description logics. In: The 2nd International Workshop On Context Representation And Reasoning (CRR 2006), co-located with ECAI 2006 (2006)
2. Bao, J., Caragea, D., Honavar, V.: Modular ontologies - a formal investigation of semantics and expressivity. In: Mizoguchi, R., Shi, Z., Giunchiglia, F. (eds.) ASWC 2006. LNCS, vol. 4185, pp. 616-631. Springer, Heidelberg (2006)
3. Bao, J., Caragea, D., Honavar, V.: On the semantics of linking and importing in modular ontologies. In: Cruz, I., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L. (eds.) ISWC 2006. LNCS, vol. 4273, pp. 72-86. Springer, Heidelberg (2006)
4. Bao, J., Caragea, D., Honavar, V.: Towards collaborative environments for ontology construction and sharing. In: International Symposium on Collaborative Technologies and Systems (CTS 2006), pp. 99-108. IEEE Press, Orlando (2006)
5. Berners-Lee, T., Hendler, J., Lassila, O.: The semantic web. Scientific American 284, 34-43 (2001)
6. Borgida, A., Serafini, L.: Distributed description logics: Directed domain correspondences in federated information sources. In: OTM Federated Conference CoopIS/DOA/ODBASE. pp. 36-53 (2002)
7. Cuenca Grau, B., Kazakov, Y., Horrocks, I., Sattler, U.: A logical framework for modular integration of ontologies. In: Proc. of the 20th Int. Joint Conf. on Artificial Intelligence (IJCAI 2007) (2007)
8. Dzbor, M., Motta, E., Studer, R., Sure, Y., Haase, P., Gmez-Prez, A., Benjamins, R., Waterfeld, W.: Neon - lifecycle support for networked ontologies. In: Proceedings of 2nd European Workshop on the Integration of Knowledge, Semantic and Digital Media Technologies (EWIMT-2005), pp. 451-452 London, UK, IEE (2005)
9. Ghidini, C., Serafini, L.: Mapping properties of heterogeneous ontologies. In: 1st International Workshop on Modular Ontologies (WoMo 2006), co-located with ISWC (2006)
10. Grau, B.C.: Combination and Integration of Ontologies on the Semantic Web, PhD thesis, Dpto. de Informatica, Universitat de Valencia, Spain (2005)
11. Grau, B.C., Horrocks, I., Kazakov, Y., Sattler, U.: A logical framework for modular integration of ontologies. In: Proceedings of IJCAI'07 (2007)
12. Grau, B.C., Parsia, B., Sirin, E.: Tableau algorithms for e-connections of description logics. Technical report, University of Maryland Institute for Advanced Computer Studies (UMI-ACS), TR 2004-72 (2004)
13. Grau, B.C., Parsia, B., Sirin, E.: Working with multiple ontologies on the semantic web. In: International Semantic Web Conference, pp. 620-634 (2004)
14. Haase, P., Rudolph, S., Wang, Y., Brockmans, S., Palma, R., Euzenat, J., d'Aquin, M.: D1.1.1 networked ontology model. NeOn Deliverable 1.1.1, Universität Karlsruhe, UPM, INRIA-ALPES, Open University (2007)
15. Haase, P., Sure, Y.: State-of-the-art on ontology evolution. Technical report, SEKT informal deliverable 3.1.1.b, Institute AIFB, University of Karlsruhe (2004)
16. Horrocks, I., Patel-Schneider, P.F.: Optimizing description logic subsumption. Journal of Logic and Computation 9, 267-293 (1999)
17. Horrocks, I., Patel-Schneider, P.F., van Harmelen, F.: From SHIQ and RDF to OWL: The making of a web ontology language. J. of Web. Semantics 1, 7-26 (2003)
18. Horrocks, I., Sattler, U.: A Tableaux Decision Procedure for SHOIQ. In: Proceedings of the 19th International Joint Conference on Artificial Intelligence - IJCAI'05. pp. 448-453 (2005)
19. Horrocks, I., Tessaris, S.: A conjunctive query language for description logic aboxes. In: Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence, pp. 399-404, AAAI Press / The MIT Press (2000)
20. Kutz, O., Lutz, C., Wolter, F., Zakharyaschev, M.: E-connections of description logics. In: Description Logics Workshop, CEUR-WS, Vol 81 (2003)
21. Loebe, F.: Requirements for logical modules. In: 1st International Workshop on Modular Ontologies (WoMo 2006), co-located with ISWC (2006)
22. Lutz, C., Walther, D., Wolter, F.: Conservative extensions in expressive description logics. In: Proceedings of the Twentieth International Joint Conference on Artificial Intelligence IJCAI-07, AAAI Press, Stanford (2007)
23. McGuinness, D.L., van Harmelen, F.: OWL Web Ontology Language Overview. Technical report, World Wide Web Consortium (W3C) (2003) Internet: http://www.w3.org/TR/owl-features/
24. Motik, B., Sattler, U.: A comparison of reasoning techniques for querying large description logic aboxes. In: Hermann, M., Voronkov, A. (eds.) LPAR 2006. LNCS (LNAI), vol. 4246, Springer, Heidelberg (2006)
25. Schlicht, A., Stuckenschmidt, H.: Towards structural criteria for ontology modularizationc. In: 1st International Workshop on Modular Ontologies (WoMo 2006), co-located with ISWC (2006)
26. Seidenberg, J., Rector, A.: Web ontology segmentation: Analysis, classification and use. In: Proceedings of the World Wide Web Conference (WWW), Edinburgh (2006)
27. Serafini, L., Stuckenschmidt, H., Wache, H.: A formal investigation of mapping languages for terminological knowledge. In: Proceedings of the 19th International Joint Conference on Artificial Intelligence - IJCAI'05, Edinburgh, UK (2005)
28. Serafini, L., Tamilin, A.: Drago: Distributed reasoning architecture for the semantic web. In: Gómez-Pérez, A., Euzenat, J. (eds.) ESWC 2005. LNCS, vol. 3532, pp. 361-376. Springer, Heidelberg (2005)
29. Serafini, L., Tamilin, A.: Instance retrieval over a set of heterogeneous ontologies. In: the 2nd International Workshop On Context Representation And Reasoning (CRR 2006), co-located with ECAI 2006 (2006)
30. Shadbolt, N., Berners-Lee, T., Hall, W.: The semantic web revisited. IEEE Intelligent Systems 21, 96-101 (2006)
31. Sirin, E., Parsia, B.: Pellet: An OWL DL Reasoner. In: Description Logics Workshop (2004)
32. Stuckenschmidt, H., Klein, M.C.A.: Integrity and change in modular ontologies. In: Proceedings of the 18th International Joint Conference on Artificial Intelligence - IJCAI'03. pp.900-908 (2003)
33. Stuckenschmidt, H., Klein, M.C.A.: Structure-based partitioning of large concept hierarchies. In: International Semantic Web Conference, pp.289-303 (2004)
34. Stuckenschmidt, H., Serafini, L., Wache, H.: Reasoning about ontology mappings. Technical report, Department for Mathematics and Computer Science, University of Mannheim; TR-2005-011 (2005)
35. Tsarkov, D., Horrocks, I.: Efficient reasoning with range and domain constraints. In: Description Logics. FaCT++ (2004)