• ENG 
    • ENG
    • ITA
    • DEU
Search 
  •   Bozen-Bolzano Institutional Archive (BIA)
  • Free University of Bozen-Bolzano (unibz)
  • Publications of the Faculty of Computer Science
  • Search
  •   Bozen-Bolzano Institutional Archive (BIA)
  • Free University of Bozen-Bolzano (unibz)
  • Publications of the Faculty of Computer Science
  • Search
JavaScript is disabled for your browser. Some features of this site may not work without it.

Search

Show Advanced FiltersHide Advanced Filters

Filters

Use filters to refine the search results.

Now showing items 11-20 of 41

  • Sort Options:
  • Relevance
  • Title Asc
  • Title Desc
  • Issue Date Asc
  • Issue Date Desc
  • Results Per Page:
  • 5
  • 10
  • 20
  • 40
  • 60
  • 80
  • 100
  • Thumbnail

    Verification of Inconsistency-Aware Knowledge and Action Bases 

    Calvanese D; Kharlamov E; Montali M; Santoso A; Zheleznyakov D (CEUR-WS.org, 2013)
    Description Logic Knowledge and Action Bases (KABs) have been recently introduced as a mechanism to evolve a DL KB over time by means of actions that may acquire new information from the external environment. Decidability ...
  • Thumbnail

    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, ...
  • Thumbnail

    Semantic DMN: Formalizing Decision Models with Domain Knowledge (Extended Abstract) 

    Calvanese D; Dumas M; Maggi FM; Montali M (CEUR Electronic Workshop Proceedings, 2017)
  • Thumbnail

    The onprom Toolchain for Extracting Business Process Logs using Ontology-based Data Access 

    Calvanese D; Kalayci TE; Montali M; Santoso A (CEUR-WS.org, 2017)
    Process mining techniques require the input data to be explicitly structured in the form of an event log. Unfortunately, in many real world settings, such event logs are not explicitly given, but they are implicitly stored ...
  • Thumbnail

    Verification of Description Logic Knowledge and Action Bases 

    Bagheri Hariri B; Calvanese D; De Giacomo G; De Masellis R; Felli P; Montali M (Amsterdam, 2012)
    We introduce description logic (DL) Knowledge and Action Bases (KAB), a mechanism that provides both a semantically rich representation of the information on the domain of interest in terms of a DL KB and a set of actions ...
  • Thumbnail

    Verification of generalized inconsistency-aware knowledge and action bases 

    Calvanese D; Montali M; Santoso A (AAAI Press, 2015)
    Knowledge and Action Bases (KABs) have been put forward as a semantically rich representation of a domain, using a DL KB to account for its static aspects, and actions to evolve its extensional part over time, possibly ...
  • Thumbnail

    Description logic based dynamic systems: Modeling, verification, and synthesis 

    Calvanese D; Montali M; Patrizi F; De Giacomo G (AAAI Press, 2015)
    We study the data complexity of answering conjunctive queries over Description Logic knowledge bases constituted by a TBox and an ABox. In particular, we are interested in characterizing the FO-rewritability and the ...
  • Thumbnail

    Plan synthesis for knowledge and action bases 

    Calvanese D; Montali M; Patrizi F; Stawowy M (AAAI Press, 2016)
    We study plan synthesis for a variant of Knowledge and Action Bases (KABs), a rich, dynamic framework, where states are description logic (DL) knowledge bases (KBs) whose extensional part is manipulated by actions that ...
  • Thumbnail

    Ontology-Driven Extraction of Event Logs from Relational Databases 

    Calvanese D; Montali M; Syamsiyah A; Aalst WMP (Springer, 2015)
    Process mining is an emerging discipline whose aim is to discover, monitor and improve real processes by extracting knowledge from event logs representing actual process executions in a given organizational setting. In ...
  • Thumbnail

    Semantics and analysis of DMN decision tables 

    Calvanese D; Dumas M; Laurson Ü; Maggi FM; Montali M; Teinemaa I (Springer, 2016)
    The Decision Model and Notation (DMN) is a standard notation to capture decision logic in business applications in general and business processes in particular. A central construct in DMN is that of a decision table. The ...
  • 1
  • 2
  • 3
  • 4
  • 5

Browse

All of BIACommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CommunityBy Issue DateAuthorsTitlesSubjects

My Account

Admin Login

Discover

Author
Calvanese D (41)
Montali M (41)
De Giacomo G (13)Santoso A (12)Patrizi F (9)Bagheri Hariri B (5)Cardillo E (3)Deutsch A (3)Dumas M (3)Eccher C (3)... View MoreDate Issued2013 (11)2014 (7)2015 (7)2016 (5)2017 (5)2012 (4)2018 (2)Full Text Availabilityopen (29)internal (7)none (3)reserved (2)Type
Book chapter (41)
Has File(s)Yes (29)No (12)

Bia is a project of the University Library of Bozen-Bolzano (Learn More)
PrivacyContact Us
DSpace Express is a service operated by 
Atmire NV