Architecture conformance checking with description logics Schröder, S. Riebisch, Matthias 2017 - Forschungsinformationssystem der UHH - frei zugänglich