Scorri Serie CEUR WORKSHOP PROCEEDINGS
AI vs. Human: Effectiveness of LLMs in Simplifying Italian Administrative Documents
2024-01-01 Russodivito, Marco; Ganfi, Vittorio; Fiorentino, Giuliana; Oliveto, Rocco
Approaching OBDA Evolution through Mapping Repair
2016-01-01 Lembo, Domenico; Rosati, Riccardo; Santarelli, Valerio; Savo, Domenico Fabio; Thorstensen, Evgenij
Building Foundations for Inclusiveness through Expert-Annotated Data
2024-01-01 La Quatra, Moreno; Greco, Salvatore; Cagliero, Luca; Tonti, Michela; Dragotto, Francesca; Raus, Rachele; Cavagnoli, Stefania; Cerquitelli, Tania
Controlled query evaluation in description logics through instance indistinguishability
2020-01-01 Cima, Gianluca; Lembo, Domenico; Rosati, Riccardo; Savo, Domenico Fabio
Controlled Query Evaluation in Description Logics Through Instance Indistinguishability (Extended Abstract)
2020-01-01 Cima, Gianluca; Lembo, Domenico; Rosati, Riccardo; Savo, Domenico Fabio
Controlled Query Evaluation in DL-Lite through Epistemic Protection Policies (Extended Abstract)
2024-01-01 Cima, Gianluca; Lembo, Domenico; Marconi, Lorenzo; Rosati, Riccardo; Savo, Domenico Fabio
COVER: Change-based goal verifier and reasoner
2017-01-01 Menghi, Claudio; Spoletini, Paola; Ghezzi, Carlo
Dynamic Controlled Query Evaluation over DL-Lite Ontologies (Extended Abstract)
2023-01-01 Bonatti, P.; Cima, G.; Lembo, D.; Marconi, L.; Rosati, R.; Sauro, L.; Savo, Domenico Fabio
Efficient approximation in DL-Lite of OWL 2 ontologies
2013-01-01 Console, Marco; Santarelli, Valerio; Savo, Domenico Fabio
Filling the Gap between OWL 2 QL and QuOnto: ROWLKit
2009-01-01 Corona, Claudio; Ruzzi, Marco; Savo, Domenico Fabio
Flexible Querying in Geo-Finder
2012-01-01 Bordogna, Gloria; Psaila, Giuseppe
The foundation of Evolutionary Petri Nets
2013-01-01 Nobile, MARCO S.; Besozzi, Daniela; Cazzaniga, Paolo; Mauri, Giancarlo
From Legal Contracts to Formal Specifications: A Progress Report
2021-01-01 Soavi, Michele; Zeni, Nicola; Mylopoulos, Ioannis; Mich, Luisa
A graph-based approach for classifying OWL 2 QL ontologies
2013-01-01 Lembo, Domenico; Santarelli, Valerio; Savo, Domenico Fabio
Graphical Representation of OWL 2 Ontologies through Graphol
2014-01-01 Console, Marco; Lembo, Domenico; Santarelli, Valerio; Savo, Domenico Fabio
Graphol: Ontology Representation through Diagrams
2014-01-01 Console, Marco; Lembo, Domenico; Santarelli, Valerio; Savo, Domenico Fabio
Inconsistency-tolerant first-order rewritability of DL-lite with identification and denial assertions
2012-01-01 Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo; Ruzzi, Marco; Savo, Domenico Fabio
Insights into the Complexity of Disentangling Temporal Graphs
2022-01-01 Dondi, Riccardo
LatInfLexi: An inflected Lexicon of Latin verbs
2018-01-01 Pellegrini, Matteo; Passarotti, Marco
Mapping Analysis in Ontology-based Data Access: Algorithms and Complexity (Extended Abstract)
2015-01-01 Lembo, Domenico; Mora, José; Rosati, Riccardo; Savo, Domenico Fabio; Thorstensen, Evgenij
| Data di pubblicazione | Titolo | Autore/i | Tipologia | Documento allegato |
|---|---|---|---|---|
| 1-gen-2024 | AI vs. Human: Effectiveness of LLMs in Simplifying Italian Administrative Documents | Russodivito, Marco; Ganfi, Vittorio; Fiorentino, Giuliana; Oliveto, Rocco | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2016 | Approaching OBDA Evolution through Mapping Repair | Lembo, Domenico; Rosati, Riccardo; Santarelli, Valerio; Savo, Domenico Fabio; Thorstensen, Evgenij | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.02 Abstract in atti di convegno - Conference abstracts | |
| 1-gen-2024 | Building Foundations for Inclusiveness through Expert-Annotated Data | La Quatra, Moreno; Greco, Salvatore; Cagliero, Luca; Tonti, Michela; Dragotto, Francesca; Raus, Rachele; Cavagnoli, Stefania; Cerquitelli, Tania | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2020 | Controlled query evaluation in description logics through instance indistinguishability | Cima, Gianluca; Lembo, Domenico; Rosati, Riccardo; Savo, Domenico Fabio | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.02 Abstract in atti di convegno - Conference abstracts | |
| 1-gen-2020 | Controlled Query Evaluation in Description Logics Through Instance Indistinguishability (Extended Abstract) | Cima, Gianluca; Lembo, Domenico; Rosati, Riccardo; Savo, Domenico Fabio | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2024 | Controlled Query Evaluation in DL-Lite through Epistemic Protection Policies (Extended Abstract) | Cima, Gianluca; Lembo, Domenico; Marconi, Lorenzo; Rosati, Riccardo; Savo, Domenico Fabio | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2017 | COVER: Change-based goal verifier and reasoner | Menghi, Claudio; Spoletini, Paola; Ghezzi, Carlo | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.03 Testi di poster in atti di convegno - Conference posters | |
| 1-gen-2023 | Dynamic Controlled Query Evaluation over DL-Lite Ontologies (Extended Abstract) | Bonatti, P.; Cima, G.; Lembo, D.; Marconi, L.; Rosati, R.; Sauro, L.; Savo, Domenico Fabio | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.02 Abstract in atti di convegno - Conference abstracts | |
| 1-gen-2013 | Efficient approximation in DL-Lite of OWL 2 ontologies | Console, Marco; Santarelli, Valerio; Savo, Domenico Fabio | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2009 | Filling the Gap between OWL 2 QL and QuOnto: ROWLKit | Corona, Claudio; Ruzzi, Marco; Savo, Domenico Fabio | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2012 | Flexible Querying in Geo-Finder | Bordogna, Gloria; Psaila, Giuseppe | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2013 | The foundation of Evolutionary Petri Nets | Nobile, MARCO S.; Besozzi, Daniela; Cazzaniga, Paolo; Mauri, Giancarlo | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2021 | From Legal Contracts to Formal Specifications: A Progress Report | Soavi, Michele; Zeni, Nicola; Mylopoulos, Ioannis; Mich, Luisa | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2013 | A graph-based approach for classifying OWL 2 QL ontologies | Lembo, Domenico; Santarelli, Valerio; Savo, Domenico Fabio | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2014 | Graphical Representation of OWL 2 Ontologies through Graphol | Console, Marco; Lembo, Domenico; Santarelli, Valerio; Savo, Domenico Fabio | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.02 Abstract in atti di convegno - Conference abstracts | |
| 1-gen-2014 | Graphol: Ontology Representation through Diagrams | Console, Marco; Lembo, Domenico; Santarelli, Valerio; Savo, Domenico Fabio | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2012 | Inconsistency-tolerant first-order rewritability of DL-lite with identification and denial assertions | Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo; Ruzzi, Marco; Savo, Domenico Fabio | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2022 | Insights into the Complexity of Disentangling Temporal Graphs | Dondi, Riccardo | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2018 | LatInfLexi: An inflected Lexicon of Latin verbs | Pellegrini, Matteo; Passarotti, Marco | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2015 | Mapping Analysis in Ontology-based Data Access: Algorithms and Complexity (Extended Abstract) | Lembo, Domenico; Mora, José; Rosati, Riccardo; Savo, Domenico Fabio; Thorstensen, Evgenij | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile