Ahmetaj, Shqiponja; Calvanese, Diego; Ortiz, Magdalena; Šimkus, Mantas Managing change in graph-structured data using description logics. (English) Zbl 1407.68122 ACM Trans. Comput. Log. 18, No. 4, Article No. 27, 35 p. (2017). Cited in 6 Documents MSC: 68P15 Database theory 68T27 Logic in artificial intelligence 68T30 Knowledge representation Keywords:integrity constraints; graph-structured data; planning; static analysis × Cite Format Result Cite Review PDF Full Text: DOI arXiv