MPI-I-91-216
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.pdf
- Attachement: MPI-I-91-216.dvi (378 KBytes); MPI-I-91-216.pdf (365 KBytes)
URL to this document: https://domino.mpi-inf.mpg.de/internet/reports.nsf/NumberView/1991-216
BibTeX
@TECHREPORT{Schmidt91,
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},
}