Weak-Subsumption in the EL-Description Logic with Refreshing Variables - Archive ouverte HAL
Conference Papers Year : 2021
No file

Dates and versions

hal-03353110 , version 1 (23-09-2021)

Identifiers

  • HAL Id : hal-03353110 , version 1

Cite

Théo Ducros, Marinette Bouet, Farouk Toumani. Weak-Subsumption in the EL-Description Logic with Refreshing Variables. 34th International Workshop on Description Logics, Sep 2021, Bratislava, Slovakia. ⟨hal-03353110⟩
46 View
0 Download

Share

More