Towards Extending the Description Logic FL0 with Threshold Concepts Using Weighted Tree Automata
Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review
Contributors
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
| Original language | English |
|---|---|
| Title of host publication | Proceedings of the 36th International Workshop on Description Logics (DL 2023) |
| Publisher | CEUR-WS.org |
| Number of pages | 13 |
| Publication status | Published - 2023 |
| Peer-reviewed | Yes |
Publication series
| Series | CEUR Workshop Proceedings |
|---|---|
| Volume | 3515 |
| ISSN | 1613-0073 |
Workshop
| Title | 36th International Workshop on Description Logics |
|---|---|
| Abbreviated title | DL 2023 |
| Conference number | 36 |
| Duration | 2 - 4 September 2023 |
| Website | |
| Degree of recognition | International event |
| Location | Rodos Palace Luxury Convention Resort |
| City | Rhodes |
| Country | Greece |
Keywords
ASJC Scopus subject areas
Keywords
- FL, threshold concepts, tree automata