Now showing items 1-6 of 6

    • Automatic business process model extension to repair constraint violations 

      Oriol Hilari, Xavier; Giacomo, Giuseppe De; Estañol Lamarca, Montserrat; Teniente López, Ernest (Springer, 2019)
      Conference report
      Open Access
      Consider an artifact-centric business process model, containing both a data model and a process model. When executing the process, it may happen that some of the data constraints from the data model are violated. Bearing ...
    • Embedding reactive behavior into artifact-centric business process models 

      Oriol Hilari, Xavier; Giacomo, Giuseppe De; Estañol Lamarca, Montserrat; Teniente López, Ernest (Elsevier, 2021-04-01)
      Article
      Restricted access - publisher's policy
      In artifact-centric business process models it is usually assumed that the specification of the activities requires stating all the effects of the activity execution over the information base (i.e. over the artifacts it ...
    • Instance-level update in DL-Lite ontologies through first-order rewriting 

      Giacomo, Giuseppe De; Oriol Hilari, Xavier; Rosati, Riccardo; Savo, Domenico Fabio (2021-04-10)
      Article
      Open Access
      In this paper we study instance-level update in DL-LiteA , a well-known description logic that influenced the OWL 2 QL standard. Instance-level update regards insertions and deletions in the ABox of an ontology. In particular ...
    • Linking data and BPMN processes to achieve executable models 

      Giacomo, Giuseppe De; Oriol Hilari, Xavier; Estañol Lamarca, Montserrat; Teniente López, Ernest (Springer, 2017)
      Conference report
      Open Access
      We describe a formally well founded approach to link data and processes conceptually, based on adopting UML class diagrams to represent data, and BPMN to represent the process. The UML class diagram together with a set of ...
    • Practical update management in ontology-based data access 

      Giacomo, Giuseppe De; Lembo, Domenico; Oriol Hilari, Xavier; Savo, Domenico Fabio; Teniente López, Ernest (Springer, 2017)
      Conference report
      Open Access
      Ontology-based Data Access (OBDA) is gaining importance both scientifically and practically. However, little attention has been paid so far to the problem of updating OBDA systems. This is an essential issue if we want to ...
    • Updating DL-Lite ontologies through first-order queries 

      Giacomo, Giuseppe De; Oriol Hilari, Xavier; Rosati, Riccardo; Savo, Domenico Fabio (Springer, 2016)
      Conference report
      Open Access
      In this paper we study instance-level update in DL-LiteA, the description logic underlying the OWL 2 QL standard. In particular we focus on formula-based approaches to ABox insertion and deletion. We show that DL-LiteA, ...