Publications – KAOS: Knowledge-Aware Operational Support

@inproceedings{2018-EKAW,
 title = {Conceptual Schema Transformation in Ontology-based Data Access},
 year = {2018},
 author = {Diego Calvanese and Tahir Emre Kalayci and Marco Montali and Ario Santoso and Wil van der Aalst},
 booktitle = {Proc. of the 21st Int. Conf. on Knowledge Engineering and Knowledge Management (EKAW 2018)},
 publisher = {Springer},
 series = {Lecture Notes in Computer Science},
 volume = {11313},
 pages = {50-67},
 isbn = {978-3-030-03667-6},
 doi = {10.1007/978-3-030-03667-6_4}
}

@article{AMCS-2018,
  title = "Ontology-based Access to Temporal Data with Ontop:  A Framework
Proposal",
   year = "2018",
   author = "Güzel Kalayci, Elem and Sebastian Brandt and Diego
Calvanese and Vladislav Ryzhikov and Guohui Xiao and Michael
Zakharyaschev",
   journal = "Applied Mathematics and Computer Science",
   note = "To appear"
}

@InProceedings{10.1007/978-3-319-98651-7_4,
 author = "Adamo, Greta and Borgo, Stefano and Di Francescomarino, Chiara and Ghidini, Chiara and Guarino, Nicola and Sanfilippo, Emilio M.",
 title = "Business Process Activity Relationships: Is There Anything Beyond Arrows?",
 booktitle = {Proc. of the BPM Forum at the 16th Int. Conf. on Business Process Management (BPM 2018)},
 year = "2018",
 publisher = "Springer",
 series = {Lecture Notes in Business Information Processing},
 volume = "329",
 pages = "53--70",
 doi = "10.1007/978-3-319-98651-7_4"
}

@inproceedings{IJCAI-2018,
 title     = {Ontology-Based Data Access: A Survey},
 author    = {Guohui Xiao and Diego Calvanese and Roman Kontchakov and Domenico Lembo and Antonella Poggi and Riccardo Rosati and Michael Zakharyaschev},
 booktitle = {Proc. of the 27th Int. Joint Conf. on Artificial Intelligence, {IJCAI-18}},
 publisher = {International Joint Conferences on Artificial Intelligence Organization},             
 pages     = {5511--5519},
 year      = {2018},
 month     = {7},
 doi       = {10.24963/ijcai.2018/777}
}

@inproceedings{ESWC-2018,
 author="Xiao, Guohui and Hovland, Dag and Bilidas, Dimitris and Rezk, Martin and Giese, Martin and Calvanese, Diego",
 title="Efficient Ontology-Based Data Integration with Canonical IRIs",
 booktitle="The Semantic Web",
 year="2018",
 publisher="Springer",
 pages="697--713",
 doi="10.1007/978-3-319-93417-4_45",
 isbn="978-3-319-93417-4"
}

@article{DBLP:journals/fuin/ChesaniMMFGMT18,
 author = {Federico Chesani and Paola Mello and Riccardo De Masellis and Chiara Di Francescomarino and Chiara Ghidini and Marco Montali and Sergio Tessaris},
 title = {Compliance in Business Processes with Incomplete Information and Time Constraints: a General Framework based on Abductive Reasoning},
 journal = {Fundam. Inform.},
 volume = {161},
 number = {1-2},
 pages = {75--111},
 year = {2018},
 doi = {10.3233/FI-2018-1696},
}
	
@article{MAGGI2018136,
 author = "Fabrizio Maria Maggi and Claudio Di Ciccio and Chiara Di Francescomarino and Taavi Kala",
 title = "Parallel algorithms for the automated discovery of declarative process models",
 journal = "Information Systems",
 volume = "74",
 pages = "136 - 152",
 year = 2018,
 note = "Special Issue on papers presented in the 20th IEEE Int. Enterprise Distributed Object Computing Conf., EDOC 2016",
 issn = "0306-4379",
 doi = "10.1016/j.is.2017.12.002"
}
	
@incollection{BPMDS-2018-AS,
 author = "Ario Santoso",
 title = "Specification-Driven Multi-Perspective Predictive Business Process Monitoring",
 booktitle = "Enterprise, Business-Process and Information Systems Modeling, BPMDS 2018, EMMSAD 2018",
 series = "Lecture Notes in Business Information Processing",
 volume=318,
 pages="97-113",
 publisher = "Springer",
 year = 2018,
 doi="10.1007/978-3-319-91704-7_7"
}

@TechReport{AS-CORR-18,
 author = "Ario Santoso",
 title =  "Specification-Driven Multi-Perspective Predictive Business Process Monitoring (Extended Version)",
 institution = "arXiv.org e-Print archive",
 year = 2018,
 type = "CoRR Technical Report",
 number = "arXiv:1804.00617",
 url = "https://arxiv.org/abs/1804.00617",
}

@incollection{SEBD25-2018,
 title = "First-order Ontology Mediated Database Querying via Query Reformulation",
 year = "2018",
 author = "Diego Calvanese and Enrico Franconi",
 editor = "Sergio Flesca and Sergio Greco and Elio Masciari and Domenico Saccà",
 booktitle = "A Comprehensive Guide Through the Italian Database Research Over the Last 25 Years",
 pages = "169--185",
 volume = "31",
 publisher = "Springer",
 series = "Studies in Big Data",
 doi = "10.1007/978-3-319-61893-7_10"
}
@InProceedings{Masellis2018,
 author="De Masellis, Riccardo and Di Francescomarino, Chiara and Ghidini, Chiara and Tessaris, Sergio",
 title="Enhancing Workflow-Nets with Data for Trace Completion",
 booktitle="Business Process Management Workshops",
 editor="Teniente, Ernest and Weidlich, Matthias",
 year="2018",
 publisher="Springer",
 pages="89--106",
 isbn="978-3-319-74030-0",
 doi="10.1007/978-3-319-74030-0_6"
}

@Inbook{Montali2017,
 author="Montali, Marco and Rivkin, Andrey",
 editor="Koutny, Maciej and Kleijn, Jetty and Penczek, Wojciech",
 title="DB-Nets: On the Marriage of Colored Petri Nets and Relational Databases",
 bookTitle="Transactions on Petri Nets and Other Models of Concurrency XII",
 year="2017",
 publisher="Springer",
 pages="91--118",
 isbn="978-3-662-55862-1",
 doi="10.1007/978-3-662-55862-1_5"
}

@Inbook{Guarino2017,
 author="Nicola Guarino",
 title="On the Semantics of Ongoing and Future Occurrence Identifiers",
 bookTitle="Conceptual Modeling: 36th International Conference, ER 2017, Valencia, Spain, November 6--9, 2017, Proceedings",
 year="2017",
 publisher="Springer",
 pages="477--490",
 isbn="978-3-319-69904-2",
 doi="10.1007/978-3-319-69904-2_36"
}

@inproceedings{Adamo-Jowo-coreog-2017,
 author = {Greta Adamo and Stefano Borgo and Chiara Di Francescomarino and Chiara Ghidini and Marco Rospocher},
 booktitle = {Proc. of the 8th Int. Workshop on Formal Ontologies meet Industry (FOMI 2017). Part of the Joint Ontology Workshops (JOWO 2017)},
 publisher = {CEUR-WS.org},
 series = {{CEUR} Workshop Proceedings},
 title = {{BPMN 2.0 Choreography Language: Interface or Business Contract?}},
 url = {http://ceur-ws.org/Vol-2050/FOMI_paper_2.pdf},
 year = {2017}
}

@inproceedings{Adamo-Jowo-BPM-2017,
 author = {Greta Adamo and Stefano Borgo and Chiara Di Francescomarino and Chiara Ghidini and Nicola Guarino and Emilio M. Sanfilippo},
 booktitle = {Proceedings of the 8th International Workshop on Formal Ontologies meet Industry (FOMI 2017). Part of the Joint Ontology Workshops (JOWO 2017)},
 publisher = {CEUR-WS.org},
 series = {{CEUR} Workshop Proceedings},
 title = {Business Processes Languages: An Ontology-based Perspective},
 url = {http://ceur-ws.org/Vol-2050/FOMI_paper_5.pdf},
 year = {2017}
}

@Inbook{Adamo-AIIA-2017,
 author="Greta Adamo and Stefano Borgo and Chiara Di Francescomarino and Chiara Ghidini and Nicola Guarino and Emilio M. Sanfilippo",
 title="Business Processes and Their Participants: An Ontological Perspective",
 bookTitle="AI*IA 2017 Advances in Artificial Intelligence: XVIth Int. Conf. of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedings",
 year="2017",
 publisher="Springer",
 pages="215--228",
 isbn="978-3-319-70169-1",
 doi="10.1007/978-3-319-70169-1_16"
}
	
@inproceedings{RuleML-RR-2017,
 author = "Diego Calvanese and Marlon Dumas and Fabrizio M. Maggi and Marco Montali",
 title = "Semantic {DMN}: Formalizing Decision Models with Domain Knowledge",
 booktitle = "Proc. of the Int. Joint Conf. on Rules and Reasoning ({RuleML+RR} 2017)",
 series = "Lecture Notes in Computer Science",
 volume = "10364",
 pages="70-86",
 publisher = "Springer",
 year = "2017",
 doi = "10.1007/978-3-319-61252-2_6"
}

@inproceedings{2017-BPM-Demo,
 author = {Diego Calvanese and Tahir Emre Kalayci and Marco Montali and Ario Santoso},
 title = {The onprom Toolchain for Extracting Business Process Logs using Ontology-based Data Access},
 booktitle = {Proc. of the BPM Demo Track and BPM Dissertation Award co-located with 15th Int. Conf. on Business Process Modeling (BPM 2017), Barcelona, Spain, September 13, 2017},
 series    = {{CEUR} Workshop Proceedings},
 volume    = {1920},
 publisher = {CEUR-WS.org},
 url = {http://ceur-ws.org/Vol-1920/BPM_2017_paper_207.pdf},
 year = {2017}
}	
@incollection{BPM-2017,
 author = "Chiara Di Francescomarino and Chiara Ghidini and Fabrizio M. Maggi and Giulio Petrucci and Anton Yeshchenko",
 title = "An Eye into the Future: Leveraging {A-priori} Knowledge in Predictive Business Process Monitoring",
 booktitle = {Proc. of the 15th Int. Conf. on Business Process Management ({BPM} 2017)},
 series = "Lecture Notes in Computer Science",
 volume="10445",
 pages="252-268",
 publisher = "Springer",
 year = "2017",
 doi="10.1007/978-3-319-65000-5_15"
}

@inbook{RW-2017,
 author = "Diego Calvanese and Tahir Emre Kalayci and Marco Montali and Ario Santoso",
 title = "{OBDA} for Log Extraction in Process Mining",
 booktitle = "Reasoning Web: Semantic Interoperability on the Web -- 13th Int. Reasoning Web Summer School ({RW} 2017)",
 series = "Lecture Notes in Computer Science",
 volume = "10370",
 pages="292-345",
 publisher = "Springer",
 year = "2017",
 doi = "10.1007/978-3-319-61033-7_9"
}

@inproceedings{BIS-2017,
 title = "Ontology-based Data Access for Extracting Event Logs from Legacy Data: The onprom Tool and Methodology",
 author = "Diego Calvanese and Tahir Emre Kalayci and Marco Montali and Stefano Tinella",
 booktitle = "Proc. of the 20th Int. Conf. on Business Information Systems ({BIS} 2017)",
 series = "Lecture Notes in Business Information Processing",
 volume = "288",
 pages = "220--236",
 publisher = "Springer",
 year = "2017",
 doi = "10.1007/978-3-319-59336-4_16"
}

@inproceedings{MasellisFGMT17,
 author = "Riccardo De Masellis and Chiara Di Francescomarino and Chiara Ghidini and Marco Montali and Sergio Tessaris",
 title = "Add Data into Business Process Verification: Bridging the Gap between Theory and Practice",
 booktitle = "Proc. of the 31st {AAAI} Conf. on Artificial Intelligence",
 pages = "1091--1099",
 year = "2017",
 publisher = "AAAI Press/The MIT Press",
 url = "http://aaai.org/ocs/index.php/AAAI/AAAI17/paper/view/14627"
}

@inproceedings{10.3233/978-1-61499-672-9-1734,
 author = "Federico Chesani and Riccardo De Masellis and Chiara Di Francescomarino and Chiara Ghidini and Paola Mello and Marco Montali and Sergio Tessaris",
 title = "Abducing Workflow Traces: {A} General Framework to Manage Incompleteness in Business Processes",
 booktitle = "Proc. of the 22nd European Conf. on Artificial Intelligence ({ECAI} 2016)",
 pages = "1734-1735",
 series = "Frontiers in Artificial Intelligence and Applications",
 volume = "285: ECAI 2016",
 year = "2016",
 publisher = "IOS Press",
 doi = "10.3233/978-1-61499-672-9-1734"
}

@inproceedings{10.1109/EDOC.2016.7579378,
 author = "Taavi Kala and Fabrizio Maria Maggi and Claudio Di Ciccio and Chiara Di Francescomarino",
 title = "Apriori and Sequence Analysis for Discovering Declarative Process Models",
 booktitle = "Proc. of the 20th {IEEE} Int. Enterprise Distributed Object Computing Conf. ({EDOC} 2016)",
 pages = "1-9",
 year = "2016",
 doi = "10.1109/EDOC.2016.7579378"
}