Matching in the Description Logic FL0 with respect to General TBoxes (Extended abstract)

Franz Baader, Oliver Fernández Gil, Pavlos Marantidis
2019 International Workshop on Description Logics  
dblp:conf/dlog/BaaderGM19 fatcat:lk6q57liybemncvd2ydpwo4xry