Model-Theory of Property Grammars with Features

Abstract : In this paper, we present a model-theoretic description of Property Grammar (PG) with features. Our approach is based on previous work of Duchier et al. (2009), and extends it by giving a model-theoretic account of feature-based properties, which was lacking in the description of Duchier et al. On top of providing a formal definition of the semantics of feature-based PG, this paper also discusses the various possible interpretations of features (e.g., within the requirement and agreement properties), and show how these interpretations are represented in our framework. This work opens the way for a constraint-based implementation of a parser for PG with features.
Document type :
Conference papers
Complete list of metadatas
Contributor : Yannick Parmentier <>
Submitted on : Wednesday, August 31, 2011 - 1:54:01 PM
Last modification on : Thursday, January 17, 2019 - 3:06:04 PM


  • HAL Id : hal-00618020, version 1



Denys Duchier, Thi-Bich-Hanh Dao, Yannick Parmentier. Model-Theory of Property Grammars with Features. 12th International Conference on Parsing Technologies (IWPT 2011), Oct 2011, Dublin, Ireland. pp.75-79. ⟨hal-00618020⟩



Record views