Subsumption of vertical viewpoint patterns

Authors:
Mathieu Bergeron;Darrell Conklin
Affiliations:
CIRMMT, McGill University, Montreal, Canada;Department of Computer Science and AI, Universidad del País Vasco, San Sebastián, Spain and IKERBASQUE, Basque Foundation for Science, Bilbao
Venue:
MCM'11 Proceedings of the Third international conference on Mathematics and computation in music
Year:
2011

Citing 7
Cited 0

Maintaining knowledge about temporal intervals

Communications of the ACM
Foundations of Inductive Logic Programming

Foundations of Inductive Logic Programming
A perspective on inductive databases

ACM SIGKDD Explorations Newsletter
Music Information Processing Using the Humdrum Toolkit: Concepts, Examples, and Lessons

Computer Music Journal
Meme Hunting with the Humdrum Toolkit: Principles, Problems, and Prospects

Computer Music Journal
Feature set patterns in music

Computer Music Journal
Description Logics

Reasoning Web. Semantic Technologies for Information Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper formalizes the vertical viewpoint pattern language for polyphonic pattern representation. The semantics of patterns is given in terms of a translation to a relational network form. The language supports pattern subsumption, an essential inference for pattern mining, development, and refinement. Though computed in a way entirely different to relational network matching, this paper proves that subsumption inferences are sound and complete with respect to the underlying relational language.