Unification in the Description Logic EL without the Top Concept

Published: 01 Jan 2011, Last Modified: 04 Aug 2024Description Logics 2011EveryoneRevisionsBibTeXCC BY-SA 4.0
Loading