We investigate the consequences of adding unions and complements to attributive concept
descriptions employed in terminological knowledge representation languages. It is shown …

¦ § C@'G9 $ 6E8© k 4 2! k&P 8 3D5 m9 $36 UQ 6@'zR#"! o# 6 V" $'&1 D&© Q34 $ VG V&#"
E¢ $ 6E8" U% G0) efXxDiuh0rop r4© Q& § Ï"!# A 2" $9&# 6@¥ m9 $36 UQ 6@ 9z4 v D …

Computational tractability has been a major concern in the area of terminological knowledge
representation and reasoning. However, all analyses of the computational complexity of …

This paper studies feature-description languages that have been developed for use in
unification grammars, logic programming, and knowledge representation. The distinctive …

The virtues of viewing the lexicon as an inheritance network are its succinctness and its
tendency to highlight significant clusters of linguistic properties. From its succinctness follow …

Inheritance is an inference mechanism originally defined for semantic network formalisms. It
allows redundancy to be removed from the description of a domain by factoring out reusable …

A method of unifying edge data structures using a processor. The method begins with
creation of a first edge data structure and unifying it with a second edge data structure. If …

Abstract\Ve introduce lea. tare terms containing sorts, vztriables, negation and named
disjunction for the specification of feature structures. We show that the possibility to label …

The author proposes the Theory of Connected Word Constructions (TCWC), a generative
theory of morphology, focusing on phonic, rather than semantic, structure. It is unique by its …

Morphotactics and allomorphy are usually modeled in different components, leading to
interface problems. To describe both uniformly, we define finite automate (FA) for allomorphy …