Combining open and closed world reasoning for the semantic web

Dissertação para obtenção do Grau de Doutor em Informática

Learning Activities with Semantic. Hypermedia in Higher Education

The increasing use of information and communication technologies (ICT) in diverse professional and personal contexts calls for new knowledge, and a set of abilities, competences and attitudes, for an active and participative citizenship. In this context it is acknowledged that universities have an important role innovating in the educational use of digital media to promote an inclusive digital literacy. The educational potential of digital technologies and resources has been recognized by both researchers and practitioners. Multiple pedagogical models and research approaches have already contributed to put in evidence the importance of adapting instructional and learning practices and processes to concrete contexts and educational goals. Still, academic and scientific communities believe further investments in ICT research is needed in higher education. This study focuses on educational models that may contribute to support digital technology uses, where these can have cognitive and educational relevance when compared to analogical technologies. A teaching and learning model, centered in the active role of the students in the exploration, production, presentation and discussion of interactive multimedia materials, was developed and applied using the internet and exploring emergent semantic hypermedia formats. The research approach focused on the definition of design principles for developing class activities that were applied in three different iterations in undergraduate courses from two institutions, namely the University of Texas at Austin, USA and the University of Lisbon, Portugal. The analysis of this study made possible to evaluate the potential and efficacy of the model proposed and the authoring tool chosen in the support of metacognitive skills and attitudes related to information structuring and management, storytelling and communication, using computers and the internet.

Semantic enrichment of knowledge sources supported by domain ontologies

This thesis introduces a novel conceptual framework to support the creation of knowledge representations based on enriched Semantic Vectors, using the classical vector space model approach extended with ontological support. One of the primary research challenges addressed here relates to the process of formalization and representation of document contents, where most existing approaches are limited and only take into account the explicit, word-based information in the document. This research explores how traditional knowledge representations can be enriched through incorporation of implicit information derived from the complex relationships (semantic associations) modelled by domain ontologies with the addition of information presented in documents. The relevant achievements pursued by this thesis are the following: (i) conceptualization of a model that enables the semantic enrichment of knowledge sources supported by domain experts; (ii) development of a method for extending the traditional vector space, using domain ontologies; (iii) development of a method to support ontology learning, based on the discovery of new ontological relations expressed in non-structured information sources; (iv) development of a process to evaluate the semantic enrichment; (v) implementation of a proof-of-concept, named SENSE (Semantic Enrichment kNowledge SourcEs), which enables to validate the ideas established under the scope of this thesis; (vi) publication of several scientific articles and the support to 4 master dissertations carried out by the department of Electrical and Computer Engineering from FCT/UNL. It is worth mentioning that the work developed under the semantic referential covered by this thesis has reused relevant achievements within the scope of research European projects, in order to address approaches which are considered scientifically sound and coherent and avoid “reinventing the wheel”.

Efficient paraconsistent reasoning with rules and ontologies for the semantic web

Ontologies formalized by means of Description Logics (DLs) and rules in the form of Logic Programs (LPs) are two prominent formalisms in the field of Knowledge Representation and Reasoning. While DLs adhere to the OpenWorld Assumption and are suited for taxonomic reasoning, LPs implement reasoning under the Closed World Assumption, so that default knowledge can be expressed. However, for many applications it is useful to have a means that allows reasoning over an open domain and expressing rules with exceptions at the same time. Hybrid MKNF knowledge bases make such a means available by formalizing DLs and LPs in a common logic, the Logic of Minimal Knowledge and Negation as Failure (MKNF). Since rules and ontologies are used in open environments such as the Semantic Web, inconsistencies cannot always be avoided. This poses a problem due to the Principle of Explosion, which holds in classical logics. Paraconsistent Logics offer a solution to this issue by assigning meaningful models even to contradictory sets of formulas. Consequently, paraconsistent semantics for DLs and LPs have been investigated intensively. Our goal is to apply the paraconsistent approach to the combination of DLs and LPs in hybrid MKNF knowledge bases. In this thesis, a new six-valued semantics for hybrid MKNF knowledge bases is introduced, extending the three-valued approach by Knorr et al., which is based on the wellfounded semantics for logic programs. Additionally, a procedural way of computing paraconsistent well-founded models for hybrid MKNF knowledge bases by means of an alternating fixpoint construction is presented and it is proven that the algorithm is sound and complete w.r.t. the model-theoretic characterization of the semantics. Moreover, it is shown that the new semantics is faithful w.r.t. well-studied paraconsistent semantics for DLs and LPs, respectively, and maintains the efficiency of the approach it extends.

The music of language: an ERP investigation of the effects of musical training on emotional prosody processing

Recent studies have demonstrated the positive effects of musical training on the perception of vocally expressed emotion. This study investigated the effects of musical training on event-related potential (ERP) correlates of emotional prosody processing. Fourteen musicians and fourteen control subjects listened to 228 sentences with neutral semantic content, differing in prosody (one third with neutral, one third with happy and one third with angry intonation), with intelligible semantic content (semantic content condition--SCC) and unintelligible semantic content (pure prosody condition--PPC). Reduced P50 amplitude was found in musicians. A difference between SCC and PPC conditions was found in P50 and N100 amplitude in non-musicians only, and in P200 amplitude in musicians only. Furthermore, musicians were more accurate in recognizing angry prosody in PPC sentences. These findings suggest that auditory expertise characterizing extensive musical training may impact different stages of vocal emotional processing.

Predictability of music descriptor time series and its application to cover song detection

Intuitively, music has both predictable and unpredictable components. In this work we assess this qualitative statement in a quantitative way using common time series models fitted to state-of-the-art music descriptors. These descriptors cover different musical facets and are extracted from a large collection of real audio recordings comprising a variety of musical genres. Our findings show that music descriptor time series exhibit a certain predictability not only for short time intervals, but also for mid-term and relatively long intervals. This fact is observed independently of the descriptor, musical facet and time series model we consider. Moreover, we show that our findings are not only of theoretical relevance but can also have practical impact. To this end we demonstrate that music predictability at relatively long time intervals can be exploited in a real-world application, namely the automatic identification of cover songs (i.e. different renditions or versions of the same musical piece). Importantly, this prediction strategy yields a parameter-free approach for cover song identification that is substantially faster, allows for reduced computational storage and still maintains highly competitive accuracies when compared to state-of-the-art systems.

A Semantic wiki for quality management in software development projects

Quality management has become a strategic issue for organisations and is very valuable to produce quality software. However, quality management systems (QMS) are not easy to implement and maintain. The authors' experience shows the benefits of developing a QMS by first formalising it using semantic web ontologies and then putting them into practice through a semantic wiki. The QMS ontology that has been developed captures the core concepts of a traditional QMS and combines them with concepts coming from the MPIu'a development process model, which is geared towards obtaining usable and accessible software products. Then, the ontology semantics is directly put into play by a semantics-aware tool, the Semantic MediaWiki. The developed QMS tool is being used for 2 years by the GRIHO research group, where it has manages almost 50 software development projects taking into account the quality management issues. It has also been externally audited by a quality certification organisation. Its users are very satisfied with their daily work with the tool, which manages all the documents created during project development and also allows them to collaborate, thanks to the wiki features.

A conceptual model for grid learning services automatic composition

Peer-reviewed

Music digitalization and its effects on the Finnish music industry stakeholders

For the past two decades the music digitalization has been considered the most significant phenomenon in the music industry as the physical sales have been decreasing rapidly. The advancement of the digital technology and the internet have facilitated the digitalization in the music industry and affected all stages of the music value chain, namely music creation, distribution and consumption. The newly created consumer culture has led to the establishment of novel business models such as music subscriptions and à-la-carte downloads websites and live streaming. The dynamic digital environment has presented the music industry stakeholders with the challenge to adapt to the requirements of the constantly changing modern consumers’ needs and demands. The purpose of this study was to identify how music digitalization can influence change in the Finnish music industry value chain; i.e. how digitalization affects the music industry stakeholders, their functions and inter-relatedness and how the stakeholders are able to react to the changes in the industry. The study was conducted as a qualitative research based entirely on primary data in the form of semi-structured interviews with experts from different units of the Finnish music industry value chain. Since the study offers assessment of diverse viewpoints on the value chain, it further provides an integrated picture of the Finnish music industry current situation and its competitive environment. The results suggest that the music industry is currently in a turbulent stage of experimentation with new business models and digital innovations. However, at this point it is impossible to determine which business model will be approved by the consumers in the longer run. Nevertheless, the study confirmed the claim that consumption of music in its digital form is to become dominant over the traditional physical copies sales in the nearest future. As a result the music industry is becoming more user-oriented; that is the focus is shifting from music production towards artist branding and management and visibility to the audience. Furthermore, the music industry is undergoing the process of integration with other industries such as media, social networks, internet services providers and mobile phone manufacturers in order to better fulfill the consumers’ needs. The previously underrated live music and merchandising are also increasing their significance for the revenues in the stagnant music markets. Therefore, the music industry is developing at present towards becoming an integrated entertainment industry deeply penetrating every point of modern people’s leisure activities.

Semantic and fuzzy modelling for human behaviour recognition in smart spaces : a case study on ambient assisted living.

Human activity recognition in everyday environments is a critical, but challenging task in Ambient Intelligence applications to achieve proper Ambient Assisted Living, and key challenges still remain to be dealt with to realize robust methods. One of the major limitations of the Ambient Intelligence systems today is the lack of semantic models of those activities on the environment, so that the system can recognize the speci c activity being performed by the user(s) and act accordingly. In this context, this thesis addresses the general problem of knowledge representation in Smart Spaces. The main objective is to develop knowledge-based models, equipped with semantics to learn, infer and monitor human behaviours in Smart Spaces. Moreover, it is easy to recognize that some aspects of this problem have a high degree of uncertainty, and therefore, the developed models must be equipped with mechanisms to manage this type of information. A fuzzy ontology and a semantic hybrid system are presented to allow modelling and recognition of a set of complex real-life scenarios where vagueness and uncertainty are inherent to the human nature of the users that perform it. The handling of uncertain, incomplete and vague data (i.e., missing sensor readings and activity execution variations, since human behaviour is non-deterministic) is approached for the rst time through a fuzzy ontology validated on real-time settings within a hybrid data-driven and knowledgebased architecture. The semantics of activities, sub-activities and real-time object interaction are taken into consideration. The proposed framework consists of two main modules: the low-level sub-activity recognizer and the high-level activity recognizer. The rst module detects sub-activities (i.e., actions or basic activities) that take input data directly from a depth sensor (Kinect). The main contribution of this thesis tackles the second component of the hybrid system, which lays on top of the previous one, in a superior level of abstraction, and acquires the input data from the rst module's output, and executes ontological inference to provide users, activities and their in uence in the environment, with semantics. This component is thus knowledge-based, and a fuzzy ontology was designed to model the high-level activities. Since activity recognition requires context-awareness and the ability to discriminate among activities in di erent environments, the semantic framework allows for modelling common-sense knowledge in the form of a rule-based system that supports expressions close to natural language in the form of fuzzy linguistic labels. The framework advantages have been evaluated with a challenging and new public dataset, CAD-120, achieving an accuracy of 90.1% and 91.1% respectively for low and high-level activities. This entails an improvement over both, entirely data-driven approaches, and merely ontology-based approaches. As an added value, for the system to be su ciently simple and exible to be managed by non-expert users, and thus, facilitate the transfer of research to industry, a development framework composed by a programming toolbox, a hybrid crisp and fuzzy architecture, and graphical models to represent and con gure human behaviour in Smart Spaces, were developed in order to provide the framework with more usability in the nal application. As a result, human behaviour recognition can help assisting people with special needs such as in healthcare, independent elderly living, in remote rehabilitation monitoring, industrial process guideline control, and many other cases. This thesis shows use cases in these areas.

Social class as a factor for the construction of a musician’s identity : The Musician’s social background and identity questionnaire (MSBIQ) – a cross-sectional comparative quantitative online survey research study of music students at two higher education institutions in Finland

There is currently little empirical knowledge regarding the construction of a musician’s identity and social class. With a theoretical framework based on Bourdieu’s (1984) distinction theory, Bronfenbrenner’s (1979) theory of ecological systems, and the identity theories of Erikson (1950; 1968) and Marcia (1966), a survey called the Musician’s Social Background and Identity Questionnaire (MSBIQ) is developed to test three research hypotheses related to the construction of a musician’s identity, social class and ecological systems of development. The MSBIQ is administered to the music students at Sibelius Academy of the University of Arts Helsinki and Helsinki Metropolia University of Applied Sciences, representing the ’highbrow’ and the ’middlebrow’ samples in the field of music education in Finland. Acquired responses (N = 253) are analyzed and compared with quantitative methods including Pearson’s chi-square test, factor analysis and an adjusted analysis of variance (ANOVA). The study revealed that (1) the music students at Sibelius Academy and Metropolia construct their subjective musician’s identity differently, but (2) social class does not affect this identity construction process significantly. In turn, (3) the ecological systems of development, especially the individual’s residential location, do significantly affect the construction of a musician’s identity, as well as the age at which one starts to play one’s first musical instrument. Furthermore, a novel finding related to the structure of a musician’s identity was the tripartite model of musical identity consisting of the three dimensions of a musician’s identity: (I) ’the subjective dimension of a musician’s identity’, (II) ’the occupational dimension of a musician’s identity’ and, (III) ’the conservative-liberal dimension of a musician’s identity’. According to this finding, a musician’s identity is not a uniform, coherent entity, but a structure consisting of different elements continuously working in parallel within different dimensions. The results and limitations related to the study are discussed, as well as the objectives related to future studies using the MSBIQ to research the identity construction and social backgrounds of a musician or other performing artists.

The role of business model in computer game development organizations

The computer game industry has grown steadily for years, and in revenues it can be compared to the music and film industries. The game industry has been moving to digital distribution. Computer gaming and the concept of business model are discussed among industrial practitioners and the scientific community. The significance of the business model concept has increased in the scientific literature recently, although there is still a lot of discussion going on on the concept. In the thesis, the role of the business model in the computer game industry is studied. Computer game developers, designers, project managers and organization leaders in 11 computer game companies were interviewed. The data was analyzed to identify the important elements of computer game business model, how the business model concept is perceived and how the growth of the organization affects the business model. It was identified that the importance of human capital is crucial to the business. As games are partly a product of creative thinking also innovation and the creative process are highly valued. The same applies to technical skills when performing various activities. Marketing and customer relationships are also considered as key elements in the computer game business model. Financing and partners are important especially for startups, when the organization is dependent on external funding and third party assets. The results of this study provide organizations with improved understanding on how the organization is built and what business model elements are weighted.

Marginal/minority popular music : the concept of the "third space" and the case for "hybridities" of cultures/identities /

The topic of this thesis is marginaVminority popular music and the question of identity; the term "marginaVminority" specifically refers to members of racial and cultural minorities who are socially and politically marginalized. The thesis argument is that popular music produced by members of cultural and racial minorities establishes cultural identity and resists racist discourse. Three marginaVminority popular music artists and their songs have been chosen for analysis in support of the argument: Gil Scott-Heron's "Gun," Tracy Chapman's "Fast Car" and Robbie Robertson's "Sacrifice." The thesis will draw from two fields of study; popular music and postcolonialism. Within the area of popular music, Theodor Adorno's "Standardization" theory is the focus. Within the area of postcolonialism, this thesis concentrates on two specific topics; 1) Stuart Hall's and Homi Bhabha's overlapping perspectives that identity is a process of cultural signification, and 2) Homi Bhabha's concept of the "Third Space." For Bhabha (1995a), the Third Space defines cultures in the moment of their use, at the moment of their exchange. The idea of identities arising out of cultural struggle suggests that identity is a process as opposed to a fixed center, an enclosed totality. Cultures arise from historical memory and memory has no center. Historical memory is de-centered and thus cultures are also de-centered, they are not enclosed totalities. This is what Bhabha means by "hybridity" of culture - that cultures are not unitary totalities, they are ways of knowing and speaking about a reality that is in constant flux. In this regard, the language of "Otherness" depends on suppressing or marginalizing the productive capacity of culture in the act of enunciation. The Third Space represents a strategy of enunciation that disrupts, interrupts and dislocates the dominant discursive construction of US and THEM, (a construction explained by Hall's concept of binary oppositions, detailed in Chapter 2). Bhabha uses the term "enunciation" as a linguistic metaphor for how cultural differences are articulated through discourse and thus how differences are discursively produced. Like Hall, Bhabha views culture as a process of understanding and of signification because Bhabha sees traditional cultures' struggle against colonizing cultures as transforming them. Adorno's theory of Standardization will be understood as a theoretical position of Western authority. The thesis will argue that Adorno's theory rests on the assumption that there is an "essence" to music, an essence that Adorno rationalizes as structure/form. The thesis will demonstrate that constructing music as possessing an essence is connected to ideology and power and in this regard, Adorno's Standardization theory is a discourse of White Western power. It will be argued that "essentialism" is at the root of Western "rationalization" of music, and that the definition of what constitutes music is an extension of Western racist "discourses" of the Other. The methodological framework of the thesis entails a) applying semiotics to each of the three songs examined and b) also applying Bhabha's model of the Third Space to each of the songs. In this thesis, semiotics specifically refers to Stuart Hall's retheorized semiotics, which recognizes the dual function of semiotics in the analysis of marginal racial/cultural identities, i.e., simultaneously represent embedded racial/cultural stereotypes, and the marginal raciaVcultural first person voice that disavows and thus reinscribes stereotyped identities. (Here, and throughout this thesis, "first person voice" is used not to denote the voice of the songwriter, but rather the collective voice of a marginal racial/cultural group). This dual function fits with Hall's and Bhabha's idea that cultural identity emerges out of cultural antagonism, cultural struggle. Bhabha's Third Space is also applied to each of the songs to show that cultural "struggle" between colonizers and colonized produces cultural hybridities, musically expressed as fusions of styles/sounds. The purpose of combining semiotics and postcolonialism in the three songs to be analyzed is to show that marginal popular music, produced by members of cultural and racial minorities, establishes cultural identity and resists racist discourse by overwriting identities of racial/cultural stereotypes with identities shaped by the first person voice enunciated in the Third Space, to produce identities of cultural hybridities. Semiotic codes of embedded "Black" and "Indian" stereotypes in each song's musical and lyrical text will be read and shown to be overwritten by the semiotic codes of the first person voice, which are decoded with the aid of postcolonial concepts such as "ambivalence," "hybridity" and "enunciation."

Educators' attitudes to philosophies of music education

This study used Q methodology to measure the extent to which individuals with five educational roles (student teacher, elementary music teacher, principal, high school music teacher, and music consultant) held five proposed philosophies of music education (hedonic, utilitarian, aesthetic cognitivism, aesthetic formalist, and praxial). Twenty-seven sUbjects participated in the Q study. These subjects were a convenience sample based on their educational role, accessibility, and willingness to participate. Participants completed a background sheet which indicated their background in music, and their responsibility for teaching music. The sUbjects in this Q study rank-ordered a set of 60 Q sort items (each item representing a proposed philosophical position) twice: Sort P to reflect current practice, and Sort I to reflect the ideal situation. The results of the sorting procedures were recorded by the participant on the response page which organized the rankings according to an approximated normal distribution as required by Q methodology. The analysis of the data suggested that the comparison across philosophical positions was significant and that the results of the interaction between philosophical position and educational role were significant, although educational role alone was not significant. Post-hoc analysis of the data was used to determine the significant differences between the levels of the, independent variables used in the model: philosophical position, educational role, and music background. A model of the association of the five philosophical positions was presented and discussed in relation to the Q study results. Further research could refine the Q sort items to better reflect each philosophical position.

The time-course of lexical activation in Japanese morphographic word recognition: Evidence for a character-driven processing model

This lexical decision study with eye tracking of Japanese two-kanji-character words investigated the order in which a whole two-character word and its morphographic constituents are activated in the course of lexical access, the relative contributions of the left and the right characters in lexical decision, the depth to which semantic radicals are processed, and how nonlinguistic factors affect lexical processes. Mixed-effects regression analyses of response times and subgaze durations (i.e., first-pass fixation time spent on each of the two characters) revealed joint contributions of morphographic units at all levels of the linguistic structure with the magnitude and the direction of the lexical effects modulated by readers’ locus of attention in a left-to-right preferred processing path. During the early time frame, character effects were larger in magnitude and more robust than radical and whole-word effects, regardless of the font size and the type of nonwords. Extending previous radical-based and character-based models, we propose a task/decision-sensitive character-driven processing model with a level-skipping assumption: Connections from the feature level bypass the lower radical level and link up directly to the higher character level.