Attributive Concept Descriptions with Complements

Abstract

Schmidt-SchaulL M. and G. Smolka, Attributive concept descriptions with complements, Artificial Intelligence 48 (1991) 1-26. 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.

DOI: 10.1016/0004-3702(91)90078-X

Extracted Key Phrases

1 Figure or Table

050100'91'94'97'00'03'06'09'12'15
Citations per Year

1,149 Citations

Semantic Scholar estimates that this publication has 1,149 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@article{SchmidtSchau1991AttributiveCD, title={Attributive Concept Descriptions with Complements}, author={Manfred Schmidt-Schau\ss and Gert Smolka}, journal={Artif. Intell.}, year={1991}, volume={48}, pages={1-26} }