Most Specific Consequences in the Description Logic 𝓔𝓛

Research output: Contribution to journal β€Ί Research article β€Ί Contributed β€Ί peer-review



The notion of a most specific consequence with respect to some terminological box is introduced, conditions for its existence in the description logic 𝓔𝓛 and its variants are provided, and means for its computation are developed. Algebraic properties of most specific consequences are explored. Furthermore, several applications that make use of this new notion are proposed and, in particular, it is shown how given terminological knowledge can be incorporated in existing approaches for the axiomatization of observations. For instance, a procedure for an incremental learning of concept inclusions from sequences of interpretations is developed.


Original languageEnglish
Pages (from-to)172-204
Number of pages33
JournalDiscrete applied mathematics
Publication statusPublished - 15 Feb 2020

External IDs

ORCID /0000-0003-0219-0330/work/153109374