Towards Extending the Description Logic FL0 with Threshold Concepts Using Weighted Tree Automata
Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
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
| Originalsprache | Englisch |
|---|---|
| Titel | Proceedings of the 36th International Workshop on Description Logics (DL 2023) |
| Herausgeber (Verlag) | CEUR-WS.org |
| Seitenumfang | 13 |
| Publikationsstatus | Veröffentlicht - 2023 |
| Peer-Review-Status | Ja |
Publikationsreihe
| Reihe | CEUR Workshop Proceedings |
|---|---|
| Band | 3515 |
| ISSN | 1613-0073 |
Workshop
| Titel | 36th International Workshop on Description Logics |
|---|---|
| Kurztitel | DL 2023 |
| Veranstaltungsnummer | 36 |
| Dauer | 2 - 4 September 2023 |
| Webseite | |
| Bekanntheitsgrad | Internationale Veranstaltung |
| Ort | Rodos Palace Luxury Convention Resort |
| Stadt | Rhodes |
| Land | Griechenland |
Schlagworte
ASJC Scopus Sachgebiete
Schlagwörter
- FL, threshold concepts, tree automata