DFKI Document-95-04

[Back]

D-95-04



Sprache: Deutsch

by Victoria Hall

Integration von Sorten als ausgezeichnete taxonomische Prädikate in eine relational-funktionale Sprache

56 Seiten

Zusammenfassung

In deklarativen Sprachen wie RELFUN kann man Sorten nach dem Muster endlicher Domänen als First-Class Citizens einfhren; das bedeutet, Sorten werden in die Sprache in natürlicher Weise als vollwertige Objekte integriert, indem man sie weitgehend wie gewöhnliche Terme behandelt. Man kann sie z.B. an logische Variablen binden und als Funktionswert zurückgeben.

Auf die möglichen Anforderungen an die Ordnung, die die Taxonomie beschreibt, und an die Interpretation der Sorten wird kurz eingegangen. Anschließend werden die beiden Modelle mit dynamischer GLB-Berechnung vorgestellt. Modell_1 benutzt ein second-order Prädikat, subsumes, und Modell_2 verwendet Partitionierung zur Abgrenzung des Sortenwissens vom Behauptungswissen. Modell_3 ist eine Modifikation des zweiten Modells. Es benutzt eine effizientere statische GLB-Berechnung. Es wird ein realistisches Beispiel aus dem Bereich recyclingrelevanter Materialien, RTPLAST, gezeigt.

Abstract

Sorts are incorporated into RELFUN as distinguished unary predicates usable as first-class citizens. Inheritance is integrated into the unification process via a taxonomy defined by a partial-order relation on the sorts. Sort knowledge describes which individuals belong to a sort (ABOX) and which order dependencies exist between the sorts (TBOX). This special knowledge should be recognizable as such. The seperation can be reached by a special (second-order) predicate subsumes or by partitioning the knowledge base. Focusing on partitioning, we can choose a dynamic (run-time) or static (compile-time) model for the unification involving sorted terms. In the static model a precompiler generates an internal structure representing the reflexive-transitive sort closure and the defined individuals of each sort. Using this structure, unification is reduced to list intersection (sort-sort unification, succeeding with the glb) or a membership test (sort-individual unification). It also provides elementary validation operations for taxonomy acylicity, unique glb's, and the equivalence of intensional (TBOX) and extensional (ABOX) glb's.

This document is available as PDF-File

The next abstract is here, and the previous abstract is here.

DFKI-Bibliothek (bib@dfki.uni-kl.de)

Note: This page was written to look best with CSS stylesheet support Level 1 or higher. Since you can see this, your browser obviously doesn't support CSS, or you have turned it off. We highly recommend you use a browser that supports and uses CSS, and review this page once you do. However, don't fear, we've tried to write this page to still work and be readable without CSS.