Now showing items 1-20 of 1753

    • On Metric Temporal Description Logics 

      Gutierrez-Basulto V; Ozaki A; Jung J (IOS Press, 2016)
      We introduce metric temporal description logics (mTDLs) as combinations of the classical description logic ALC with (a) LTLbin, an extension of the temporal logic LTL with succinctly represented intervals, and (b) metric ...
    • Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering: 12th International Summer School Tutorial Lectures 

      Pan JZ; Calvanese D; Eiter T; Horrocks I; Kifer M; Lin F; Zhao Y (Springer International Publishing, 2017)
      This volume contains some lecture notes of the 12th Reasoning Web Summer School (RW 2016), held in Aberdeen, UK, in September 2016. In 2016, the theme of the school was “Logical Foundation of Knowledge Graph Construction ...
    • Metric Temporal Description Logics with Interval-Rigid Names 

      Baader F; Borgwardt S; Koopmann P; Ozaki A; Thost V (Springer, 2017)
      In contrast to qualitative linear temporal logics, which can be used to state that some property will eventually be satisfied, metric temporal logics allow to formulate constraints on how long it may take until the property ...
    • CEUR Workshop Proceedings: Preface 

      Tkalčič M; De Carolis B; De Gemmis M; Košir A (CEUR-WS, 2016)
    • Key challenges in software startups across life cycle stages 

      Wang X; Edison H; Bajwa S; Giardino C; Abrahamsson P (Springer, 2016)
      Software startups are challenging endeavours, with various road blocks on their path to success. The current understanding of the challenges that software startups may encounter is very limited. In this paper, we use the ...
    • A personality-based adaptive system for visualizing classical music performances 

      Schedl M; Melenhorst MS; Liem CCS; Martorell A; Mayor O; Tkalcic M (ACM, 2016)
      To enhance the experience of listening to classical orchestra music, either in the concert hall or at home, we present a personalized system that integrates three visualization/interaction concepts: Score Follower (points ...
    • Extending the Kernel of a Relational DBMS with Comprehensive Support for Sequenced Temporal Queries 

      Dignös A; Böhlen MH; Gamper J; Jensen CS (ACM, 2016)
      Many databases contain temporal, or time-referenced, data and use intervals to capture the temporal aspect. While SQL-based database management systems (DBMSs) are capable of supporting the management of interval data, the ...
    • What happens when software developers are (un)happy 

      Graziotin D; Fagerholm F; Wang X; Abrahamsson P (Elsevier Inc., 2018)
      The growing literature on affect among software developers mostly reports on the linkage between happiness, software quality, and developer productivity. Understanding happiness and unhappiness in all its components – ...
    • Completeness Management for RDF Data Sources 

      Darari F; Nutt W; Pirrò G; Razniewski S (2018)
      The Semantic Web is commonly interpreted under the open-world assumption, meaning that information available (e.g., in a data source) captures only a subset of the reality. Therefore, there is no certainty about whether ...
    • Formalizing Application Integration Patterns 

      Ritter D; Rinderle-Ma S; Montali M; Rivkin A; Sinha A (IEEE Computer Society Press, 2018)
      Enterprise Integration Patterns (EIPs) and their extensions denote the informally described building blocks of current Enterprise Application Integration (EAI) systems. Although a recent approach strives to provide an EIP ...
    • The buried presence of entrepreneurial experience-based learning in software startups 

      Khanna D; Wang X (CEUR-WS, 2018)
      In less than a decade, software startups gained a lot of atten- tion. Scholars and practitioners got the opportunity to inspect different aspects of software startups, including success, failure, challenges and growth. A ...
    • Personality and taxonomy preferences, and the influence of category choice on the user experience for music streaming services 

      Ferwerda B; Yang E; Schedl M; Tkalcic M (Multimedia Tools and Applications, 2019)
      Music streaming services increasingly incorporate different ways for users to browse for music. Next to the commonly used “genre” taxonomy, nowadays additional taxonomies, such as mood and activities, are often used. As ...
    • An advanced system to support cognitive rehabilitation in multiple sclerosis 

      Gaspari M; Zini F; Castellano D; Pinardi F; Stecchi S (IEEE, 2017)
      Recent studies demonstrate the benefits of cognitive rehabilitation (CR) showing that it reduces cognitive impairment in Multiple Sclerosis (MS) improving performance of patients in memory and attention. However, CR ...
    • Turn taking with turn-talk in group: Actions and reflections with children and teachers 

      Gennari R; Melonio A; Rizvi M (2019)
      Conversations are structured by norms for turn taking. Turn taking is practiced in primary schools, starting from 8 years of age, when turn taking is used for managing group conversations. Being rather abstract for children ...
    • Ontop-temporal: A Tool for Ontology-based Query Answering over Temporal Data 

      Güzel Kalayci E; Xiao G; Ryzhikov V; Kalayci TE; Calvanese D (ACM, 2018)
      We present Ontop-temporal, an extension of the ontology-based data access system Ontop for query answering with temporal data and ontologies. Ontop is a system to answer SPARQL queries over various data stores, using ...
    • Attributed Description Logics: Ontologies for Knowledge Graphs 

      Krötzsch M; Marx M; Ozaki A; Thost V (Springer, 2017)
      In modelling real-world knowledge, there often arises a need to represent and reason with meta-knowledge. To equip description logics (DLs) for dealing with such ontologies, we enrich DL concepts and roles with finite sets ...
    • From MVPs to Pivots: A Hypothesis-Driven Journey of Two Software Startups 

      Khanna D; Nguyen DA; Wang X (Springer, 2018)
      Software startups have emerged as an interesting multiper-spective research area. Inspired by Lean Startup, a startup journey can be viewed as a series of experiments that validate a set of business hypotheses an entrepreneurial ...
    • On Help and Interpersonal Control 

      Bottazzi E; Troquard N (Springer, 2015)
      Help is not much considered in the literature of analytic social philosophy. According to Tuomela (Cooperation – a philosophical study, Springer, 2000), when a helps an agent b (1) a contributes to the achievement of b’s ...
    • Towards Trustworthy Financial Reports Using Blockchain 

      D’Atri G; Le VT; Pahl C; El Ioini N (IARIA, 2019)
      The need to develop a system for dealing with the transparency analysis of financial reports has pushed companies to look for possible solutions to store their data in a reliable and trustworthy database, that enables all ...
    • An Exploration of Cognitive Shifting in Writing Code 

      Fronza I; Hellas A; Ihantola P; Mikkonen T (ACM, 2019)
      Programming is considered a demanding task that requires focusing on detail at code level. Students learning to program need to learn to think like a programmer, which involves coming up with plans needed to solve problems, ...