Publication details

Programming Systems

Gert Smolka

Publications

Teaching

Software

Formalizations

A Feature Logic with Subsorts

Gert Smolka

Technical Report, IWBS, IBM Deutschland, Postfach 80 08 80, 7000 Stuttgart 80, Germany, To appear in: J. Wedekind and C. Rohrer (eds.), Unification in Grammar; The MIT Press, 1991, May 1988

LILOG Report LR-33, May 1988. To appear in: J. Wedekind and C. Rohrer (eds.), Unification in Grammar; The MIT Press, 1991. This paper presents a set description logic with subsorts, feature selection (the inverse of unary function application), agreement, intersection, union and complement. We define a model theoretic open world semantics and show that sorted feature structures constitute a canonical model, that is, without loss of generality subsumption and consistency of set descriptions can be considered with respect to feature structures only. We show that deciding consistency of set descriptions is an NP-complete problem.

Download PDF        Show BibTeX               

@TECHREPORT{LR-33,
  title = {A Feature Logic with Subsorts},
  author = {Gert Smolka},
  year = {1988},
  month = {may},
  number = {33},
  type = {{LILOG Report}},
  address = {"Postfach 80 08 80, 7000 Stuttgart 80, Germany"},
  institution = {"IWBS, IBM Deutschland"},
  note = {" To appear in: J. Wedekind and C. Rohrer (eds.),                         Unification in Grammar; The MIT Press, 1991"},
}

Login to edit