Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Implementing a knowledge-based library information system with typed horn logic
Ist Teil von
Information processing & management, 1990, Vol.26 (2), p.249-268
Ort / Verlag
Oxford: Elsevier Ltd
Erscheinungsjahr
1990
Link zum Volltext
Quelle
ScienceDirect
Beschreibungen/Notizen
This article discusses the implementation of a knowledge base for a library information system. The system was conceived using a typed logic programming language — LOGIN — where type inheritance is built in. The knowledge base is structured in a hierarchical taxonomy of library object classes where each class is represented in a frame style knowledge structure and inherits the properties of its parents, and where infrastructural inference rules have been established through typed Horn clauses. Also in this document, some programming techniques aimed at using the power of inheritance as taxonomic inference are discussed.