MPI-INF/SWS Research Reports 1991-2021

2. Number - All Departments


Algebraic terminological representation

Schmidt, Renate A.

September 1991, 113 pages.

Status: available - back from printing

This thesis investigates terminological representation languages, as used in \klone -type knowledge representation systems, from an algebraic point of view. Terminological representation languages are based on two primitive syntactic types, called concepts and roles, which are usually interpreted model-theoretically as sets and relations, respectively. I propose an algebraic rather than a model-theoretic approach. I show that terminological representations can be naturally accommodated in equational algebras of sets interacting with relations, and I use equational logic as a vehicle for reasoning about concepts interacting with roles.

  • MPI-I-91-216.pdfMPI-I-91-216.pdfMPI-I-91-216.dvi
  • Attachement: MPI-I-91-216.dvi (378 KBytes); MPI-I-91-216.pdf (365 KBytes)

URL to this document:

Hide details for BibTeXBibTeX
  AUTHOR = {Schmidt, Renate A.},
  TITLE = {Algebraic terminological representation},
  TYPE = {Research Report},
  INSTITUTION = {Max-Planck-Institut f{\"u}r Informatik},
  ADDRESS = {Im Stadtwald, D-66123 Saarbr{\"u}cken, Germany},
  NUMBER = {MPI-I-91-216},
  MONTH = {September},
  YEAR = {1991},
  ISSN = {0946-011X},