## Ordering Constraints over Feature Trees (1999)

### Cached

### Download Links

- [www.ps.uni-sb.de]
- [www.ps.uni-sb.de]
- [www.coli.uni-saarland.de]
- DBLP

### Other Repositories/Bibliography

Citations: | 14 - 5 self |

### BibTeX

@MISC{Müller99orderingconstraints,

author = {Martin Müller and Joachim Niehren and Andreas Podelski},

title = {Ordering Constraints over Feature Trees},

year = {1999}

}

### Years of Citing Articles

### OpenURL

### Abstract

Feature trees are the formal basis for algorithms manipulating record like structures in constraint programming, computational linguistics and in concrete applications like software configuration management. Feature trees model records, and constraints over feature trees yield extensible and modular record descriptions. We introduce the constraint system FT of ordering constraints interpreted over feature trees. Under the view that feature trees represent symbolic information, the relation corresponds to the information ordering ("carries less information than"). We present two algorithms in cubic time, one for the satisfiability problem and one for the entailment problem of FT . We show that FT has the independence property. We are thus able to handle negative conjuncts via entailment and obtain a cubic algorithm that decides the satisfiability of conjunctions of positive and negated ordering constraints over feature trees. Furthermore, we reduce the satisfiability problem of Dorre's weak subsumption constraints to the satisfiability problem of FT and improve the complexity bound for solving weak subsumption constraints from O(n^5) to O(n³).

### Citations

769 | Constraint logic programming: A survey - Jaffar, Maher - 1994 |

506 | Lexical-Functional Grammar: a formal system for grammatical representation
- Kaplan, Bresnan
- 1982
(Show Context)
Citation Context ...ability, entailment, complexity. 1 Introduction Feature constraints have been used for describing records in constraint programming [2, 24, 23] and record like structures in computational linguistics =-=[13, 12, 20, 18, 19]-=-. Following [3, 5, 4] we consider feature constraints as predicate logic formulae that are interpreted in the structure of feature trees. A feature tree is a possibly infinite tree with unordered labe... |

421 | An Introduction to Unification-Based Approaches to Grammar
- Shieber
- 1986
(Show Context)
Citation Context ...ability, entailment, complexity. 1 Introduction Feature constraints have been used for describing records in constraint programming [2, 24, 23] and record like structures in computational linguistics =-=[13, 12, 20, 18, 19]-=-. Following [3, 5, 4] we consider feature constraints as predicate logic formulae that are interpreted in the structure of feature trees. A feature tree is a possibly infinite tree with unordered labe... |

293 | The Oz Programming Model - Smolka - 1995 |

201 | Reasoning and Revision in Hybrid Representation Systems - Nebel - 1990 |

188 | Information-based Syntax and Semantics - Pollard, Sag - 1987 |

180 | The Tractability of Subsumption in Frame-based Description Languages - Brachman, Levesque - 1984 |

175 |
Functional Grammar
- Kay
- 1979
(Show Context)
Citation Context ...ability, entailment, complexity. 1 Introduction Feature constraints have been used for describing records in constraint programming [2, 24, 23] and record like structures in computational linguistics =-=[13, 12, 20, 18, 19]-=-. Following [3, 5, 4] we consider feature constraints as predicate logic formulae that are interpreted in the structure of feature trees. A feature tree is a possibly infinite tree with unordered labe... |

128 | A logical semantics for feature structures - Kasper, Rounds - 1986 |

123 | Towards a meaning of LIFE
- Ait-Kaci, Podelski
- 1991
(Show Context)
Citation Context ...ords: feature constraints, tree orderings, weak subsumption, satisfiability, entailment, complexity. 1 Introduction Feature constraints have been used for describing records in constraint programming =-=[2, 24, 23]-=- and record like structures in computational linguistics [13, 12, 20, 18, 19]. Following [3, 5, 4] we consider feature constraints as predicate logic formulae that are interpreted in the structure of ... |

106 | Attribute-Value Logic and the Theory of Grammar - Johnson - 1988 |

99 |
Solving Equations and Inequations on Finite and Infinite Trees
- Colmerauer
- 1988
(Show Context)
Citation Context ...since a formula ϕ��� ϕ is valid if and only if the formula ϕ� ��� ϕ is unsatisfiable. To establish our result, we prove that FT� has the fundamental independence property (similar to its relatives RT =-=[6]-=-, FT [3], and CFT [24]). We reduce the satisfiability problem of Dörre’s weak-subsumption constraints [7] over feature algebras linearly to the one in FT� . Thereby, our algorithm improves on the best... |

95 | Records for logic programming - Smolka, Treinen - 1994 |

86 | The Logic of Typed Feature Structures; with Applications to Unification Grammars - Carpenter - 1992 |

83 | Feature Constraint Logics for Unification Grammars, IWBS Report 93 - Smolka - 1989 |

78 | The formalism and implementation of PATR-II - Shieber, Uszkoreit, et al. - 1983 |

69 | A feature-based constraint system for logic programming with entailment
- Aït-Kaci, Podelski, et al.
- 1994
(Show Context)
Citation Context ... 1 Introduction Feature constraints have been used for describing records in constraint programming [2, 24, 23] and record like structures in computational linguistics [13, 12, 20, 18, 19]. Following =-=[3, 5, 4]-=- we consider feature constraints as predicate logic formulae that are interpreted in the structure of feature trees. A feature tree is a possibly infinite tree with unordered labeled edges and with po... |

69 | Simplifying subtyping constraints - Pottier - 1996 |

54 | Efficient inference of object types - Palsberg - 1995 |

49 | Representation and Reasoning with Attributive Descriptions - Nebel, Smolka - 1989 |

36 |
A canonical form for generalized linear constraints
- Lassez, McAloon
- 1992
(Show Context)
Citation Context ...formal definition later). Apart from the mentioned tree constraint systems RT, FT , CFT [6, 1, 24, 3], constraint systems with the independence property include linear equations over the real numbers =-=[14]-=-, or infinite boolean algebras with positive constraints [10]. 3 Syntax and Semantics of FT£ The constraint system FT� is defined by a set of constraints together with an interpretation over feature t... |

35 |
On subsumption and semi-unification in feature algebras
- Dörre, Rounds
- 1989
(Show Context)
Citation Context ...umption is an ordering on the domain of feature algebras. Subsumption constraints have been considered in the context of unification-based grammars to model coordination phenomena in natural language =-=[9, 7, 21]-=-. There, one wants to express that two feature structures representing different parts of speech share common properties. For example, the analysis of “programming” and “linguistics” in the phrase Fea... |

33 | Feature logic
- Rounds
- 1994
(Show Context)
Citation Context |

28 | Towards a meaning of LIFE - At-Kaci, Podelski - 1993 |

27 | A complete and recursive feature theory
- Backofen, Smolka
- 1995
(Show Context)
Citation Context ... 1 Introduction Feature constraints have been used for describing records in constraint programming [2, 24, 23] and record like structures in computational linguistics [13, 12, 20, 18, 19]. Following =-=[3, 5, 4]-=- we consider feature constraints as predicate logic formulae that are interpreted in the structure of feature trees. A feature tree is a possibly infinite tree with unordered labeled edges and with po... |

27 | Set constraints with intersection - Charatonik, Podelski - 1997 |

24 | A complete axiomatization of a theory with feature and arity constraints
- Backofen
- 1995
(Show Context)
Citation Context ... 1 Introduction Feature constraints have been used for describing records in constraint programming [2, 24, 23] and record like structures in computational linguistics [13, 12, 20, 18, 19]. Following =-=[3, 5, 4]-=- we consider feature constraints as predicate logic formulae that are interpreted in the structure of feature trees. A feature tree is a possibly infinite tree with unordered labeled edges and with po... |

22 | LOGIN: A logic programming language with built-in inheritance - At-Kaci, Nasr - 1986 |

22 | Friedhelm Meyer auf der - Dietzfelbinger, Karlin, et al. - 1990 |

19 | The first-order theory of ordering constraints over feature trees - Müller, Niehren, et al. |

17 | An algebraic semantics approach to the effective resolution of type equations - At-Kaci - 1986 |

17 | Parsing and type inference for natural and computer languages - Shieber - 1989 |

15 | Handling version sets through feature logic. Computer Science Report 94-04 (revised version - Zeller, Snelting - 1995 |

14 | Constraint-based Query Optimization for Spatial Databases
- Helm, Marriott, et al.
- 1991
(Show Context)
Citation Context ...raint systems RT, FT , CFT [6, 1, 24, 3], constraint systems with the independence property include linear equations over the real numbers [14], or infinite boolean algebras with positive constraints =-=[10]-=-. 3 Syntax and Semantics of FT£ The constraint system FT� is defined by a set of constraints together with an interpretation over feature trees. We assume an infinite set of variables ranged over by x... |

14 | Inclusion constraints over non-empty sets of trees
- Müller, Niehren, et al.
- 1997
(Show Context)
Citation Context ...ion constraints and reduces their satisfiability problem to the one of FT� constraints. Section 7 shows that FT� is strictly more expressive than FT. 2 Related Work Ines Constraints. In previous work =-=[17]-=-, we have introduced the constraint system INES of inclusion constraints over non-empty sets of trees and a cubic satisfiability test. The satisfiability test for FT� is inspired by and subsumes the o... |

14 | Operational semantics of constraint logic programs with coroutining - Podelski, Smolka - 1995 |

12 | The independence property of a class of set constraints - Charatonik, Podelski |

10 | for the Study of Language and Information - Center - 2000 |

10 | Feature constraints with first-class features - Treinen - 1993 |

8 | A feature-based constraint system for logic programming with entailment - At-Kaci, Podelski, et al. - 1994 |

8 | Regular path expressions in feature logic - Backofen - 1994 |

8 | How to win a game with features - Backofen, Treinen - 1994 |

8 | Partially specified terms in logic programming for linguistic analysis - Mukai |

8 | Ordering constraints over feature trees expressed in second-order monadic logic - Müller, Niehren |

8 | Entailment of Atomic Set Constraints is PSPACE-Complete - Niehren, Mueller, et al. - 1999 |

6 | Entailment and disentailment of order-sorted feature constraints
- Ait-Kaci, Podelski
- 1993
(Show Context)
Citation Context ...ated conjuncts are independent from each other, or: its constraints cannot express disjunctions (we will give a formal definition later). Apart from the mentioned tree constraint systems RT, FT , CFT =-=[6, 1, 24, 3]-=-, constraint systems with the independence property include linear equations over the real numbers [14], or infinite boolean algebras with positive constraints [10]. 3 Syntax and Semantics of FT£ The ... |

6 | Expressivity and Decidability of First-order Languages over Feature Trees. Doctoral Dissertation. Universität des Saarlandes, Technische Fakultät, 66041 - Backofen - 1994 |

5 |
Feature-logic with weak subsumption constraints
- Dorre
- 1994
(Show Context)
Citation Context ...sult, we prove that FT� has the fundamental independence property (similar to its relatives RT [6], FT [3], and CFT [24]). We reduce the satisfiability problem of Dörre’s weak-subsumption constraints =-=[7]-=- over feature algebras linearly to the one in FT� . Thereby, our algorithm improves on the best known satisfiability test for weak subsumption constraints which uses finite automata techniques and has... |

5 | On the decidability of functional uncertainty - Backofen - 1993 |

3 | Feature-Logik und Semiunifikation. Dissertationen zur Kunstlichen Intelligenz - Dorre - 1996 |