Skip to main content

Ontology Translation on the Semantic Web

  • Chapter
Journal on Data Semantics II

Part of the book series: Lecture Notes in Computer Science ((JODS,volume 3360))

Abstract

Ontologies are a crucial tool for formally specifying the vocabulary and relationship of concepts used on the Semantic Web. In order to share information, agents that use different vocabularies must be able to translate data from one ontological framework to another. Ontology translation is required when translating datasets, generating ontology extensions, and querying through different ontologies. OntoMerge, an online system for ontology merging and automated reasoning, can implement ontology translation with inputs and outputs in OWL or other web languages. Ontology translation can be thought of in terms of formal inference in a merged ontology. The merge of two related ontologies is obtained by taking the union of the concepts and the axioms defining them, and then adding bridging axioms that relate their concepts. The resulting merged ontology then serves as an inferential medium within which translation can occur. Our internal representation, Web-PDDL, is a strong typed first-order logic language for web application. Using a uniform notation for all problems allows us to factor out syntactic and semantic translation problems, and focus on the latter. Syntactic translation is done by an automatic translator between Web-PDDL and OWL or other web languages. Semantic translation is implemented using an inference engine (OntoEngine) which processes assertions and queries in Web-PDDL syntax, running in either a data-driven (forward chaining) or demand-driven (backward chaining) way.

This research was supported by the DARPA DAML program. This is an extended version of the paper presented in ODBASE2003 [29].

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

Access this chapter

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. http://www.daml.org/2001/10/html/airport-ont.daml

  2. http://www.daml.org/2001/01/gedcom/gedcom.daml

  3. http://www.daml.ri.cmu.edu/ont/homework/atlas-publications.daml

  4. http://www.daml.org/ontologies/

  5. http://www.daml.org/services/

  6. http://www.ai.sri.com/daml/ontologies/time/Time.daml

  7. http://www.daml.org/2003/04/dql/

  8. http://orlando.drc.com/daml/Ontology/Genealogy/3.1/Gentology-ont.daml

  9. http://www.daml.org/2002/04/geonames/geonames-ont.daml

  10. http://www.daml.org/2001/06/map/map-ont.daml

  11. http://opencyc.sourceforge.net/daml/cyc.daml

  12. http://www.w3.org/TR/webont-req/

  13. http://www.daml.org/2003/11/swrl/

  14. http://www.cs.yale.edu/homes/dvm/daml/pddldamltranslator.html

  15. http://www.w3c.org/TR/wsdl

  16. http://schemas.xmlsoap.org/wsdl/

  17. http://www.w3.org/TR/REC-xml-names/

  18. http://www.cs.yale.edu/homes/dvm/daml/ontologies/daml/yalebib.daml

  19. Aberer, K., Cudré-Mauroux, P., Hauswirth, M.: The chatty web: emergent semantics through gossiping. In: Proc. International World Wide Web Conference (2003)

    Google Scholar 

  20. Adali, S., Candan, K., Papakonstantinou, Y., Subrahmanian, V.: Query Caching and Optimization in Distributed Mediator Systems. In: Proc. ACM SIGMOD Conf. on Management of Data, pp. 137–148 (1996)

    Google Scholar 

  21. Arens, Y., Knoblock, C.A., Shen, W.-M.: Query reformulation for dynamic information integration. J. Intelligent Information Systems — Special Issue on Intelligent Information Integration 6(2/3), 99–130

    Google Scholar 

  22. Ankolekar, D.-S.C.A., Burstein, M., Hobbs, J.R., Lassila, O., Martin, D., Mc-Dermott, D., McIlraith, S.A., Narayanan, S., Paolucci, M., Payne, T., Sycara, K.: Daml-s: Web service description for the semantic web. In: Proceedings of International Semantic Web Conference 2002, pp. 348–363 (2002)

    Google Scholar 

  23. Baader, F., McGuinness, D., Nardi, D., Schneider, P.P.: The Description Logic Handbook. Cambridge University Press, Cambridge (2002)

    Google Scholar 

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

    Article  Google Scholar 

  25. Chalupsky, H.: OntoMorph: A translation system for symbolic logic. In: Proc. Int’l. Con. on Principles of Knowledge Representation and Reasoning, pp. 471–482. Morgan Kaufmann, San Francisco (2000)

    Google Scholar 

  26. Dell’Erba, M., Fodor, O., Ricci, F., Werthner, H.: Harmonise: A Solution for Data Interoperability. In: I3E (2002)

    Google Scholar 

  27. Doan, A., Madhavan, J., Domingos, P., Halevy, A.: Learning to map between ontologies on the semantic web. In: Proceedings of the World-Wide Web Conference, WWW-2002 (2002)

    Google Scholar 

  28. Dou, D., McDermott, D., Qi, P.: Ontology Transaltion by Ontology Merging and Automated Reasoning. In: Proceedings of EKAW02 Workshop on Ontologies for Multi-Agent Systems (2002) (available at), http://cswww.cs.yale.edu/homes/dvm/papers/DouMcDermottQi02.ps

  29. Dou, D., McDermott, D., Qi, P.: Ontology Translation on the Semantic Web. In: Proceedings of International Conference on Ontologies, Databases and Application of SEmantics (ODBASE) 2003, pp. 952–969 (2003)

    Google Scholar 

  30. Genesereth, M.R., Keller, A., Duschka, O.: Infomaster: An information integration system. In: Proc 97 ACM SIGMOD International Conference on Management of Data, pp. 539–542 (1997)

    Google Scholar 

  31. Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description logic programs: Combining logic programs with description logic. In: Proc. International World Wide Web Conference (2003)

    Google Scholar 

  32. Gruber, T.: Ontolingua: A Translation Approach to Providing Portable Ontology Specifications. Knowledge Acquisition 5(2), 199–200 (1993)

    Article  Google Scholar 

  33. Heflin, J., Hendler, J.: Searching the web with SHOE. In: Artificial Intelligence for Web Search. Papers from the AAAI Workshop. WS-00-01, pp. 35–40. AAAI Press, Menlo Park (2000)

    Google Scholar 

  34. Lenat, D.B., Guha, R.V.: Building Large Knowledge-Based Systems. Addison-Wesley, Reading (1990)

    Google Scholar 

  35. Madhavan, J., Bernstein, P.A., Domingos, P., Halevy, A.: Representing and Reasoning about Mappings between Domain Models. In: Proc. AAAI (2002)

    Google Scholar 

  36. Maedche, A., Motik, B., Silva, N., Volz, R.: MAFRA - A Mapping Framework for Distributed Ontologies. In: Proceedings of the 13th International Conference, EKAW (2002)

    Google Scholar 

  37. McDermott, D.: The Planning Domain Definition Language Manual. Technical Report 1165, Yale Computer Science (CVC Report 98-003) (1998)

    Google Scholar 

  38. McDermott, D., Burstein, M., Smith, D.: Overcoming ontology mismatches in transactions with self-describing agents. In: Proc. Semantic Web Working Symposium, pp. 285–302 (2001)

    Google Scholar 

  39. McDermott, D., Dou, D.: Representing Disjunction and Quantifiers in Rdf. In: Proceedings of International Semantic Web Conference 2002, pp. 250–263 (2002)

    Google Scholar 

  40. McGuinness, D.L., Fikes, R., Rice, J., Wilder, S.: An Environment for Merging and Testing Large Ontologies. In: Proceedings of the Seventh International Conference on Principles of Knowledge Representation and Reasoning, KR2000 (2000)

    Google Scholar 

  41. Mena, E., Illarramandi, A., Kashyap, V., Sheth, A.: OBSERVER: An approach for query processing in global information systems based on interoperation across pre-existing ontologies. In: Int. J. Distributed and Parallel Database (DAPD), vol. 8(2), pp. 223–271.

    Google Scholar 

  42. Mitra, P., Wiederhold, G., Kersten, M.: A graph-oriented model for articulation of ontology interdependencies. In: Proceedings of Conference on Extending Database Technology, EDBT 2000 (2000)

    Google Scholar 

  43. Noy, N.F., Musen, M.A.: Prompt: Algorithm and tool for automated ontology merging and alignment. In: Proceedings of the Seventeenth National Conference on Artificial Intelligence, AAAI-2000 (2000)

    Google Scholar 

  44. Pottinger, R., Levy, A.: A scalable algorithm for answering queries using views. In: Proceedings of the 26th VLDB Conference (2000)

    Google Scholar 

  45. Russell, S., Norvig, P.: Artificial Intelligence: A Modern Approach. Prentice-Hall, Inc., Englewood Cliffs (1995)

    MATH  Google Scholar 

  46. Serafini, L., Bouquet, P., Magnini, B., Zanobini, S.: An algorithm for matching contextualized schemas via sat. In: Proceedings of CONTEXT (2003)

    Google Scholar 

  47. Silberschatz, A., Korth, H.F., Sudarshan, S.: Database System Concepts, 4th edn. McGraw-Hill Companies, New York (2001)

    Google Scholar 

  48. Wos, L.: The Automation of Reasoning: An Experimenter’s Notebook with Otter Tutorial. Academic Press, London (1996)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Dou, D., McDermott, D., Qi, P. (2005). Ontology Translation on the Semantic Web. In: Spaccapietra, S., et al. Journal on Data Semantics II. Lecture Notes in Computer Science, vol 3360. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30567-5_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-30567-5_2

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-24208-6

  • Online ISBN: 978-3-540-30567-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics