AN EXPTIME UPPER BOUND FOR ALC WITH INTEGERS

von Labai, Nadia
Veröffentlicht in International Conference on Principles of Knowledge Representation and Reasoning (17. : 2020 : Online) 17th International Conference Principles on Knowledge Representation and Reasoning (KR2020) ; Volume 2 of 2 (2021)

Reasoning Web : Declarative Artificial Intelligence : 17th International Summer School 2021, Leuven, Belgium, September 8–15, 2021, Tutorial Lectures

Veröffentlicht 2022

DATALOG REWRITABILITY AND DATA COMPLEXITY OF ALCHOIF WITH CLOSED PREDICATES

von Gogacz, Tomasz
Veröffentlicht in International Conference on Principles of Knowledge Representation and Reasoning (17. : 2020 : Online) 17th International Conference Principles on Knowledge Representation and Reasoning (KR2020) ; Volume 1 of 2 (2021)

Magic Shapes for SHACL Validation

von Ahmetaj, Shqiponja
Veröffentlicht in International Conference on Very Large Data Bases (48. : 2022 : Sydney; Online) 48th International Conference on Very Large Data Bases (VLDB 2022) ; Part 4 of 6 (2023)

Repairing SHACL Constraint Violations Using Answer Set Programming

von Ahmetaj, Shqiponja
Veröffentlicht in International Semantic Web Conference (21. : 2022 : Online) The semantic web - ISWC 2022 (2022)

Relaxing and Restraining Queries for OBDA — Extended Abstract

von Andresel, Medina
Veröffentlicht in International Conference on Principles of Knowledge Representation and Reasoning (16. : 2018 : Tempe, Ariz.) Proceedings, Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (2018)

Ontology Focusing: Knowledge-Enriched Databases on Demand

von Gogacz, Tomasz
Veröffentlicht in European Conference on Artificial Intelligence (24. : 2020 : Online) ECAI 2020 ; Part 1 (2020)

Rules and reasoning : 8th international joint conference, RuleML+RR 2024, Bucharest, Romania, September 16-18, 2024 : proceedings

Veröffentlicht 2024