Results 1 
2 of
2
Features and Formulae
, 1991
"... This paper shows how these structures can be axiomatized in a decidable class of firstorder logic, which can also be used to express constraints on these structures. Desirable properties, such as compactness and decidability, follow directly. Moreover, additional types of feature values, such as &q ..."
Abstract

Cited by 28 (2 self)
 Add to MetaCart
(Show Context)
This paper shows how these structures can be axiomatized in a decidable class of firstorder logic, which can also be used to express constraints on these structures. Desirable properties, such as compactness and decidability, follow directly. Moreover, additional types of feature values, such as "setvalued" features, can be incorporated into the system simply by axiomatizing their properties
clauses and featurestructure logic: Principles and unification algorithms, LLI
, 1993
"... The desirability of Horn clauses in logical deductive systems has long been recognized. The reasons are at least threefold. Firstly, while inference algorithms for full logics of any reasonable extent are typically intractable, for systems restricted to Horn clauses the picture is much better. (For ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
The desirability of Horn clauses in logical deductive systems has long been recognized. The reasons are at least threefold. Firstly, while inference algorithms for full logics of any reasonable extent are typically intractable, for systems restricted to Horn clauses the picture is much better. (For example, in ordinary propositional logic, while the full satisfiability problem is NPcomplete, a lineartime algorithm exists for Horn clauses.) Secondly, the knowledgerepresentation capabilities of Horn clauses, while weaker than those of the full logic, remain remarkably rich; indeed, far richer than that of simple conjunctive logic alone. Thirdly, Horn clauses define the maximal subset of a full logic which has the property of admitting generic models, which roughly means that for any set of Horn clauses, there is a least model of the clauses in that set. It is the purpose of this paper to initiate an investigation of Horn clause logic for an extended class of feature structures. After laying the groundwork for this context, we provide two key results. In the first, we show how the property of admitting