Remember Me
Or use your Academic/Social account:


Or use your Academic/Social account:


You have just completed your registration at OpenAire.

Before you can login to the site, you will need to activate your account. An e-mail will be sent to you with the proper instructions.


Please note that this site is currently undergoing Beta testing.
Any new content you create is not guaranteed to be present to the final version of the site upon release.

Thank you for your patience,
OpenAire Dev Team.

Close This Message


Verify Password:
Verify E-mail:
*All Fields Are Required.
Please Verify You Are Human:
fbtwitterlinkedinvimeoflicker grey 14rssslideshare1
Wissmann, Jens
Languages: English
Types: Doctoral thesis
Subjects: 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.
  • The results below are discovered through our pilot algorithms. Let us know how we are doing!

    • 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.
    • Baroni, M. and Callegari, L. (1984). Musical Grammars and Computer Analysis. Olschki, Florence.
    • Bauer, J. (2009). Model Exploration to Support Understanding of Ontologies. PhD thesis, Technische Universitat Dresden, Institut fur Theoretische Informatik.
    • Bechhofer, S., Moller, R., and Crowther, P. (2003). The DIG description logic interface. In Proc. of the Int. Workshop on Description Logics (DL'03), volume 81 of CEUR, Rome, Italy.
    • Bergeron, M. (2009). Structured Polyphonic Patterns. PhD thesis, Department of Computing, City University London, United Kingdom.
    • Bergeron, M. and Conklin, D. (2008). Structured polyphonic patterns. In ISMIR 2008: International Conference on Music Information Retrieval, Philadelphia.
    • Berners-Lee, T. (1999). Weaving the Web : the past, present and future of the World Wide Web by its inventor. Orion Business, London.
    • Berners-Lee, T., Hendler, J., and Lassila, O. (2001). The SemanticWeb. Scienti c American, 284:34{43.
    • Bizer, C., Heath, T., and Berners-Lee, T. (2009). Linked data - the story so far. International Journal on Semantic Web and Information Systems, 5(3):1{22.
    • Borst, W. (1997). Construction of Engineering Ontologies. PhD thesis, University of Tweenty, Enschede, The Netherlands.
    • Brachman, R. J. (1977). What's in a concept: Structural foundations for semantic networks. Int. Journal of Man-Machine Studies, 9(2):127{152.
    • Celma, O., Herrera, P., and Serra, X. (2006). Bridging the music semantic gap. volume 187, Budva, Montenegro. CEUR, CEUR.
    • Chemilier, M. (2001). Improvising jazz chord sequences by means of formal grammars. In Journee d'Informatique musicale, JIM2001, Bourges, France, September 19-22, pages 121{126.
    • Chemillier, M. (2004). Toward a formal study of jazz chord sequences generated by steedman's grammar. Soft Comput., 8(9):617{622.
    • Chomsky, N. (1956). Three models for the description of language. IRE Transactions on Information Theory, 2(2):113{123.
    • De Roure, D., Page, K. R., Fields, B., Crawford, T., Downie, J. S., and Fujinaga, I. (2011). An e-research approach to web-scale music analysis. Phil. Trans. R. Soc. A, 369(1949):3300{3317.
    • Drummond, N., Rector, A., Stevens, R., Moulton, G., Horridge, M., Wang, H. H., and Seidenberg, H. (2006a). Sequences in Protege OWL. In 9th Intl. Protege Conference - July 23-26, 2006 - Stanford, California.
    • Drummond, N., Rector, A., Stevens, R., Moulton, G., Horridge, M., Wang, H. H., and Seidenberg, J. (2006b). Putting OWL in Order: Patterns for Sequences in OWL. In 2nd OWL Experiences and Directions Workshop, Athens, GA.
    • Eberlein, R. u. J. P. F. (1992). Kadenzwahrnehmung und Kadenzgeschichte - ein Beitrag zu einer Grammatik der Musik. Verlag Peter Lang, Franfurt a.M.
    • Frederico, G. C. S. (2002). Actos: A peer-to-peer application for the retrieval of encoded music. In First International Conference on Musical Applications Using XML.
    • Fux, J. J. (1967). Gradus ad Parnassum. Barenreiter und Akademische Druck- und Verlagsanstalt, 1725 (Neuau age der Johann Joseph Fux Gesellschaft, Graz; Kassel Basel Paris London New York.
    • Garcia, M., Kaplunova, A., and Moller, R. (2007). Model Generation in Description Logics: What Can We Learn From Software Engineering? Technical report, Institute for Software Systems (STS), Hamburg University of Technology, Germany. See http://www.sts.tuharburg.de/tech-reports/papers.html.
    • Gasse, F., Sattler, U., and Haarslev, V. (2008). Rewriting rules into SROIQ axioms. In Baader, F., Lutz, C., and Motik, B., editors, Description Logics, volume 353 of CEUR Workshop Proceedings. CEUR-WS.org.
    • Horridge, M., Parsia, B., and Sattler, U. (2008). Laconic and precise justi cations in OWL. In Sheth, A. P., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T. W., and Thirunarayan, K., editors, International Semantic Web Conference, volume 5318 of Lecture Notes in Computer Science, pages 323{338. Springer.
    • Horrocks, I. (1998). Using an expressive description logic: FaCT or ction? In Proc. of the 6th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR'98), pages 636{647.
    • Horrocks, I., Kutz, O., and Sattler, U. (2006). The even more irresistible SROIQ. In Proc. of the 10th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR2006), pages 57{67. 10th International Conference on Principles of Knowledge Representation and Reasoning, AAAI Press.
    • Horrocks, I. and Patel-Schneider, P. F. (2004). A proposal for an OWL rules language. In WWW '04: Proceedings of the 13th international conference on World Wide Web, pages 723{731, New York, NY, USA. ACM Press.
    • Horrocks, I., Patel-Schneider, P. F., Boley, H., Tabet, S., Grosof, B., and Dean, M. (2003). SWRL: A semantic web rule language combining OWL and RuleML. Technical report, W3C recommendation, http://www.daml.org/2003/11/swrl/.
    • Horrocks, I. and Sattler, U. (2005). A tableaux decision procedure for SHOIQ. In Proc. of the 19th Int. Joint Conf. on Arti cial Intelligence (IJCAI 2005), pages 448{453.
    • Kalyanpur, A., Parsia, B., Horridge, M., and Sirin, E. (2008). Finding all justi cations of owl dl entailments. pages 267{280.
    • Kowalski, R. and Sergot, M. (1989). A logic-based calculus of events. pages 23{51.
    • Krotzsch, M., Rudolph, S., and Hitzler, P. (2008). Description logic rules. In Ghallab, M., Spyropoulos, C. D., Fakotakis, N., and Avouris, N., editors, Proceedings of the 18th European Conference on Arti cial Intelligence (ECAI-08), IOS Press.
    • Perez-Sancho, C., Rizo, D., and In~esta, J. M. (2008). Stochastic text models for music categorization. In Proceedings of 12th International Workshop on Structural and Syntactic Pattern Recognition, SSPR 2008 | Satellite event of the 19th International Conference of Pattern Recognition, ICPR 2008., number 5342 in 2008, pages 55{64, Berlin. Springer.
    • Perez-Sancho, C., Rizo, D., and In~esta, J.-M. (2009). Genre classication using chords and stochastic language models. Connection Science, 20(2&3):145{159.
    • Potter, G. M. (1989). The unique role of bvii7 in bebop harmony. jazz forschung, 21.
    • Quillian, M. R. (1967). Word concepts: A theory and simulation of some basic capabilities. Behavioral Science, 12:410{430.
  • No related research data.
  • No similar publications.

Share - Bookmark

Download from

Cite this article