Abstract.
Ontology translation is one of the most difficult problems that web-based agents must cope with. An ontology is a formal specification of a vocabulary, including axioms relating its terms. Ontology translation is best thought of in terms of ontology merging. The merge of two related ontologies is obtained by taking the union of the terms and the axioms defining them. We add bridging axioms not only as “bridges” between terms in two related ontologies but also to make this merge into a complete new ontology for further merging with other ontologies. Translation is implemented using an inference engine (OntoEngine), running in either a demand-driven (backward-chaining) or data-driven (forward chaining) mode. We illustrate our method by describing its application in an online ontology translation system, OntoMerge, which translates a dataset in the DAML notation to a new DAML dataset that captures the same information, but in a different ontology. A uniform internal representation, Web-PDDL is used for representing merged ontologies and datasets for automated reasoning.
This is a preview of subscription content, log in via an institution to check access.
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.w3c.org/TR./wsdl
http://www.daml.org
http://www.w3.org/TR./owl-guide
http://www.cs.yale.edu/homes/dvm/daml/ontologies/daml/yale_bib.daml
http://www.daml.ri.cmu.edu/ont/homework/atlas-publications.daml
http://cs-www.cs.yale.edu/homes/ddj/ontologies/yale_bib_ont.pddl
http://cs-www.cs.yale.edu/homes/ddj/ontologies/cmu_atlas_publications.pddl
http://cs-www.cs.yale.edu/homes/dvm/daml/ontologies/pddl/cmu_yale_bib_merge.pddl
http://jena.sourceforge.net/tutorial/RDF_API/index.html
http://www.ksl.stanford.edu/software/JTP
http://cs-www.cs.yale.edu/homes/dvm/daml/ontology-translation.html
http://cs-www.cs.yale.edu/homes/dvm/daml/pddl_daml_translator.html
http://www.daml.org/2002/04/geonames/geonames-ont.daml
http://www.daml.org/2001/10/html/airport-ont.daml
http://www.daml.org/2001/06/map/map-ont.daml
http://www.daml.org/2001/01/gedcom/gedcom.daml
http://orlando.drc.com/daml/Ontology/Genealogy/3.1/Gentology-ont.daml
S. Adali, K. Candan, Y. Papakonstantinou, and V. S. Subrahmanian. Query caching and optimization in distributed mediator systems. In Proc. ACM SIGMOD Conf. on Management of Data, pages 137–148, 1996.
F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. Patel-Schneider. The Description Logic Handbook; Theory, Implementation, and Applications. Cambridge University Press, 2003.
F. Baader and W. Nutt. Basic description logics. In F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. Patel-Schneider, editors, The Description Logic Handbook; Theory, Implementation, and Applications, pages 43–95. Cambridge University Press, 2003.
D. Beneventano, S. Bergamaschi, F. Guerra, and M. Vincini. The MOMIS approach to information integration. In ICEIS (1), pages 194–198, 2001.
S. Buvac and R. Fikes. A declarative formalization of knowledge translation. In Proceedings of the ACM CIKM: The 4th International Conference on Information and Knowledge Management, 1995.
H. Chalupsky. Ontomorph: A translation system for symbolic logic. In Proc. Int’l. Con. on Principles of Knowledge Representation and Reasoning, pages 471–482, 2000. San Francisco: Morgan Kaufmann.
A. Doan, J. Madhavan, P. Domingos, and A. Halevy. Learning to map between ontologies on the semantic web. In Proceedings of the World-Wide Web Conference (WWW-2002), 2002.
D. Dou, D. McDermott, and P. Qi. Ontology translation on the semantic web. In Proc. Int’l Conf. on Ontologies, Databases and Applications of SEmantics (ODBASE) 2003, pages 952–969, 2003. LNCS 2888 Springer-Verlag.
C. Fellbaum, editor. WordNet: An Electronic Lexical Database. MIT Press, 1998.
Khun Lee Fung XSLT: Working with XML and HTML. Addison-Wesley 2001
M. R. Genesereth, A. M. Keller, and O. M. Duschka. Infomaster: an information integration system. In Proceedings of the ACM SIGMOD International Conference on Management of Data, pages 539–542, 1997.
T. Gruber. Ontolingua: A Translation Approach to Providing Portable Ontology Specifications. Knowledge Acquisition, 5(2):199–200, 1993.
P. Haase, J. Broekstra, A. Eberhart, and R. Volz. A comparison of rdf query languages. In Proceedings of the Third International Semantic Web Conference, Hiroshima, Japan, 2004., NOV 2004.
A. Y. Halevy. Answering queries using views: A survey. VLDB J, 10(4):270–294, 2001.
I. Horrocks and P. F. Patel-Schneider. FaCT and DLP. Lecture Notes in Computer Science, 1397:27, 1998.
J. Madhavan, P. A. Bernstein, P. Domingos, and A. Halevy. Representing and Reasoning about Mappings between Domain Models. In Proc. AAAI 2002, 2002.
J. Madhavan, P. A. Bernstein, and E. Rahm. Generic schema matching with cupid. In Proc. 27th Int. Conf. on Very Large Data Bases (VLDB).
A. Maedche, B. Motik, N. Silva, and R. Volz., mafra — a mapping framework for distributed ontologies. In Proceedings of EKAW2002, pages 235–250, 2002.
D. McDermott. The Planning Domain Definition Language Manual. Technical Report 1165, Yale Computer Science, 1998. (CVC Report 98-003) Available at ftp://ftp.cs.yale.edu/pub/mcdermott/software/pddl.tar.gz.
D. McDermott, M. Burstein, and D. Smith. Overcoming ontology mismatches in transactions with self-describing service agents. In Proc. Semantic Web Working Symposium, pages 285–302, 2001.
D. McDermott and D. Dou. Representing Disjunction and Quantifiers in RDF. In Proceedings of International semantic Web Conference 2002, pages 250–263, 2002.
D. McGuinness, R. Fikes, J. Rice, and S. Wilder. An Environment for Merging and Testing Large Ontologies. In Proceedings of the Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR2000), 2000.
N. F. Noy and M. A. Musen. Prompt: Algorithm and tool for automated ontology merging and alignment. Technical Report 2000-0831, Proc. AAAI 17 Also available as Stanford SMI, 2000.
S. Russell and P. Norvig. Artificial Intelligence: A Modern Approach (2nd edition). Prentice Hall, 2002.
L. Serafini, P. Bouquet, B. Magnini, and S. Zanobini. An algorithm for matching contextualized schemas via sat. In Proc. CONTEX’03S, 2003.
G. Stumme and A. Maedche. Ontology merging for federated ontologies on the semantic web. In Proceedings of the International Workshop for Foundations of Models for Information Integration (FMII-2001), September 2001.
Jeffrey D. Ullman Principles of Database and Knowledge-Base Systems, 1. New York: Computer Science Press. 1988a
Jeffrey D. Ullman Principles of Database and Knowledge-Base Systems. 2 New York: Computer Science Press 1988b
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Birkhäuser Verlag
About this paper
Cite this paper
Dou, D., McDermott, D., Qi, P. (2005). Ontology Translation by Ontology Merging and Automated Reasoning. In: Tamma, V., Cranefield, S., Finin, T.W., Willmott, S. (eds) Ontologies for Agents: Theory and Experiences. Whitestein Series in Software Agent Technologies. Birkhäuser Basel. https://doi.org/10.1007/3-7643-7361-X_4
Download citation
DOI: https://doi.org/10.1007/3-7643-7361-X_4
Publisher Name: Birkhäuser Basel
Print ISBN: 978-3-7643-7237-8
Online ISBN: 978-3-7643-7361-0
eBook Packages: Computer ScienceComputer Science (R0)