A Feature Logic with Subsorts


This paper presents a set description logic with subsorts, feature selection (the inverse of unary function application), agreement, intersection , union and complement. We deene a model theoretic open world semantics and show that sorted feature structures constitute a canon-ical 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.

Extracted Key Phrases


Citations per Year

238 Citations

Semantic Scholar estimates that this publication has 238 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@article{Smolka1988AFL, title={A Feature Logic with Subsorts}, author={Gert Smolka}, journal={LILOG-Report}, year={1988}, volume={33} }