OntoMorph: A Translation System for Symbolic Knowledge

Overview

Motivation

Some Opinions

The Translation Problem

Translation Dimensions

Example: Syntax Differences

Example: Model Differences

Traditional Translation Methods

Need: Translation Tool

Solution: OntoMorph

OntoMorph Rewrite Engine

Pattern Language

Pattern Language, cont.

Example Pattern

Basic Operation

Basic Operation

Basic Operation

Named Rule Sets and Recursion

Rewrite Rule Example

Rewrite Rule Example: Turing Machine

Semantic Rewriting

Two-Pass Translation Scheme

Rewriting Non-Lisp-Style Expressions

OntoMorph Application: Input Translation for COA Critiquer

Input Translation for COA Critiquer

Fusion Output to EXPECT: Translation Issues

Fusion Output to EXPECT: Translation Issues cont.

Fusion Output to EXPECT: Translation Issues cont.

Fusion Output to EXPECT: Translation Issues cont.

Fusion Output to EXPECT: Translation Issues cont.

Fusion Output to EXPECT: Summary

Translation between Distributed Heterogeneous Agents

Rosetta Translation Service

Rosetta Translation Service

ForMAT to Prodigy Translation via Rosetta

Using Rosetta with CoABS TIE 1: Ontology-Based Transformations

Conclusion