### Abstract

Subsumption is used in knowledge representation and ontology to describe the relationship between concepts. Concept A is subsumed by concept B if the exten- sion of A is always a subset of the extension of B, irrespective of the interpretation. The subsumption relation is also useful in other data analysis tasks such as pattern recognition – for example in image analysis to detect objects in an image, and in spectral data analysis to detect the presence of a reference pattern in a given spec- trum. Sometimes the subsumption relation may not be 100% true, so it is useful to quantify this relationship.

In this paper we study how to quantify subsumption for sequential patterns. We review existing work on subsumption, give an axiomatic characterisation of subsumption, and present one general approach to quantification in terms of set intersection operation over concept extension. Constructing the concept extension set explicitly is impossible without specifying the domain of discourse and the interpretation. Instead, we focus on concept intension for sequences as patterns and propose to represent concept intension of a sequence by its subsequences. We further consider different types of concept intension set – subsequence set, subse- quence multiset, embedding set and embedding set with constraints such as warp- ing and selection. We then present a general algorithmic framework for computing set intersections, and specific algorithms for computing different concept intension sets. We also present an experimental evaluation of these algorithms with regard to their runtime performance.

In this paper we study how to quantify subsumption for sequential patterns. We review existing work on subsumption, give an axiomatic characterisation of subsumption, and present one general approach to quantification in terms of set intersection operation over concept extension. Constructing the concept extension set explicitly is impossible without specifying the domain of discourse and the interpretation. Instead, we focus on concept intension for sequences as patterns and propose to represent concept intension of a sequence by its subsequences. We further consider different types of concept intension set – subsequence set, subse- quence multiset, embedding set and embedding set with constraints such as warp- ing and selection. We then present a general algorithmic framework for computing set intersections, and specific algorithms for computing different concept intension sets. We also present an experimental evaluation of these algorithms with regard to their runtime performance.

Original language | English |
---|---|

Pages (from-to) | 79-99 |

Number of pages | 21 |

Journal | Theoretical Computer Science |

Volume | 793 |

Early online date | 13 Jun 2019 |

DOIs | |

Publication status | Published - 12 Nov 2019 |

### Keywords

- Subsumption characterisation; Subsumption quantification; Sequence and subsequence analysis; Sequence similarity; Grid algorithm
- Subsumption characterisation
- Grid algorithm
- Subsumption quantification
- Sequence similarity
- Sequence and subsequence analysis

## Fingerprint Dive into the research topics of 'Quantifying Sequential Subsumption'. Together they form a unique fingerprint.

## Profiles

## Hui Wang

- School of Computing - Professor of Computer Science
- Faculty Of Computing, Eng. & Built Env. - Full Professor

Person: Academic

## Cite this

Wang, H., Elzinga, C., Lin, Z., & Vincent, J. (2019). Quantifying Sequential Subsumption.

*Theoretical Computer Science*,*793*, 79-99. https://doi.org/10.1016/j.tcs.2019.05.025