Home » Research » Research outputs » A normal form for hypergraph-based module extraction for SROIQ

A normal form for hypergraph-based module extraction for SROIQ