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].
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
http://www.daml.ri.cmu.edu/ont/homework/atlas-publications.daml
http://orlando.drc.com/daml/Ontology/Genealogy/3.1/Gentology-ont.daml
http://www.cs.yale.edu/homes/dvm/daml/pddldamltranslator.html
http://www.cs.yale.edu/homes/dvm/daml/ontologies/daml/yalebib.daml
Aberer, K., Cudré-Mauroux, P., Hauswirth, M.: The chatty web: emergent semantics through gossiping. In: Proc. International World Wide Web Conference (2003)
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)
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
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)
Baader, F., McGuinness, D., Nardi, D., Schneider, P.P.: The Description Logic Handbook. Cambridge University Press, Cambridge (2002)
Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web. Scientific American 284(5), 34–43 (2001)
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)
Dell’Erba, M., Fodor, O., Ricci, F., Werthner, H.: Harmonise: A Solution for Data Interoperability. In: I3E (2002)
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)
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
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)
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)
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)
Gruber, T.: Ontolingua: A Translation Approach to Providing Portable Ontology Specifications. Knowledge Acquisition 5(2), 199–200 (1993)
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)
Lenat, D.B., Guha, R.V.: Building Large Knowledge-Based Systems. Addison-Wesley, Reading (1990)
Madhavan, J., Bernstein, P.A., Domingos, P., Halevy, A.: Representing and Reasoning about Mappings between Domain Models. In: Proc. AAAI (2002)
Maedche, A., Motik, B., Silva, N., Volz, R.: MAFRA - A Mapping Framework for Distributed Ontologies. In: Proceedings of the 13th International Conference, EKAW (2002)
McDermott, D.: The Planning Domain Definition Language Manual. Technical Report 1165, Yale Computer Science (CVC Report 98-003) (1998)
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)
McDermott, D., Dou, D.: Representing Disjunction and Quantifiers in Rdf. In: Proceedings of International Semantic Web Conference 2002, pp. 250–263 (2002)
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)
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.
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)
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)
Pottinger, R., Levy, A.: A scalable algorithm for answering queries using views. In: Proceedings of the 26th VLDB Conference (2000)
Russell, S., Norvig, P.: Artificial Intelligence: A Modern Approach. Prentice-Hall, Inc., Englewood Cliffs (1995)
Serafini, L., Bouquet, P., Magnini, B., Zanobini, S.: An algorithm for matching contextualized schemas via sat. In: Proceedings of CONTEXT (2003)
Silberschatz, A., Korth, H.F., Sudarshan, S.: Database System Concepts, 4th edn. McGraw-Hill Companies, New York (2001)
Wos, L.: The Automation of Reasoning: An Experimenter’s Notebook with Otter Tutorial. Academic Press, London (1996)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)