Scorri Serie CEUR WORKSHOP PROCEEDINGS
Approaching OBDA Evolution through Mapping Repair
2016-01-01 Lembo, Domenico; Rosati, Riccardo; Santarelli, Valerio; Savo, Domenico Fabio; Thorstensen, Evgenij
Controlled Query Evaluation in Description Logics Through Instance Indistinguishability (Extended Abstract)
2020-01-01 Cima, Gianluca; Lembo, Domenico; Rosati, Riccardo; Savo, Domenico Fabio
COVER: Change-based goal verifier and reasoner
2017-01-01 Menghi, Claudio; Spoletini, Paola; Ghezzi, Carlo
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
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
Mapping Repair in Ontology-based Data Access Evolving Systems
2017-01-01 Lembo, Domenico; Rosati, Riccardo; Santarelli, Valerio; Savo, Domenico Fabio; Thorstensen, Evgenij
Mastro at work: Experiences on ontology-based data access
2010-01-01 Savo, Domenico Fabio; Lembo, D.; Lenzerini, M.; Poggi, A.; Rodriguez-Muro, M.; Romagnoli, V.; Ruzzi, M.; Stella, G.
The Mastro OBDA plug-in for Protégé
2017-01-01 Ronconi, Giacomo; Ruzzi, Marco; Santarelli, Valerio; Savo, Domenico Fabio
The Mastro Protégé plug-in for OBDA
2017-01-01 Ronconi, Giacomo; Ruzzi, Marco; Santarelli, Valerio; Savo, Domenico Fabio
Mastro Studio: a system for Ontology-Based Data Management
2013-01-01 Civili, Cristina; Console, Marco; Lembo, Domenico; Lepore, Lorenzo; Mancini, Riccardo; Poggi, Antonella; Santarelli, Valerio; Savo, Domenico Fabio; Ruzzi, Marco
Mastro: A reasoner for effective ontology-based data access
2012-01-01 De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Poggi, Antonella; Rosati, Riccardo; Ruzzi, Marco; Savo, Domenico Fabio
Data di pubblicazione | Titolo | Autore/i | Tipologia | Documento allegato |
---|---|---|---|---|
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-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-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-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-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 | |
1-gen-2017 | Mapping Repair in Ontology-based Data Access Evolving Systems | Lembo, Domenico; Rosati, Riccardo; Santarelli, Valerio; 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 | |
1-gen-2010 | Mastro at work: Experiences on ontology-based data access | Savo, Domenico Fabio; Lembo, D.; Lenzerini, M.; Poggi, A.; Rodriguez-Muro, M.; Romagnoli, V.; Ruzzi, M.; Stella, G. | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2017 | The Mastro OBDA plug-in for Protégé | Ronconi, Giacomo; Ruzzi, 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-2017 | The Mastro Protégé plug-in for OBDA | Ronconi, Giacomo; Ruzzi, 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-2013 | Mastro Studio: a system for Ontology-Based Data Management | Civili, Cristina; Console, Marco; Lembo, Domenico; Lepore, Lorenzo; Mancini, Riccardo; Poggi, Antonella; Santarelli, Valerio; Savo, Domenico Fabio; Ruzzi, Marco | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2012 | Mastro: A reasoner for effective ontology-based data access | De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Poggi, Antonella; 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 |
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