Peñaloza Nyssen, RafaelHölldobler, Steffen2020-08-212020-08-212010978-3-88579-414-2https://dl.gi.de/handle/20.500.12116/33668deWie findet man die verantwortlichen Axiome? Axiom-Pinpointing in Beschreibungslogiken1617-5468