Deduction in Concept Languages: From Subsumption to Instance Checking


It is a common opinion that subsumption is the central reasoning task in frame-based knowledge representation languages (or concept languages). Intuitively, a concept C subsumes another concept D if the set of objects represented by C is a superset of the one represented by D. When individual objects are taken into account, the basic deduc-tive task for… (More)
DOI: 10.1093/logcom/4.4.423


Figures and Tables

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

Slides referencing similar topics