Login / Signup
Weak Subsumption in the EL-Description Logic with Refreshing Variables (Extended Abstract).
Theo Ducros
Marinette Bouet
Farouk Toumani
Published in:
Description Logics (2021)
Keyphrases
</>
description logics
extended abstract
reasoning tasks
knowledge base
knowledge representation
dl lite
snomed ct
computational properties
reasoning problems
concept descriptions
logical implication
semantic web
ontology languages
owl dl
data exchange
computing least common subsumers