Skip to main content
SpringerLink
Log in
Book cover

Modular Ontologies pp 321–347Cite as

Composing Modular Ontologies with Distributed Description Logics

  • Chapter

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 5445))

Summary

This chapter demonstrates the use of the Distributed Description Logics framework (DDL) and the distributed reasoner DRAGO as formal and practical tools for composing modular ontologies from purely terminological \({\mathcal SHIQ}\) ontology modules. According to DDL vision, a modular ontology can be formally represented by a distributed T-box, comprising a set of separate T-boxes (one for each ontological module), which are pairwise interrelated by “bridge rules” (inter-module connectives allowing to access and import knowledge contained in modules). The chapter gives the semantic explanations of knowledge import via bridge rules as well as presents the distributed tableaux reasoning technique for its computation. Practically, the implementation of the distributed tableaux in DRAGO reasoner and its use for modular ontology composition is described and experimentally evaluated.

This is a preview of subscription content, 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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Antoniou, G., van Harmelen, F.: Web Ontology Language: OWL. In: Handbook on Ontologies in Information Systems, pp. 67–92. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  2. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications (2003)

    Google Scholar 

  3. Baader, F., Horrocks, I., Sattler, U.: Description logics as ontology languages for the semantic web. In: Hutter, D., Stephan, W. (eds.) Mechanizing Mathematical Reasoning. LNCS, vol. 2605, pp. 228–248. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  4. Bechhofer, S., van Harmelen, F., Hendler, J., Horrocks, I., McGuinness, D.L., Patel-Schneider, P.F., Andrea Stein, L.: OWL Web Ontology Language Reference. W3C Recommendation (February 2004), http://www.w3.org/TR/owl-ref

  5. Borgida, A., Serafini, L.: Distributed Description Logics: Assimilating Information from Peer Sources. Journal of Data Semantics 1, 153–184 (2003)

    MATH  Google Scholar 

  6. Bouquet, P., Giunchiglia, F., van Harmelen, F., Serafini, L., Stuckenschmidt, H.: C-OWL: Contextualizing Ontologies. In: Fensel, D., Sycara, K.P., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol. 2870, pp. 164–179. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  7. Bouquet, P., Giunchiglia, F., van Harmelen, F., Serafini, L., Stuckenschmidt, H.: Contextualizing Ontologies. Journal on Web Semantics 1(4), 325–343 (2004)

    Article  Google Scholar 

  8. Ghidini, C., Giunchiglia, F.: Local Model Semantics, or Contextual Reasoning = Locality + Compatibility. Artificial Intelligence 127(2), 221–259 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  9. Ghidini, C., Serafini, L.: Distributed First Order Logics. In: Proceedings of the Frontiers of Combining Systems, pp. 121–139 (2000)

    Google Scholar 

  10. Cuenca Grau, B., Parsia, B., Sirin, E.: Pellet: An OWL DL Reasoner. In: Proceedings of the 3rd International Semantic Web Conference (ISWC 2004) (2004), http://www.mindswap.org/2003/pellet/

  11. Haarslev, V., Moller, R.: RACER System Description. In: Goré, R.P., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS, vol. 2083, pp. 701–706. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  12. Horrocks, I.: Optimising Tableaux Decision Procedures for Description Logics. PhD thesis, University of Manchester (1997)

    Google Scholar 

  13. Horrocks, I.: Description Logics in Ontology Applications. In: Beckert, B. (ed.) TABLEAUX 2005. LNCS, vol. 3702, pp. 2–13. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  14. Horrocks, I., Patel-Schneider, P.F.: FaCT and DLP. In: de Swart, H. (ed.) TABLEAUX 1998. LNCS, vol. 1397, pp. 27–30. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  15. Horrocks, I., Patel-Schneider, P.F., van Harmelen, F.: From SHIQ and RDF to OWL: The Making of a Web Ontology Language. Journal of Web Semantics 1(1), 7–26 (2003)

    Article  Google Scholar 

  16. Horrocks, I., Sattler, U.: A Tableaux Decision Procedure for SHOIQ. In: Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI 2005), pp. 448–453 (2005)

    Google Scholar 

  17. Horrocks, I., Sattler, U., Tobies, S.: A Description Logic with Transitive and Converse Roles, Role Hierarchies and Qualifying Number Restriction. Technical Report 99-08, Technische Universität Dresden, LTCS (1999)

    Google Scholar 

  18. Horrocks, I., Sattler, U., Tobies, S.: Practical Reasoning for Very Expressive Description Logics. Logic Journal of IGPL 8(3), 239–263 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  19. Horrocks, I., Sattler, U., Tobies, S.: Reasoning with Individuals for the Description Logic SHIQ. In: McAllester, D. (ed.) CADE 2000. LNCS, vol. 1831, pp. 482–496. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  20. Serafini, L., Borgida, A., Tamilin, A.: Aspects of Distributed and Modular Ontology Reasoning. In: Proceedings of the 19th Joint Conference on Artificial Intelligence (IJCAI) (2005)

    Google Scholar 

  21. 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)

    Chapter  Google Scholar 

  22. Sirin, E., Parsia, B., Cuenca Grau, B., Kalyanpur, A., Katz, Y.: Pellet: A Practical OWL-DL Reasoner. Journal of Web Semantics (2006)

    Google Scholar 

  23. Stuckenschmidt, H., Klein, M.: Integrity and Change in Modular Ontologies. In: Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI 2003) (2003)

    Google Scholar 

  24. Svab, O., Svatek, V., Berka, P., Rak, D., Tomasek, P.: OntoFarm: Towards an Experimental Collection of Parallel Ontologies. In: Poster Proceedings of the 4th International Semantic Web Conference (ISWC 2005) (2005)

    Google Scholar 

  25. Tessaris, S.: Questions and Answers: Reasoning and Querying in Description Logic. PhD thesis, Department of Computer Science, University of Manchester, UK (2001)

    Google Scholar 

  26. Tobies, S.: Complexity Results and Practical Algorithms for Logics in Knowledge Representation. PhD thesis, LuFG Theoretical Computer Science, RWTH-Aachen, Germany (2001)

    Google Scholar 

  27. Tsarkov, D., Horrocks, I.: FaCT++ Description Logic Reasoner: System Description. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS, vol. 4130, pp. 292–297. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Center for Information Technology Fondazione Bruno Kessler, Trento, Italy

    Luciano Serafini & Andrei Tamilin

Authors
  1. Luciano Serafini
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Andrei Tamilin
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut für Informatik, B6, 26, Universität Mannheim, 68159, Mannheim, Germany

    Heiner Stuckenschmidt

  2. HEC ISI, Université de Lausanne, 1015, Lausanne, Switzerland

    Christine Parent

  3. Database Laboratory, École Polytechnique Fédérale de Lausanne, EPFL-IC, 1015, Lausanne, Switzerland

    Stefano Spaccapietra

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Serafini, L., Tamilin, A. (2009). Composing Modular Ontologies with Distributed Description Logics. In: Stuckenschmidt, H., Parent, C., Spaccapietra, S. (eds) Modular Ontologies. Lecture Notes in Computer Science, vol 5445. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-01907-4_15

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-01907-4_15

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-01906-7

  • Online ISBN: 978-3-642-01907-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation