Now showing items 955-974 of 1650

    • OBDA Beyond Relational DBs: A Study for MongoDB 

      Botoeva E; Calvanese D; Cogrel B; Rezk M; Xiao G (CEUR-WS, 2016)
      The database landscape has been significantly diversified during the last decade, resulting in the emergence of a variety of non-relational (also called NoSQL) databases, e.g., XML and JSON-document databases, key-value ...
    • OBDA for Log Extraction in Process Mining 

      Calvanese D; Kalayci TE; Montali M; Santoso A (Springer, 2017)
      Process mining is an emerging area that synergically combines model-based and data-oriented analysis techniques to obtain useful insights on how business processes are executed within an organization. Through process mining, ...
    • OBDA Over Non-Relational Databases 

      Botoeva E; Calvanese D; Cogrel B; Rezk M; Xiao G (CEUR-WS, 2016)
      The database landscape has been significantly diversified during the last decade, resulting in the emergence of a variety of non-relational (also called NoSQL) databases, e.g., XML and JSON-document databases, key-value ...
    • OBDA with the Ontop Framework 

      Calvanese D; Cogrel B; Guzel Kalayci E; Komla Ebri S; Kontchakov R; Lanti D; Rezk M; Rodriguez-Muro M; Xiao G (Curran, 2015)
      Ontology-based data access (OBDA) has become a popular paradigm for accessing data stored in legacy sources using Semantic Web technologies. In the OBDA setting, users access the data through a conceptual layer, which ...
    • Object-Centric Behavioral Constraints: Integrating Data and Declarative Process Modelling 

      Artale A; Montali M; Tritini S; van der Aalst WMP (CEUR-WS.org, 2017)
    • Object-oriented software extensions in practice 

      Robbes R; Röthlisberger D; Tanter É (Kluwer Academic Publishers, 2015)
      As software evolves, data types have to be extended, possibly with new data variants or new operations. Object-oriented design is well-known to support data extensions well. In fact, most popular books showcase data ...
    • Observation and abstract behaviour in specification and implementation of state-based systems 

      Pahl C (British Computer Society, 2001)
      Classical algebraic specification is an accepted framework for specification. A criticism which applies is the fact that it is functional, not based on a notion of state as most software development and implementation ...
    • An observational user study for group recommender systems in the tourism domain 

      Delic A; Neidhardt J; Nguyen TN; Ricci G (2018)
      In this article we argue and give evidence that the research on group recommender systems must look more carefully at the dynamics of group decision-making in order to produce technologies that will be truly beneficial for ...
    • OCL-Lite: A decidable (yet expressive) fragment of OCL 

      Queralt A; Artale A; Calvanese D; Teniente E (CEUR-WS.org, 2012)
      UML has become a de facto standard in conceptual modeling. Class diagrams in UML allow one to model the data in the domain of interest by specifying a set of graphical constraints. However, in most cases one needs to provide ...
    • OCL-Lite: Finite reasoning on UML/OCL conceptual schemas 

      Queralt A; Artale A; Calvanese D; Teniente E (2012)
      To ensure the quality of an information system we must guarantee the correctness of the conceptual schema that represents the knowledge about its domain. The high expressivity of UML schemas annotated with textual OCL ...
    • Off-diagonal low-rank preconditioner for difficult PageRank problems 

      Shen ZL; Huang TZ; Carpentieri B; Wen C; Gu XM; Tan XY (North-Holland, 2019)
      PageRank problem is the cornerstone of Google search engine and is usually stated as solving a huge linear system. Moreover, when the damping factor approaches 1, the spectrum properties of this system deteriorate rapidly ...
    • On first-order μ-calculus over situation calculus action theories 

      Calvanese D; De Giacomo G; Montali M; Patrizi F (AAAI Press, 2016)
      In this paper we study verification of situation calculus action theories against first-order mu-calculus with quantification across situations. Specifically, we consider muLa and muLp, the two variants of mu-calculus ...
    • On how often code is cloned across repositories 

      Schwarz N; Lungu M; Robbes R (IEEE Computer Society, 2012)
      Detecting code duplication in large code bases, or even across project boundaries, is problematic due to the massive amount of data involved. Large-scale clone detection also opens new challenges beyond asking for the ...
    • On porting software visualization tools to the web 

      D'Ambros M; Lanza M; Lungu M; Robbes R (2011)
      Software systems are hard to understand due to the complexity and the sheer size of the data to be analyzed. Software visualization tools are a great help as they can sum up large quantities of data in dense, meaningful ...
    • On Rewriting and Answering Queries in OBDA Systems for Big Data 

      Calvanese D; Horrocks I; Jiménez-Ruiz E; Kharlamov E; Meier M; Rodriguez-Muro M; Zheleznyakov D (RWTH, 2013)
      The project Optique aims at providing an end-to-end solution for scalable access to Big Data integration, were end users will formulate queries based on a familiar conceptualization of the underlying domain. From the users ...
    • On Simplification of Schema Mappings 

      Calvanese D; De Giacomo G; Lenzerini M; Vardi M (2013)
      A schema mapping is a formal specification of the relationship holding between the databases conforming to two given schemas, called source and target, respectively. While in the general case a schema mapping is specified ...
    • On Temporal Regulations and Commitment Protocols 

      Marengo, E; Baldoni, M; Baroglio, C (AAAI Press, 2011)
      The proposal of Elisa Marengo's thesis is to extend commitment protocols in order to (i) allow for expressing commitments to temporal regulations, and (ii) to supply a tool for expressing laws, conventions and the like, ...
    • On the Cognitive and Logical Role of Image Schemas in Computational Conceptual Blending 

      Hedblom M; Kutz O; Neuhaus F (CEUR-WS.org, 2014)
      In cognitive science, image schemas are identified as the fundamental patterns for the cognition of objects, which are perceived, conceptualised and manipulated in space and time. In this paper, we discuss a role for image ...
    • On the Comprehension of Workflows Modeled with a Precise Style: Results from a Family of Controlled Experiments 

      Reggio, G; Ricca, F; Scanniello, G; Dodero, G; Di Cerbo, F (Springer Verlag (Germany), 2015)
      In this paper, we present the results from a family of experiments conducted to assess whether the level of formality/precision in workflow modeling, based on UML activity diagrams, influences two aspects of construct ...
    • On the decidability status of fuzzy ALC with general concept inclusions 

      Baader, F; Borgwardt, S; Penaloza, R (Springer Verlag (Germany), 2015)
      The combination of Fuzzy Logics and Description Logics (DLs) has been investigated for at least two decades because such fuzzy DLs can be used to formalize imprecise concepts. In particular, tableau algorithms for crisp ...