Weak Subsumption in the EL-Description Logic with Refreshing Variables (Extended Abstract)

Theo Ducros, Marinette Bouet, Farouk Toumani
2021 International Workshop on Description Logics  
dblp:conf/dlog/DucrosBT21 fatcat:wzjnwanvbrbclo5xstgjqpfzwi