Reasoning in EL-Description Logic with Refreshing Variables - Archive ouverte HAL
Communication Dans Un Congrès Année : 2021

Reasoning in EL-Description Logic with Refreshing Variables

Domaines

Informatique [cs] Logique en informatique [cs.LO]

Théo Ducros  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-03353106

Soumis le : jeudi 23 septembre 2021-17:24:13

Dernière modification le : mardi 18 avril 2023-10:00:05

Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-03353106 , version 1

Citer

Théo Ducros, Marinette Bouet, Farouk Toumani. Reasoning in EL-Description Logic with Refreshing Variables. Conférence Base de données avancées (BDA), Oct 2021, Paris, France. ⟨hal-03353106⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

PRES_CLERMONT CNRS LIMOS EFRAN CLERMONT-AUVERGNE-INP
80 Consultations
0 Téléchargements

Partager

More