Modeling selectional restrictions in a relational type system

2016/07/28 by Erkki Luuk, Luuk, Erkki
Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #cs.AI #cs.CL

paper · pdf · doi:10.48550/arxiv.1607.08592

arxiv created 2016/07/28 · openalex publication_date 2016/07/28 · arxiv updated 2016/07/29 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

Selectional restrictions are semantic constraints on forming certain complex types in natural language. The paper gives an overview of modeling selectional restrictions in a relational type system with morphological and syntactic types. We discuss some foundations of the system and ways of formalizing selectional restrictions. Keywords: type theory, selectional restrictions, syntax, morphology

Related

• Selectional Restrictions in HPSG
• Multi-dimensional Type Theory: Rules, Categories, and Combinators for Syntax and Semantics
• Constraining (shifting) types at the interface
• Type Classes and Constraint Handling Rules
• An Algorithmic Structuration of a Type System for an Orthogonal Object/Relational Model