A Feature Logic with Subsorts

Abstract

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… (More)

Topics

Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics