Most Specific Consequences in the Description Logic ℰℒ

Publikation: Beitrag in FachzeitschriftForschungsartikelBeigetragenBegutachtung

Abstract

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.

Details

OriginalspracheEnglisch
Seiten (von - bis)172-204
Seitenumfang33
FachzeitschriftDiscrete applied mathematics
Jahrgang273
PublikationsstatusVeröffentlicht - 15 Feb. 2020
Peer-Review-StatusJa

Externe IDs

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

Schlagworte

Bibliotheksschlagworte