Home » Research » Research outputs » Module-theoretic properties of reachability modules for SRIQ

Module-theoretic properties of reachability modules for SRIQ