Skip to main content
SpringerLink
Log in

Ontology Integration Using ε-Connections

  • Chapter
Modular Ontologies

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

Summary

The standardization of the Web Ontology Language, OWL, leaves (at least) two important issues for Web-based ontologies unsatisfactorily resolved, namely how to represent and reason with multiple distinct, but linked ontologies, and how to enable effective knowledge reuse and sharing on the Semantic Web. In this paper, we present a solution for these problems based on ε-Connections. We aim to use ε-Connections to provide modelers with suitable means for developing Web ontologies in a modular way and to provide an alternative to the owl:imports construct.

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. Baader, F., Horrocks, I., Sattler, U.: Description logics as ontology languages for the semantic web. In: Hutter, D., Stephan, W. (eds.) Festschrift in honor of Jörg Siekmann. LNCS (LNAI). Springer, Heidelberg (2003)

    Google Scholar 

  2. Baader, F., Lutz, C., Sturm, H., Wolter, F.: Fusions of description logics and abstract description systems. Journal of Artificial Intelligence Research (JAIR) 16, 1–58 (2003)

    MathSciNet  MATH  Google Scholar 

  3. Baader, F., Nutt, W.: Basic description logics. In: Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.) The Description Logic Handbook: Theory, Implementation, and Applications, pp. 43–95. Cambridge University Press, Cambridge (2003)

    Google Scholar 

  4. Baader, F., Sattler, U.: An overview of tableau algorithms for description logics. Studia Logica 69, 5–40 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  5. Baader, F., Hladik, J., Lutz, C., Wolter, F.: From tableaux to automata for description logics. Fundamenta Informaticae 57, 1–33 (2003)

    MathSciNet  MATH  Google Scholar 

  6. Bechhofer, S., Lord, P., Volz, R.: Cooking the semantic web with the OWL API. In: Fensel, D., Sycara, K.P., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol. 2870, pp. 659–675. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  7. Brickley, D., Guha, R.V.: Resource description framework (RDF) model and syntax specification. W3C Recommendation (1999)

    Google Scholar 

  8. Cuenca, B., Parsia, B., Sirin, E.: Working with multiple ontologies on the semantic web. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol. 3298, pp. 620–634. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  9. Cuenca-Grau, B., Parsia, B., Sirin, E.: Tableau algorithms for e-connections of description logics. Technical report, UMIACS (2004), http://www.mindswap.org/2004/multipleOnt/papers/EconnTableau.ps

  10. Cuenca Grau, B., Parsia, B., Sirin, E., Kalyanpur, A.: Automatic partitioning of owl ontologies using mathcalE-connections. In: Horrocks, I., Sattler, U., Wolter, F. (eds.) Description Logics. CEUR Workshop Proceedings, vol. 147, CEUR-WS.org. (2005)

    Google Scholar 

  11. Cuenca Grau, B., Parsia, B., Sirin, E., Kalyanpur, A.: Modularity and web ontologies. In: Doherty, P., Mylopoulos, J., Welty, C.A. (eds.) KR, pp. 198–209. AAAI Press, Menlo Park (2006)

    Google Scholar 

  12. Golbeck, J., Fragoso, G., Hartel, F., Hendler, J., Parsia, B., Oberthaler, J.: The national cancer institute’s thesaurus and ontology. Journal of Web Semantics 1(1) (December 2003)

    Google Scholar 

  13. Hladik, J., Model, J.: Tableau systems for \(\mathcal{SHIO}\) and \(\mathcal{SHIQ}\). In: Haarslev, V., Möller, R. (eds.) Proceedings of the 2004 International Workshop on Description Logics (DL 2004). CEUR (2004), ceur-ws.org

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

    Google Scholar 

  15. Horrocks, I.: Using an expressive description logic: FaCT or fiction? In: Proc. of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR 1998), pp. 636–647. Morgan Kaufman, San Francisco (1998)

    Google Scholar 

  16. Horrocks, I.: Implementation and optimisation techniques. In: Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.) The Description Logic Handbook: Theory, Implementation, and Applications, pp. 306–346. Cambridge University Press, Cambridge (2003)

    Google Scholar 

  17. Horrocks, I., Sattler, U.: Ontology reasoning in the \(\mathcal{SHOQ(D)}\) description logic. In: Nebel, B. (ed.) Proc. of the 17th Int. Joint Conf. on Artificial Intelligence (IJCAI 2001), pp. 199–204. Morgan Kaufmann, San Francisco (2001)

    Google Scholar 

  18. Horrocks, I., Sattler, U.: Optimised reasoning for \(\mathcal{SHIQ}\). In: Proc. of the 15th European Conference on Artificial Intelligence (ECAI 2002) (2002)

    Google Scholar 

  19. Horrocks, I., Sattler, U., Tobies, S.: Practical reasoning for very expressive description logics. Logic Journal of the IGPL 8(3), 239–263 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  20. Horrocks, I., Patel-Schneider, P.F., van Harmelen, F.: From \(\mathcal{SHIQ}\) and RDF to OWL: The making of a web ontology language. J. of Web Semantics 1(1), 7–26 (2003)

    Article  Google Scholar 

  21. Horrocks, I., Sattler, U.: A description logic with transitive and inverse roles and role hierarchies. Journal of Logic and Computation 9(3), 385–410 (1999)

    Article  MathSciNet  MATH  Google Scholar 

  22. Horrocks, I., Sattler, U.: A tableaux decision procedure for SHOIQ. In: Proc. of the 19th Int. Joint Conf. on Artificial Intelligence (IJCAI 2005) (to appear, 2005)

    Google Scholar 

  23. Kalyanpur, A., Parsia, B., Hendler, J.: A tool for working with web ontologies. International Journal on Semantic Web and Information Systems 1(1) (2004)

    Google Scholar 

  24. Kutz, O.: \(\mathcal{E}\)-Connections and Logics of Distance. PhD thesis, University of Liverpool (2004)

    Google Scholar 

  25. Kutz, O., Lutz, C., Wolter, F., Zakharyaschev, M.: \(\mathcal{E}\)-Connections of Abstract Description Systems. Artificial Intelligence 156(1), 1–73 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  26. Patel-Schneider, P.F., Hayes, P., Horrocks, I.: Web ontology language OWL Abstract Syntax and Semantics. W3C Recommendation (2004)

    Google Scholar 

  27. Sirin, E., Parsia, B.: Pellet system description. In: Proceedings of the 2004 International Workshop on Description Logics (DL 2004), Whistler, British Columbia, Canada, June 6-8, 2004. CEUR Workshop Proceedings, vol. 104. CEUR-WS.org. (2004)

    Google Scholar 

  28. Smith, M.K., Welty, C., McGuiness, D.L.: OWL Web Ontology Language Guide. W3C Recommendation (2004)

    Google Scholar 

  29. StuckenSchmidt, H., Klein, M.: Integrity and change in modular ontologies. In: Proceedings of the Eighteenth Joint Conference on Artificial Intelligence (IJCAI 2003). Morgan Kaufmann, San Francisco (2003)

    Google Scholar 

  30. StuckenSchmidt, H., Klein, M.: Structure-based partitioning of large concept hierarchies. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol. 3298, pp. 289–303. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  31. Haarslev, V., Moeller, R.: Racer system description. In: Goré, R.P., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS(LNAI), vol. 2083, pp. 701–705. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Oxford, UK

    Bernardo Cuenca Grau

  2. University of Manchester, UK

    Bijan Parsia & Evren Sirin

  3. Clark & Parsia, USA

    Bijan Parsia

Authors
  1. Bernardo Cuenca Grau
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Bijan Parsia
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Evren Sirin
    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

Cuenca Grau, B., Parsia, B., Sirin, E. (2009). Ontology Integration Using ε-Connections. 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_14

Download citation

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

  • 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