Publication details

Saarland University Computer Science

Attributive concept descriptions with complements

Manfred Schmidt-Schauß, Gert Smolka

Artificial Intelligence 48:1-26, 1991

We investigate the consequences of adding unions and complements to attributive concept descriptions employed in terminological knowledge representation languages. It is shown that deciding coherence and subsumption of such descriptions are PSPACE-complete problems that can be decided with linear space.

Download PDF        Show BibTeX               

Login to edit

Legal notice, Privacy policy