Skip to main content

On Importing Knowledge from Ontologies.

  • Chapter

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

Summary

This chapter focuses on the notion of importing terms from an ontology. Rather than proposing a specific formalism for this task and proving theorems about its properties, it starts by surveying a sample of lesser known papers on this topic in both the AI and Database literature. Based on this, it then derives a list of desirable properties for the notion of “importing a set of identifiers from an exporting to an importing knowledge base”, and provides a framework for alternate formal definitions of this notion. Some of the more novel aspects are the idea of modifying the exporting ontology before the subset of axioms to be imported is determined, and limiting the use of imported terms. The chapter concludes with a review of the concept of “expressive power”, and how it might apply to importing mechanisms.

Some material in this chapter has been presented at the WOMO’06, DL’07 and WOMO’07 workshops. This research was supported in part by the U.S. DHS under ONR grant N00014-7-1-0150.

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

Buying options

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. http://www.loa-cnr.it/medicine/

  2. Aho, A.V., Ullman, J.D.: The Universality of Data Retrieval Languages. In: POPL 1979, pp. 110–120 (1979)

    Google Scholar 

  3. Baader, F., Ksters, R., Molitor, R.: Rewriting Concepts Using Terminologies. In: KR 2000, pp. 297–308 (2000)

    Google Scholar 

  4. Baader, F.: A Formal Definition for the Expressive Power of Terminological Knowledge Representation Languages. J. Log. Comput. 6(1), 33–54 (1996)

    Article  MathSciNet  MATH  Google Scholar 

  5. 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.M. (eds.) ISWC 2006. LNCS, vol. 4273, pp. 72–86. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

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

    Chapter  Google Scholar 

  7. Borgida, A.: On the Relative Expressiveness of Description Logics and Predicate Logics. Artif. Intell. 82(1-2), 353–367 (1996)

    Article  MathSciNet  Google Scholar 

  8. Borgida, A.: On Importing Knowledge from DL Ontologies: intuitions and problems. In: DL 2007, CEUR On-line Workshop Proceedings, vol. 250 (2007)

    Google Scholar 

  9. Borgida, A., Giunchiglia, F.: Importing from Functional Knowledge Bases – A Preview. In: WOMO 2007: CEUR On-line Workshop, vol. 315 (2007)

    Google Scholar 

  10. Borgida, A., Franconi, E., Horrocks, I.: Explaining ALC Subsumption. In: ECAI 2000, pp. 209–213 (2000)

    Google Scholar 

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

    MATH  Google Scholar 

  12. Calvanese, D., Lenzerini, M., Nardi, D.: Unifying Class-Based Representation Formalisms. J. Artif. Intell. Res. (JAIR) 11, 199–240 (1999)

    MathSciNet  MATH  Google Scholar 

  13. Conesa, J., Olivé, A.: A Method for Pruning Ontologies in the Development of Conceptual Schemas of Information Systems. J. Data Semantics V, 64–90 (2006)

    Google Scholar 

  14. Conesa, J., Olive, A.: Pruning Ontologies in the Development of Conceptual Schemas of Information Systems. In: Atzeni, P., Chu, W., Lu, H., Zhou, S., Ling, T.-W. (eds.) ER 2004. LNCS, vol. 3288, pp. 122–135. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  15. Gangemi, A., Pisanelli, D.M., Steve, G.: An Overview of the ONIONS Project: Applying Ontologies to the Integration of Medical Terminologies. Data Knowl. Eng. 31(2), 183–220 (1999)

    Article  MATH  Google Scholar 

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

    Chapter  Google Scholar 

  17. Grau, B.C., Parsia, B., Sirin, E., Kalyanpur, A.: Modularity and Web Ontologies. In: KR 2006, pp. 198–209 (2006)

    Google Scholar 

  18. Grau, B.C., Horrocks, I., Kazakov, Y., Sattler, U.: A Logical Framework for Modularity of Ontologies. In: IJCAI 2007, pp. 298–303 (2007)

    Google Scholar 

  19. Grau, B.C., Horrocks, I., Kazakov, Y., Sattler, U.: Just the Right Amount: Extracting Modules from Ontologies. In: WWW 2007, pp. 717–726 (2007)

    Google Scholar 

  20. Grau, B.C., Horrocks, I., Kazakov, Y., Sattler, U.: Modular Reuse of Ontologies: Theory and Practice. JAIR 31, 273–318 (2008)

    MathSciNet  MATH  Google Scholar 

  21. Fikes, R., Farquhar, A., Rice, J.: Tools for Assembling Modular Ontologies in Ontolingua. In: AAAI/IAAI 1997, pp. 436–441 (1997)

    Google Scholar 

  22. Guha, R.V., Lenat, D.B.: Enabling Agents to Work Together. CACM 37(7), 126–142 (1994)

    Article  Google Scholar 

  23. Gangemi, A., Guarino, N., Masolo, C., Oltramari, A., Schneider, L.: Sweetening Ontologies with DOLCE. In: Gómez-Pérez, A., Benjamins, V.R. (eds.) EKAW 2002. LNCS, vol. 2473, pp. 166–181. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  24. Herzig, A., Varzinczak, I.J.: A Modularity Approach for a Fragment of ALC. In: Fisher, M., van der Hoek, W., Konev, B., Lisitsa, A. (eds.) JELIA 2006. LNCS, vol. 4160, pp. 216–228. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  25. Kutz, O., Lutz, C., Wolter, F., Zakharyaschev, M.: E-connections of abstract description systems. Artif. Intell. 156(1), 1–73 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  26. McGuinness, D.L., Borgida, A.: Explaining Subsumption in Description Logics. In: IJCAI 1995, pp. 816–821 (1995)

    Google Scholar 

  27. Navigli, R.: Extending, Pruning and Trimming General Purpose Ontologies. In: IEEE SMC 2002 (2002)

    Google Scholar 

  28. Peterson, B.J., Andersen, W.A., Engel, J.: Knowledge Bus: Generating Application-focused Databases from Large Ontologies. In: KRDB 1998, pp. 2.1–2.10 (1998)

    Google Scholar 

  29. Seidenberg, J., Rector, A.L.: Web ontology segmentation: analysis, classification and use. In: WWW 2006, pp. 13–22 (2006)

    Google Scholar 

  30. Serafini, L., Borgida, A., Tamilin, A.: Aspects of Distributed and Modular Ontology Reasoning. In: IJCAI 2005, pp. 570–575 (2005)

    Google Scholar 

  31. Stuckenschmidt, H., Klein, M.C.A.: Integrity and Change in Modular Ontologies. In: IJCAI 2003, pp. 900–908 (2003)

    Google Scholar 

  32. Swartout, W.R., Tatil, R., Knight, K., Russ, T.: Toward Distributed use of Large-Scale Ontologies. In: KAW 1996 (1996)

    Google Scholar 

  33. Wouters, C., Dillon, T.S., Rahayu, J.W., Chang, E.: A Practical Walkthrough of the Ontology Derivation Rules. In: Hameurlain, A., Cicchetti, R., Traunmüller, R. (eds.) DEXA 2002. LNCS, vol. 2453, pp. 259–268. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Borgida, A. (2009). On Importing Knowledge from Ontologies.. 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_5

Download citation

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

  • 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