Finite Open-world Query Answering with Number Restrictions

DOI10.1145/3365834zbMath1446.68050arXiv2003.02521OpenAlexW3040069683WikidataQ130970396 ScholiaQ130970396MaRDI QIDQ5121278

Antoine Amarilli, Michael Benedikt

Publication date: 11 September 2020

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

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

zbMATH Keywords

finite controllabilitychaseFDsUIDs

Mathematics Subject Classification ID

Database theory (68P15) Logic in computer science (03B70) Data structures (68P05)

This page was built for publication: Finite Open-world Query Answering with Number Restrictions