Reasoning with prototypes in the description logic ALC using weighted tree automata
Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Beitragende
Abstract
We introduce an extension to Description Logics that allows us to use prototypes to define concepts. To accomplish this, we introduce the notion of prototype distance functions (pdfs), which assign to each element of an interpretation a distance value. Based on this, we define a new concept constructor of the form P~n(d) for ∼ ∈ {<,≤,>, ≥}, which is interpreted as the set of all elements with a distance ∼ n according to the pdf d. We show how weighted alternating parity tree automata (wapta) over the non-negative integers can be used to define pdfs, and how this allows us to use both concepts and pointed interpretations as prototypes. Finally, we investigate the complexity of reasoning in ALCP(wapta), which extends the Description Logic ALC with the constructors P~n(d) for pdfs defined using wapta.
Details
Originalsprache | Englisch |
---|---|
Titel | Language and Automata Theory and Applications |
Redakteure/-innen | Bianca Truthe, Jan Janoušek, Adrian-Horia Dediu, Carlos Martín-Vide |
Herausgeber (Verlag) | Springer, Berlin [u. a.] |
Seiten | 63-75 |
Seitenumfang | 13 |
ISBN (Print) | 9783319299990 |
Publikationsstatus | Veröffentlicht - 2016 |
Peer-Review-Status | Ja |
Publikationsreihe
Reihe | Lecture Notes in Computer Science, Volume 9618 |
---|---|
ISSN | 0302-9743 |
Konferenz
Titel | 10th International Conference on Language and Automata Theory and Applications |
---|---|
Kurztitel | LATA 2016 |
Veranstaltungsnummer | 10 |
Dauer | 14 - 18 März 2016 |
Stadt | Prague |
Land | Tschechische Republik |
Externe IDs
ORCID | /0000-0002-4049-221X/work/142247959 |
---|