Subsumption Algorithms for Concept Languages


We investigate the subsumption problem in logic-based knowledge representation languages of the kl-one family and give decision procedures. All our languages contain as a kernel the logical connectives conjunction, disjunction, and negation for concepts, as well as role quantiication. The algorithms are rule-based and can be understood as variants of tableaux calculus with a special control strategy. In the rst part of the paper, we add number restrictions and conjunction of roles to the kernel language. We show that subsumption in this language is decidable, and we investigate sublanguages for which the problem of deciding subsumption is PSPACE-complete. In the second part, we amalgamate the kernel language with feature descriptions as used in computational linguistics. We show that feature descriptions do not increase the complexity of the subsumption problem.


Citations per Year

117 Citations

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

See our FAQ for additional information.

Cite this paper

@inproceedings{Hollunder1990SubsumptionAF, title={Subsumption Algorithms for Concept Languages}, author={Bernhard Hollunder and Werner Nutt}, year={1990} }