Terminological Reasoning with Constraint Handling Rules


1.1 Abstract Terminological knowledge representation formalisms in the tradition of kl-one enable one to deene the relevant concepts of a problem domain and their interaction in a structured and well-formed way. In recent years, a wealth of literature has appeared on this topic, e.g. Baj93]. Sound and complete inference algorithms for terminological logics… (More)