Ontologie und Axiomatik der Wissensbasis von LILOG: Wissensmodellierung im IBM Deutschland LILOG-Projekt (Informatik-Fachberichte / Subreihe Künstliche Intelligenz) (German Edition)