Priority Union and Feature Logic in Phonology

2020 ◽  
pp. 1-19
Author(s):  
Charles Reiss
Keyword(s):  
Feature Logic

scholarly journals Lexical resource semantics: From theory to implementation

2004 ◽  
Author(s):  
Gerald Penn ◽  
Frank Richter
Keyword(s):  
Description Logics ◽  
Direct Reference ◽  
Constraint Handling ◽  
Lexical Resource ◽  
Constraint Language ◽  
Resource Semantics ◽  
Feature Logic

This paper summarizes the architecture of Lexical Resource Semantics (LRS). It demonstrates how to encode the language of two-sorted theory (Ty2; Gallin, 1975) in typed feature logic (TFL), and then presents a formal constraint language that can be used to extend conventional description logics for TFL to make direct reference to Ty2 terms. A reduction of this extension to Constraint Handling Rules (CHR; Fruehwirth & Abdennadher, 1997) for the purposes of implementation is also presented.

Design space and typed feature logic

2006 ◽  
Vol 20 (2) ◽  
pp. 121-128 ◽  
Author(s):  
GERALD PENN
Keyword(s):  
Natural Language ◽  
Description Logic ◽  
Design Space ◽  
Space Navigation ◽  
Feature Structures ◽  
Typed Feature Structures ◽  
Feature Logic

The logic of typed feature structures is a sorted description logic that has enjoyed widespread usage in grammar design for the last 20 years. Woodbury and Burrow have faithfully preserved its strengths in adapting it to design space navigation research, although the weaknesses it has exhibited in the context of natural language grammar design are likely to surface here as well.

scholarly journals Feature logic with disjunctive unification

1990 ◽  
Author(s):  
Jochen Dörre ◽  
Andreas Eisele
Keyword(s):  
Feature Logic
Sign in / Sign up

Export Citation Format

Share Document