Towards Extending the Description Logic FL0 with Threshold Concepts Using Weighted Tree Automata

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/GutachtenBeitrag in KonferenzbandBeigetragenBegutachtung

Beitragende

Abstract

We introduce an extension of the Description Logic FL0that allows us to define concepts in an approximate way. More precisely, we extend FL0with a threshold concept constructor of the form C▹◃for ▹◃ ϵ {≤, <,≥,>}, whose semantics is given by using a membership distance function (mdf). A membership distance function m assigns to each domain element and concept a distance value expressing how "close" is such element to being an instance of the concept. Based on this, a threshold concept C▹◃tis interpreted as the set of all domain elements that have a distance s from C such that s ▹◃ t. We provide a framework to obtain membership distance functions based on functions that compare tuples of languages, and we show how weighted looping tree automata over a semiring can be used to define membership distance functions for FL0concepts.

Details

OriginalspracheEnglisch
TitelProceedings of the 36th International Workshop on Description Logics (DL 2023)
Herausgeber (Verlag)CEUR-WS.org
Seitenumfang13
PublikationsstatusVeröffentlicht - 2023
Peer-Review-StatusJa

Publikationsreihe

ReiheCEUR Workshop Proceedings
Band3515
ISSN1613-0073

Workshop

Titel36th International Workshop on Description Logics
KurztitelDL 2023
Veranstaltungsnummer36
Dauer2 - 4 September 2023
Webseite
BekanntheitsgradInternationale Veranstaltung
OrtRodos Palace Luxury Convention Resort
StadtRhodes
LandGriechenland

Schlagworte

ASJC Scopus Sachgebiete

Schlagwörter

  • FL, threshold concepts, tree automata