A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic

Abstract

This paper analyzes the correctness of the subsumption algorithm used in classic, a description logic-based knowledge representation system that is being used in practical applications. In order to deal e ciently with individuals in classic descriptions, the developers have had to use an algorithm that is incomplete with respect to the standard, model… (More)
DOI: 10.1613/jair.56

Topics

Figures and Tables

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

Slides referencing similar topics