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

Research output: Contribution to book/Conference proceedings/Anthology/ReportConference contributionContributedpeer-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 languageEnglish
Title of host publicationProceedings of the 36th International Workshop on Description Logics (DL 2023)
PublisherCEUR-WS.org
Number of pages13
Publication statusPublished - 2023
Peer-reviewedYes

Publication series

SeriesCEUR Workshop Proceedings
Volume3515
ISSN1613-0073

Workshop

Title36th International Workshop on Description Logics
Abbreviated titleDL 2023
Conference number36
Duration2 - 4 September 2023
Website
Degree of recognitionInternational event
LocationRodos Palace Luxury Convention Resort
CityRhodes
CountryGreece

Keywords

ASJC Scopus subject areas

Keywords

  • FL, threshold concepts, tree automata