KRIS knowledge representation and inference system ; system description - Baader, Franz 1959-; Hollunder, Bernhard (1990)