Abstract

A common problem during the life cycle of knowledge-based systems is that symbolically represented knowledge needs to be translated into some different form. Translation needs occur along a variety of dimensions, such as KR language syntax and expressivity, modeling conventions, representation paradigms, etc. As a tool to support the translation problem, we present the OntoMorph system. OntoMorph provides a powerful rule language to represent complex syntactic transformations, and it is fully integrated with the PowerLoom KR system to allow transformations based on any mixture of syntactic and semantic criteria. We describe OntoMorph's successful application as an input translator for a critiquing system and as the core of a translation service for agent communication. We further motivate how OntoMorph can be used to support knowledge base merging tasks.

Citations

1895	A Translation Approach to Portable Ontology Specifications - Gruber - 1993
747	Toward a general theory of action and time - Allen - 1984
205	An environment for merging and testing large ontologies - McGuinness, Fikes, et al. - 2000
171	a LargeScale Knowledge Base for Machine Translation - Knight, Luk - 1994
164	OKBC: A programmatic foundation for knowledge base interoperability - VK, Farquhar, et al. - 1998
117	Knowledge Interchange Format - Genesereth, Fikes - 1992
84	Combining and standardizing large-scale, practical ontologies for machine translation and other uses - Hovy - 1998
74	The SNePS family - Shapiro, Rapaport - 1992
66	The DARPA high-performance knowledge base project - Cohen, Schrag, et al. - 1998
60	Tools for assembling modular ontologies in ontolingua - Farquhar, Fikes, et al. - 1997
43	Building and (re)using an ontology of air campaign planning - Valente, Russ, et al. - 1999
18	CYC: a large scale investment in knowledge infrastructure - Lenat - 1993
13	PETSc users manual - Smith, Zhang - 2004
11	Controlling for unexpected goals when planning in a mixed-initiative setting - Cox, Veloso - 1997
11	Conceptual Graphs as a Universal Knowledge Representation - Sowa - 1992
9	Building a Large Knowledge Base from a Structured Source: The CIA World Fact Book. Knowledge Systems Laboratory - Frank, Farquhar, et al. - 1998
9	The LISP70 pattern matching system - Tesler, Enea, et al. - 1973
8	Integrating planning and learning - Veloso, Carbonell, et al. - 1995
4	Inside the LOOM description classi - MacGregor - 1991
2	Supporting translation among planning agents - Blythe, Gil, et al. - 2000
2	Knowledge Re in a Re Architecture - Gil - 1994
2	ForMAT - a Force Management and Analysis Tool - Mulvehill, Christey - 1995
1	Planning and learning by analogical reasoning, volume 886 of LNAI - Veloso - 1994