Deductive Module Extraction for Expressive Description Logics (Extended Abstract)

Patrick Koopmann, Jieying Chen
2020 International Workshop on Description Logics  
dblp:conf/dlog/KoopmannC20 fatcat:mygdxrqjsnfkjasj43cwsi5h2q