Please use this identifier to cite or link to this item: doi:10.22028/D291-25365
Title: Integration von Sorten als ausgezeichnete taxonomische Prädikate in eine relational-funktionale Sprache
Author(s): Hall, Victoria
Language: German
Year of Publication: 1995
SWD key words: Künstliche Intelligenz
Free key words: artificial intelligence
DDC notations: 004 Computer science, internet
Publikation type: Report
Abstract: Sorts are incorperated 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 separation 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 refiexive-transitive sort closure and the defined individuals of each sort. Using this structure, unification is reduced to list intersectiom (sort-sort unification, succeeding with the glb) 01' 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 exensional (ABOX) glb's.
Link to this record: urn:nbn:de:bsz:291-scidok-55668
Series name: Document / Deutsches Forschungszentrum für Künstliche Intelligenz : D [ISSN 0946-0098]
Series volume: 95-04
Date of registration: 28-Nov-2013
Faculty: SE - Sonstige Einrichtungen
Department: SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz
Collections:SciDok - Der Wissenschaftsserver der Universität des Saarlandes

Files for this record:
File Description SizeFormat 
D_95_04.pdf22,38 MBAdobe PDFView/Open

Items in SciDok are protected by copyright, with all rights reserved, unless otherwise indicated.