Language equations for approximate matching in the Description Logic FL0
Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen
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
Originalsprache | Englisch |
---|---|
Titel | Proceedings of the 31st International Workshop on Unification (UNIF'17) |
Publikationsstatus | Veröffentlicht - 2017 |
Peer-Review-Status | Nein |
Externe IDs
ORCID | /0000-0002-4049-221X/work/142247955 |
---|