Home » Research » Research outputs » Reachability modules for the Description Logic SRIQ

Reachability modules for the Description Logic SRIQ