Managing Change in Graph-Structured Data Using Description Logics

DOI10.1145/3143803zbMath1407.68122arXiv1404.4274OpenAlexW2767711329WikidataQ114614072 ScholiaQ114614072MaRDI QIDQ4608716

Shqiponja Ahmetaj, Mantas Šimkus, Diego Calvanese, Magdalena Ortiz

Publication date: 22 March 2018

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1404.4274

zbMATH Keywords

planningstatic analysisintegrity constraintsgraph-structured data

Mathematics Subject Classification ID

Database theory (68P15) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items (2)

Ensuring Correctness of Model Transformations While Remaining Decidable ⋮ Actions over core-closed knowledge bases

This page was built for publication: Managing Change in Graph-Structured Data Using Description Logics