Chord Sequence patterns in OWL

Doctoral thesis English OPEN
Wissmann, Jens
  • Subject: ZA4050 | M1 | QA75

This thesis addresses the representation of and reasoning on musical knowledge in the Semantic Web. The Semantic Web is an evolving extension of the World Wide Web that aims at describing information that is distributed on the web in a machine-processable form. Existing approaches to modelling musical knowledge in the context of the Semantic Web have focused on metadata. The description of musical content and reasoning as well as integration of content descriptions and metadata are yet open challenges. This thesis discusses the possibilities of representing musical knowledge in the Web Ontology Language (OWL) focusing on chord sequence representation and presents and evaluates a newly developed solution.\ud \ud The solution consists of two main components. Ontological modelling patterns for musical entities such as notes and chords are introduced in the (MEO) ontology. A sequence pattern language and ontology (SEQ) has been developed that can express patterns in a form resembling regular expressions. As MEO and SEQ patterns both rewrite to OWL they can be combined freely. Reasoning tasks such as instance classification, retrieval and pattern subsumption are then executable by standard Semantic Web reasoners. The expressiveness of SEQ has been studied, in particular in relation to grammars.\ud \ud The complexity of reasoning on SEQ patterns has been studied theoretically and empirically, and optimisation methods have been developed. There is still great potential for improvement if specific reasoning algorithms were developed to exploit the sequential structure, but the development of such algorithms is outside the scope of this thesis.\ud \ud MEO and SEQ have also been evaluated in several musicological scenarios. It is shown how patterns that are characteristic of musical styles can be expressed and chord sequence data can be classified, demonstrating the use of the language in web retrieval and as integration layer for different chord patterns and corpora. Furthermore, possibilities of using SEQ patterns for harmonic analysis are explored using grammars for harmony; both a hybrid system and a translation of limited context-free grammars into SEQ patterns have been developed. Finally, a distributed scenario is evaluated where SEQ and MEO are used in connection with DBpedia, following the Linked Data approach. The results show that applications are already possible and will benefit in the future from improved quality and compatibility of data sources as the Semantic Web evolves.
  • References (45)
    45 references, page 1 of 5

    Allen, J. F. (1984). Maintaining knowledge about temporal intervals. Communications of the ACM, 26(11):832{843.

    Anders, T. (2007). Composing Music by Composing Rules: Design and Usage of a Generic Music Constraint System. PhD thesis, School of Music & Sonic Arts, Queen's University Belfast.

    Anglade, A. and Dixon, S. (2008). Characterisation of harmony with inductive logic programming. In Proc. of the Ninth International Conference on Music Information Retrieval (ISMIR), pages 63{68, Philadelphia, USA.

    Angles, R. and Gutierrez, C. (2008). The expressive power of sparql. pages 114{129.

    Artale, A. and Franconi, E. (2001). A survey of temporal extensions of description logics. In Annals of Mathematics and Arti cial Intelligence (AMAI), volume 30, pages 171{210. Kluwer Academic Press.

    Baader, F., Brandt, S., and Lutz, C. (2005). Pushing the E L envelope. In Proc. of the 19th Int. Joint Conf. on Arti cial Intelligence (IJCAI 2005).

    Baader, F., Calvanese, D., McGuinness, D., Nardi, D., and PatelSchneider, P., editors (2003). The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press.

    Baader, F. and Kusters, R. (2006). Nonstandard inferences in description logics: The story so far. In Gabbay, D., Goncharov, S., and Zakharyaschev, M., editors, Mathematical Problems from Applied Logic I, volume 4 of International Mathematical Series, pages 1{75. Springer-Verlag.

    Baader, F., Molitor, R., Molitor, R., Tobies, S., and Tobies, S. (1998). On the relation between conceptual graphs and description logics. Technical report, LuFg Theoretische Informatik, RWTH Aachen.

    Baader, F., Sertkaya, B., and Turhan, A.-Y. (2007). Computing the least common subsumer w.r.t. a background terminology. Journal of Applied Logic, 5(3):392{420.

  • Metrics
    0
    views in OpenAIRE
    0
    views in local repository
    56
    downloads in local repository

    The information is available from the following content providers:

    From Number Of Views Number Of Downloads
    City Research Online - IRUS-UK 0 56
Share - Bookmark