top

Attributive concept descriptions with complements

M. Schmidt-Schauss and G. Smolka. Attributive concept descriptions with complements. Artificial Intelligence, 48:1–26, 1991.

Download: (unavailable)

Abstract:

Research in knowledge representation has led to the development of terminological representation languages, which are based on attributive concept descriptions. In this paper, the authors 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.

BibTeX: (download)

@ARTICLE{schmidt-schauss91:_attrib,
  author = {M. Schmidt-Schauss and G. Smolka},
  title = {Attributive concept descriptions with complements},
  journal = {Artificial Intelligence},
  year = {1991},
  volume = {48},
  pages = {1--26},
  abstract = {
	Research in knowledge representation has led to the development of
	terminological representation languages, which are based on attributive
	concept descriptions. In this paper, the authors 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.}
}

Generated by bib2html.pl (written by Patrick Riley ) on Mon Aug 10, 2009 14:52:33