Abstract
Ontologies as means for formally specifying the vocabulary and relationship of concepts are seen playing a key role on the Semantic Web. However, the Web’s distributed nature makes ontology translation one of the most difficult problems that web-based agents must cope with when they share information. Ontology translation is required when translating datasets, generating ontology extensions and querying through different ontologies. OntoMerge, an online system by ontology merging and automated reasoning, can implement ontology translation with inputs and outputs in DAML+OIL or other web languages. The merge of two related ontologies is obtained by taking the union of the concepts and the axioms defining them. We add bridging axioms not only as “bridges” between concepts in two related ontologies but also to make this merge into a new ontology for further merging with other ontologies. Our uniform internal representation, Web-PDDL, is a strong typed first-order logic language for web application, used to separate ontology translation into syntactic translation and semantic translation. Syntactic translation is done by an automatic translator between Web-PDDL and DAML+OIL 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 DARPA as DAML program.
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://www.cs.yale.edu/homes/dvm/daml/ontologies/daml/yalebib.daml
http://orlando.drc.com/daml/Ontology/Genealogy/3.1/Gentology-ont.daml
http://www.cs.yale.edu/homes/dvm/daml/pddl_daml_translator.html
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)
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)
Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web. Scientific American 284(5), 34–43 (2001)
Boley, H., Grosof, B., Sintek, M., Tabet, S., Wagner, G.: RuleML Design (September 2002), http://www.dfki.uni-kl.de/ruleml/indesign.html
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)
Doan, A., Madhavan, J., Domingos, P., Halevy, A.: Learning to map between ontologieson 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 EKAW 2002 Workshop on Ontologies for Multi-Agent Systems (2002), Available at http://cs-www.cs.yale.edu/homes/dvm/papers/DouMcDermottQi02.ps
Genesereth, M.R., Keller, A., Duschka, O.: Infomaster: An information integration system. In: Proc 1997 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 programswith 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)
Madhavan, J., Bernstein, P.A., Domingos, P., Halevy, A.: Representing and Reasoning about Mappings between Domain Models. In: Proc. AAAI 2002 (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)
Mitra, P., Wiederhold, G., Kersten, M.: A graph-oriented model for articulation of ontology interdependencies. In: Zaniolo, C., Grust, T., Scholl, M.H., Lockemann, P.C. (eds.) EDBT 2000. LNCS, vol. 1777, p. 86. Springer, Heidelberg (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)
Russell, S., Norvig, P.: Artificial Intelligence: A Modern Approach. Prentice-Hall, Inc, Englewood Cliffs (1995)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dou, D., McDermott, D., Qi, P. (2003). Ontology Translation on the Semantic Web. In: Meersman, R., Tari, Z., Schmidt, D.C. (eds) On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE. OTM 2003. Lecture Notes in Computer Science, vol 2888. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39964-3_60
Download citation
DOI: https://doi.org/10.1007/978-3-540-39964-3_60
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20498-5
Online ISBN: 978-3-540-39964-3
eBook Packages: Springer Book Archive