On the Semantics of Linking and Importing in Modular Ontologies

  • Jie Bao
  • Doina Caragea
  • Vasant G. Honavar
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4273)

Abstract

Modular ontology languages, such as Distributed Description Logics (DDL), \(\mathcal{E}\)-connections and Package-based Description Logics (P-DL) offer two broad classes of approaches to connect multiple ontology modules: the use of mappings or linkings between ontology modules e.g., DDL and \(\mathcal{E}\)-connections; and the use of importing e.g., P-DL. The major difference between the two approaches is on the usage of “foreign terms” at the syntactic level, and on the local model disjointness at the semantic level. We compare the semantics of linking in DDL and \(\mathcal{E}\)-connections, and importing in P-DL within the Distributed First Order Logics (DFOL) framework. Our investigation shows that the domain disjointness assumption adopted by the linking approach leads to several semantic difficulties. We explore the possibility of avoiding some of these difficulties using the importing approach to linking ontology modules.

References

  1. 1.
    Baader, F., Lutz, C., Sturm, H., Wolter, F.: Fusions of description logics. In: Description Logics, pp. 21–30 (2000)Google Scholar
  2. 2.
    Bao, J., Caragea, D., Honavar, V.: Modular ontologies - a formal investigation of semantics and expressivity. In: Mizoguchi, R., Shi, Z.-Z., Giunchiglia, F. (eds.) ASWC 2006. LNCS, vol. 4185, pp. 616–631. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  3. 3.
    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, Los Alamitos (2006)Google Scholar
  4. 4.
    Borgida, A., Serafini, L.: Distributed description logics: Directed domain correspondences in federated information sources. In: CoopIS, pp. 36–53 (2002)Google Scholar
  5. 5.
    Bouquet, P., Giunchiglia, F., van Harmelen, F.: C-OWL: Contextualizing ontologies. In: Fensel, D., Sycara, K.P., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol. 2870, pp. 164–179. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  6. 6.
    Ghidini, C., Serafini, L.: Frontiers Of Combining Systems 2, Studies in Logic and Computation. In: Distributed First Order Logics, pp. 121–140. Research Studies Press (1998)Google Scholar
  7. 7.
    Grau, B.C.: Combination and Integration of Ontologies on the Semantic Web. PhD thesis, Dpto. de Informatica, Universitat de Valencia, Spain (2005)Google Scholar
  8. 8.
    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
  9. 9.
    Grau, B.C., 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)CrossRefGoogle Scholar
  10. 10.
    Horrocks, I., Sattler, U.: A Tableaux Decision Procedure for SHOIQ. In: IJCAI, pp. 448–453 (2005)Google Scholar
  11. 11.
    Kutz, O., Lutz, C., Wolter, F., Zakharyaschev, M.: E-connections of description logics. In: Description Logics Workshop, CEUR-WS, vol. 81 (2003)Google Scholar
  12. 12.
    Kutz, O., Lutz, C., Wolter, F., Zakharyaschev, M.: E-connections of abstract description systems. Artif. Intell. 156(1), 1–73 (2004)MATHCrossRefMathSciNetGoogle Scholar
  13. 13.
    Parsia, B., Grau, B.C.: Generalized link properties for expressive epsilon-connections of description logics. In: AAAI, pp. 657–662 (2005)Google Scholar
  14. 14.
    Serafini, L., Borgida, A., Tamilin, A.: Aspects of distributed and modular ontology reasoning. In: IJCAI, pp. 570–575 (2005)Google Scholar
  15. 15.
    Serafini, L., Stuckenschmidt, H., Wache, H.: A formal investigation of mapping language for terminological knowledge. In: IJCAI, pp. 576–581 (2005)Google Scholar
  16. 16.
    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)CrossRefGoogle Scholar
  17. 17.
    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

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Jie Bao
    • 1
  • Doina Caragea
    • 2
  • Vasant G. Honavar
    • 1
  1. 1.Artificial Intelligence Research Laboratory, Department of Computer ScienceIowa State UniversityAmesUSA
  2. 2.Department of Computing and Information SciencesKansas State UniversityManhattanUSA

Personalised recommendations