Verification of conjunctive-query based semantic artifacts?

Conference proceeding

Peer reviewed

Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo and Riccardo De Masellis

Proceedings of the 24th International Workshop on Description Logics (DL 2011), Vol.745, pp.48-58

CEUR Workshop Proceedings, 745

24th International Workshop on Description Logics (DL 2011) (Barcelona, 13/07/2011 - 16/07/2011)

2011

Handle:

https://hdl.handle.net/10863/34216

Files and links (1)

url

http://ceur-ws.org/Vol-745/paper_3.pdfView

Title: Verification of conjunctive-query based semantic artifacts?
Creators: Babak Bagheri Hariri
Diego Calvanese
Giuseppe De Giacomo
Riccardo De Masellis
Publication Details: Proceedings of the 24th International Workshop on Description Logics (DL 2011), Vol.745, pp.48-58
Editor(s): Rosati R, Rudolph S, Zakharyaschev M
ISSN: 1613-0073
Conference: 24th International Workshop on Description Logics (DL 2011) (Barcelona, 13/07/2011 - 16/07/2011)
Series / Volume: CEUR Workshop Proceedings
745
Publisher: CEUR Electronic Workshop Proceedings
Format: Online
Number of pages: 11
Identifiers: (UNIBZ)5616
991006494083801241
Scopus ID: 2-s2.0-84872961712
Academic Unit: Faculty of Computer Science
Language: English
Resource Type: Conference proceeding
Author Names String: Bagheri Hariri B, Calvanese D, De Giacomo G, De Masellis R
Additional Description: Editors/Supervisors: Rosati R, Rudolph S, Zakharyaschev M

3 Record Views