Was King Arthur a King by Definition?

Subtitle: Methodological Reflections on Knowledge Representation in a Historic Domain

Article type: Research Article

Authors: Spinelli, G. | Gaglio, S. | Costa, M. | Frixione, M. | Traversa, M. | Zolezzi, M.

Affiliations: Department of Communications, Computer and Systems Science (DIST), University of Genoa, Italy | Department of Electrical Engineering, University of Palermo, Italy | Institute of Philosophy, University of Genoa, Italy

Abstract: Current research in knowledge representation distinguishes between descriptional and assertional interpretations of semantic nets. This paper explores theoretical and applicative problems, which arise from that distinction in a historic domain. A prolog implementation of KL-ONE is used as a vehicle to compare the various alternatives available to represent knowledge related to single elements of the domain (insertion or not of this knowledge in semantic nets in their descriptional sense). The final section of the paper discusses the problem in relation to the theories concerning the functioning of proper names from a logical and philosophical point of view.

DOI: 10.3233/AIC-1988-1106

Journal: AI Communications, vol. 1, no. 1, pp. 32-41, 1988