T.: A normal form for hypergraph-based module extraction for SROIQ (0)

by R Nortjé, K Britz, Meyer
Venue:CEUR Workshop Proceedings, CEUR-WS (2011), http://ceur-ws.org