Login / Signup

A Decision Procedure for SHOIQ with Transitive Closure of Roles.

Chan Le DucMyriam LamolleOlivier Curé
Published in: ISWC (1) (2013)
Keyphrases