Abstract

this paper, results of an investigation of part--whole relations and their relevance for a process--modeling application are given and a concept--language P with appropriate expressive power is defined. Satisfiability of concept terms in P is undecidable, hence it is necessary to drop some (but not many) of the demands made for the benefit of decidability. Several ways to handle the high complexity of inference algorithms of P are discussed.

Citations

6	Modelling composition in a terminological language environment - Artale, Cesarini, et al. - 1994