Language equations for approximate matching in the Description Logic FL0

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

Beitragende

Abstract

Both matching and unification in the Description Logic FL0 can be reduced to solving certain formal language equations. In previous work, we have extended unification in FL0 to approximate unification, and have shown that approximate unification can be reduced to approximately solving language equations. An approximate solution of a language equation need not make the languages on the left- and right-hand side of the equation equal, but close w.r.t. a given distance function. In the present paper, we consider approximate matching. We show that, for a large class of distance functions, approximate matching is in NP. We then consider a particular distance function d1(K,L) = 2−n, where n is the length of the shortest word in the symmetric difference of the languages K, L, and show that w.r.t. this distance function approximate matching is polynomial.

Details

OriginalspracheEnglisch
TitelProceedings of the 31st International Workshop on Unification (UNIF'17)
PublikationsstatusVeröffentlicht - 2017
Peer-Review-StatusNein

Externe IDs

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

Schlagworte