Weak-Subsumption in the EL-Description Logic with Refreshing Variables

Authors :: Ducros, Théo
Bouet, Marinette
Toumani, Farouk
Laboratoire d'Informatique, de Modélisation et d'optimisation des Systèmes (LIMOS)
SIGMA Clermont (SIGMA Clermont)-Université d'Auvergne - Clermont-Ferrand I (UdA)-Ecole Nationale Supérieure des Mines de St Etienne-Centre National de la Recherche Scientifique (CNRS)-Université Blaise Pascal - Clermont-Ferrand 2 (UBP)
Ducros, Théo
Université Blaise Pascal - Clermont-Ferrand 2 (UBP)-Université d'Auvergne - Clermont-Ferrand I (UdA)-SIGMA Clermont (SIGMA Clermont)-Ecole Nationale Supérieure des Mines de St Etienne (ENSM ST-ETIENNE)-Centre National de la Recherche Scientifique (CNRS)
Source :: 34th International Workshop on Description Logics, 34th International Workshop on Description Logics, Sep 2021, Bratislava, Slovakia
Publication Year :: 2021
Publisher :: HAL CCSD, 2021.
Abstract: International audience

Subjects :: [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO]
[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
[INFO]Computer Science [cs]
[INFO] Computer Science [cs]
ComputingMilieux_MISCELLANEOUS

Language :: English
Database :: OpenAIRE
Journal :: 34th International Workshop on Description Logics, 34th International Workshop on Description Logics, Sep 2021, Bratislava, Slovakia
Accession number :: edsair.dedup.wf.001..6219ae70860301a5a0c0df03ef7165d4

Tools