Language equations for approximate matching in the Description Logic FL0

Research output: Contribution to book/conference proceedings/anthology/reportConference contributionContributed

Contributors

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

Original languageEnglish
Title of host publicationProceedings of the 31st International Workshop on Unification (UNIF'17)
Publication statusPublished - 2017
Peer-reviewedNo

External IDs

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

Keywords