Ontology Translation on the Semantic Web

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

[1]  Drew McDermott,et al.  Overcoming Ontology Mismatches in Transactions with Self-Describing Service Agents , 2001, SWWS.

[2]  Pedro M. Domingos,et al.  Learning to map between ontologies on the semantic web , 2002, WWW '02.

[3]  Ramanathan V. Guha,et al.  Building large knowledge-based systems , 1989 .

[4]  Deborah L. McGuinness,et al.  An Environment for Merging and Testing Large Ontologies , 2000, KR.

[5]  Francesco Ricci,et al.  Harmonise: A Solution for Data Interoperability , 2002, I3E.

[6]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

[7]  S. Sudarshan,et al.  Database System Concepts, 4th Edition , 2001 .

[8]  Ian Horrocks,et al.  Description logic programs: combining logic programs with description logic , 2003, WWW '03.

[9]  Richard Fikes,et al.  A declarative formalization of knowledge translation , 1995, CIKM '95.

[10]  Jerry R. Hobbs,et al.  DAML-S: Web Service Description for the Semantic Web , 2002, SEMWEB.

[11]  Pedro M. Domingos,et al.  Representing and reasoning about mappings between domain models , 2002, AAAI/IAAI.

[12]  Diego Calvanese,et al.  The Description Logic Handbook , 2007 .

[13]  Luciano Serafini,et al.  An algorithm for matching contextualized schemas via SAT , 2003 .

[14]  Larry Wos,et al.  The Automation of Reasoning: An Experimenter's Notebook with Otter Tutorial , 1996 .

[15]  Craig A. Knoblock,et al.  Query reformulation for dynamic information integration , 1996, Journal of Intelligent Information Systems.

[16]  Drew McDermott,et al.  Representing Disjunction and Quantifiers in RDF , 2002, SEMWEB.

[17]  Karl Aberer,et al.  The chatty web: emergent semantics through gossiping , 2003, WWW '03.

[18]  Martin L. Kersten,et al.  A Graph-Oriented Model for Articulation of Ontology Interdependencies , 1999, EDBT.

[19]  Jeff Heflin,et al.  Searching the Web with SHOE , 2000 .

[20]  HalevyAlon,et al.  MiniCon: A scalable algorithm for answering queries using views , 2001, VLDB 2001.

[21]  Hans Chalupsky,et al.  OntoMorph: A Translation System for Symbolic Knowledge , 2000, KR.

[22]  Mark A. Musen,et al.  PROMPT: Algorithm and Tool for Automated Ontology Merging and Alignment , 2000, AAAI/IAAI.

[23]  Vipul Kashyap,et al.  Observer: an approach for query processing in global information systems based on interoperation across pre-existing ontologies , 1996, Proceedings First IFCIS International Conference on Cooperative Information Systems.

[24]  Michael R. Genesereth,et al.  Infomaster: an information integration system , 1997, SIGMOD '97.

[25]  Dejing Dou,et al.  Ontology translation by ontology merging and automated reasoning , 2004 .

[26]  Boris Motik,et al.  MAFRA - A MApping FRAmework for Distributed Ontologies , 2002, EKAW.

[27]  K. Selçuk Candan,et al.  Query caching and optimization in distributed mediator systems , 1996, SIGMOD '96.

[28]  Peishen Qi,et al.  Ontology Translation on the Semantic Web , 2003, OTM.