Skip to main content
SpringerLink
Log in

Evaluating Formalisms for Modular Ontologies in Distributed Information Systems

  • Conference paper
Web Reasoning and Rule Systems (RR 2007)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 4524))

Included in the following conference series:

Abstract

Modern semantic technology is one of the necessary supports for the infrastructure of next generation information systems. In particular, large international organizations, which usually have branches around the globe, need to manage web-based, complex, dynamically changing and geographically distributed information. Formalisms for modular ontologies offer the necessary mechanism that is needed to handle ontology-based distributed information systems in the aforementioned scenario. In this paper, we investigate state-of-the-art technologies in the area of modular ontologies and corresponding logical formalisms. We compare different formalisms for modular ontologies in their ability to support networked, dynamic and distributed ontologies, as well as the reasoning capability over these ontologies. The comparison results show the strength and limitation of existing formalisms against the needs of modular ontologies in the given setting, and possible future extensions to overcome those limitations.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Google Scholar 

  5. Berners-Lee, T., Hendler, J., Lassila, O.: The semantic web. Scientific American 284, 34–43 (2001)

    Article  Google Scholar 

  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)

    Google Scholar 

  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)

    Google Scholar 

  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)

    Google Scholar 

  9. Ghidini, C., Serafini, L.: Mapping properties of heterogeneous ontologies. In: 1st International Workshop on Modular Ontologies (WoMo 2006), co-located with ISWC (2006)

    Google Scholar 

  10. Grau, B.C.: Combination and Integration of Ontologies on the Semantic Web. PhD thesis, Dpto. de Informatica, Universitat de Valencia, Spain (2005)

    Google Scholar 

  11. Grau, B.C., Horrocks, I., Kazakov, Y., Sattler, U.: A logical framework for modular integration of ontologies. In: Proceedings of IJCAI’07 (2007)

    Google Scholar 

  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 (UMIACS), TR 2004-72 (2004)

    Google Scholar 

  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)

    Google Scholar 

  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)

    Google Scholar 

  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)

    Google Scholar 

  16. Horrocks, I., Patel-Schneider, P.F.: Optimizing description logic subsumption. Journal of Logic and Computation 9, 267–293 (1999)

    Article  MATH  MathSciNet  Google Scholar 

  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)

    Google Scholar 

  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)

    Google Scholar 

  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)

    Google Scholar 

  20. Kutz, O., Lutz, C., Wolter, F., Zakharyaschev, M.: E-connections of description logics. In: Description Logics Workshop, CEUR-WS, vol. 81 (2003)

    Google Scholar 

  21. Loebe, F.: Requirements for logical modules. In: 1st International Workshop on Modular Ontologies (WoMo 2006), co-located with ISWC (2006)

    Google Scholar 

  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)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Google Scholar 

  26. Seidenberg, J., Rector, A.: Web ontology segmentation: Analysis, classification and use. In: Proceedings of the World Wide Web Conference (WWW), Edinburgh (2006)

    Google Scholar 

  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)

    Google Scholar 

  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)

    Google Scholar 

  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)

    Google Scholar 

  30. Shadbolt, N., Berners-Lee, T., Hall, W.: The semantic web revisited. IEEE Intelligent Systems 21, 96–101 (2006)

    Article  Google Scholar 

  31. Sirin, E., Parsia, B.: Pellet: An OWL DL Reasoner. In: Description Logics Workshop (2004)

    Google Scholar 

  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)

    Google Scholar 

  33. Stuckenschmidt, H., Klein, M.C.A.: Structure-based partitioning of large concept hierarchies. In: International Semantic Web Conference, pp. 289–303 (2004)

    Google Scholar 

  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)

    Google Scholar 

  35. Tsarkov, D., Horrocks, I.: Efficient reasoning with range and domain constraints. In: Description Logics. FaCT++ (2004)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute AIFB, University of Karlsruhe (TH), Karlsruhe, Germany

    Yimin Wang, Peter Haase & Guilin Qi

  2. Artificial Intelligence Research Laboratory, Department of Computer Science, Iowa State University, Ames, IA 50011-1040, USA

    Jie Bao

Authors
  1. Yimin Wang
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jie Bao
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Peter Haase
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Guilin Qi
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Massimo Marchiori Jeff Z. Pan Christian de Sainte Marie

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer Berlin Heidelberg

About this paper

Cite this paper

Wang, Y., Bao, J., Haase, P., Qi, G. (2007). Evaluating Formalisms for Modular Ontologies in Distributed Information Systems. In: Marchiori, M., Pan, J.Z., Marie, C.d.S. (eds) Web Reasoning and Rule Systems. RR 2007. Lecture Notes in Computer Science, vol 4524. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-72982-2_13

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-72982-2_13

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-72981-5

  • Online ISBN: 978-3-540-72982-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation