ACM SIGMOD Anthology ACM SIGMOD dblp.uni-trier.de

A Declarative Formalization of Knowledge Translation.

Sasa Buvac, Richard Fikes: A Declarative Formalization of Knowledge Translation. CIKM 1995: 340-347
@inproceedings{DBLP:conf/cikm/BuvacF95,
  author    = {Sasa Buvac and
               Richard Fikes},
  title     = {A Declarative Formalization of Knowledge Translation},
  booktitle = {CIKM '95, Proceedings of the 1995 International Conference on
               Information and Knowledge Management, November 28 - December
               2, 1995, Baltimore, Maryland, USA},
  publisher = {ACM},
  year      = {1995},
  pages     = {340-347},
  ee        = {db/conf/cikm/BuvacF95.html, http://doi.acm.org/10.1145/221270.221610},
  crossref  = {DBLP:conf/cikm/95},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX

Abstract

We describe an interlingua-based methodology for translating encoded knowledge and present a formalism for declaratively specifying vocabulary translations within a predicate logic interlingua. In this paper we (1) use the formalism to provide a semantics for translation, (2) show that the formalism enables translation to be done as deduction by a standard theorem prover, (3) describe a proof technique for determining whether a given set of rules for translating from one vocabulary to another is sufficient for performing that translation for any theory, (4) provide examples of how the formalism can be used to specify various forms of translation, including abstractions and approximations, and (5) describe tech-niques for precompiling translation rules that translate directly between two given vocabularies.

Copyright © 1995 by the ACM, Inc., used by permission. Permission to make digital or hard copies is granted provided that copies are not made or distributed for profit or direct commercial advantage, and that copies show this notice on the first page or initial screen of a display along with the full citation.

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 2 Issue 4, CIKM, DOLAP, GIS, SIGFIDET, ..." and ... DVD Version: Load ACM SIGMOD Anthology DVD 1" and ... BibTeX

Printed Edition

CIKM '95, Proceedings of the 1995 International Conference on Information and Knowledge Management, November 28 - December 2, 1995, Baltimore, Maryland, USA. ACM 1995
Contents BibTeX

Online Edition

Citation Page BibTeX

References

[1]
Giuseppe Attardi, Maria Simi: A Formalization of Viewpoints. Fundam. Inform. 23(2/3/4): 149-173(1995) BibTeX
[2]
Sasa Buvac, Vanja Buvac, Ian A. Mason: Metamathematics of Contexts. Fundam. Inform. 23(2/3/4): 263-301(1995) BibTeX
[3]
...
[4]
Sasa Buvac, Ian A. Mason: Propositional Logic of Context. AAAI 1993: 412-419 BibTeX
[5]
...
[6]
...
[7]
Thomas R. Gruber, Gregory R. Olsen: An Ontology for Engineering Mathematics. KR 1994: 258-269 BibTeX
[8]
...
[9]
John McCarthy: Notes on Formalizing Context. IJCAI 1993: 555-562 BibTeX
[10]
...
[11]
Ramesh S. Patil, Richard Fikes, Peter F. Patel-Schneider, Donald P. McKay, Timothy W. Finin, Thomas R. Gruber, Robert Neches: The DARPA Knowledge Sharing Effort: A Progress Report. KR 1992: 777-788 BibTeX
[12]
Jeffrey Van Baalen, Richard Fikes: The Role of Reversible Grammars in Translating Between Representation Languages. KR 1994: 562-571 BibTeX

Referenced by

  1. Ashish Mehta, James Geller, Yehoshua Perl, Erich J. Neuhold: The OODB Path-Method Generator (PMG) Using Access Weights and Precomputed Access Relevance. VLDB J. 7(1): 25-47(1998)
BibTeX
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
CIKM 1995 Proceedings, ACM SIGMOD Anthology: Copyright © by ACM (info@acm.org), Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sat May 16 23:01:50 2009