Reasoning with prototypes in the description logic ALC using weighted tree automata

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

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

OriginalspracheEnglisch
TitelLanguage and Automata Theory and Applications
Redakteure/-innenBianca Truthe, Jan Janoušek, Adrian-Horia Dediu, Carlos Martín-Vide
Herausgeber (Verlag)Springer, Berlin [u. a.]
Seiten63-75
Seitenumfang13
ISBN (Print)9783319299990
PublikationsstatusVeröffentlicht - 2016
Peer-Review-StatusJa

Publikationsreihe

ReiheLecture Notes in Computer Science, Volume 9618
ISSN0302-9743

Konferenz

Titel10th International Conference on Language and Automata Theory and Applications
KurztitelLATA 2016
Veranstaltungsnummer10
Dauer14 - 18 März 2016
StadtPrague
LandTschechische Republik

Externe IDs

ORCID /0000-0002-4049-221X/work/142247959

Schlagworte

Bibliotheksschlagworte