M. Andreşel
J. Corman
M. Ortiz
J.L. Reutter
O. Savkovic
M. Simkus
2020
Stable model semantics for recursive SHACL
Proceedings of WWW
1570–1580
10.1145/3366423.3380229
Grigoris Antoniou
Paul Groth
Frank van Harmelen
Rinke Hoekstra
2012
A Semantic Web Primer, 3rd Edition
MIT Press
F. Baader
I. Horrocks
C. Lutz
U. Sattler
2017
An Introduction to Description Logic
Cambridge University Press
10.1017/9781139025355
Bart Bogaerts
2019
Weighted Abstract Dialectical Frameworks through the Lens of Approximation Fixpoint Theory
Proceedings of AAAI
2686–2693
10.1609/aaai.v33i01.33012686
Bart Bogaerts
Luís Cruz-Filipe
2018
Fixpoint Semantics for Active Integrity Constraints
AIJ
255
43–70
10.1016/j.artint.2017.11.003
Bart Bogaerts
Luís Cruz-Filipe
2021
Stratification in Approximation Fixpoint Theory and Its Application to Active Integrity Constraints
ACM Trans. Comput. Log.
22
1
6:1–6:19
10.1145/3430750
Bart Bogaerts
Maxime Jakubowski
Jan Van den Bussche
2021
SHACL: A Description Logic in Disguise
CoRR
abs/2108.06096
Bart Bogaerts
Joost Vennekens
Marc Denecker
2015
Grounded fixpoints and their applications in knowledge representation
AIJ
224
51–71
10.1016/j.artint.2015.03.006
I. Boneva
J.E. Labro Gayo
E.G. Prud'hommeaux
2017
Semantics and validation of shape schemas for RDF
Proceedings of ISWC
104–120
10.1007/978-3-319-68288-4_7
Gerhard Brewka
Hannes Strass
Stefan Ellmauthaler
Johannes Peter Wallner
Stefan Woltran
2013
Abstract Dialectical Frameworks Revisited
Proceedings of IJCAI
803–809
10.5555/2540128.2540245
Angelos Charalambidis
Panos Rondogiannis
Ioanna Symeonidou
2018
Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs
TPLP
18
3-4
421–437
10.1017/S1471068418000108
J. Corman
J.L. Reutter
O. Savkovic
2018
Semantics and validation of recursive SHACL
Proceedings of ISWC
318–336
Extended version, technical report KRDB18-01
Broes De Cat
Bart Bogaerts
Maurice Bruynooghe
Gerda Janssens
Marc Denecker
2016
Predicate Logic as a Modelling Language: The IDP System
CoRR
abs/1401.6312v2
10.1145/3191315.3191321
Marc Denecker
Victor Marek
Mirosław Truszczyński
2000
Approximations, Stable Operators, Well-Founded Fixpoints and Applications in Nonmonotonic Reasoning
Logic-Based Artificial Intelligence
127–144
10.1007/978-1-4615-1567-8_6
Marc Denecker
Victor Marek
Mirosław Truszczyński
2003
Uniform semantic treatment of default and autoepistemic logics
AIJ
143
1
79–122
10.1016/S0004-3702(02)00293-X
Marc Denecker
Victor Marek
Mirosław Truszczyński
2004
Ultimate approximation and its application in nonmonotonic knowledge representation systems
Information and Computation
192
1
84–121
10.1016/j.ic.2004.02.004
Marc Denecker
Joost Vennekens
2014
The Well-Founded Semantics Is the Principle of Inductive Definition, Revisited
Proceedings of KR
22–31
10.5555/3031929.3031933
Melvin Fitting
2002
Fixpoint semantics for logic programming — A survey
Theoretical Computer Science
278
1-2
25–51
10.1016/S0304-3975(00)00330-3
Fangfang Liu
Yi Bi
Md. Solimul Chowdhury
Jia-Huai You
Zhiyong Feng
2016
Flexible Approximators for Approximating Fixpoint Theory
Proceedings of Canadian AI
224–236
10.1007/978-3-319-34111-8_28
2012
OWL 2 Web Ontology Language: Structural Specification and Functional-Style Syntax
W3C Recommendation
Nikolay Pelov
Marc Denecker
Maurice Bruynooghe
2007
Well-founded and Stable Semantics of Logic Programs with Aggregates
TPLP
7
3
301–353
10.1017/S1471068406002973
2014
RDF 1.1 Primer
W3C Working Group Note
https://www.w3.org/TR/rdf11-primer/
2017
Shapes Constraint Language (SHACL)
W3C Recommendation
https://www.w3.org/TR/shacl/
Hannes Strass
2013
Approximating operators and semantics for abstract dialectical frameworks
AIJ
205
39–70
10.1016/j.artint.2013.09.004
Mirosław Truszczyński
2006
Strong and uniform equivalence of nonmonotonic theories - an algebraic approach
Ann. Math. Artif. Intell.
48
3-4
245–265
10.1007/s10472-007-9049-2
Maarten H. van Emden
Robert A. Kowalski
1976
The Semantics of Predicate Logic as a Programming Language
J. ACM
23
4
733–742
10.1145/321978.321991
Joost Vennekens
David Gilis
Marc Denecker
2006
Splitting an operator: Algebraic modularity results for logics with fixpoint semantics
ACM Trans. Comput. Log.
7
4
765–797
10.1145/1182613.1189735
Joost Vennekens
Maarten Mariën
Johan Wittocx
Marc Denecker
2007
Predicate Introduction for Logics With a Fixpoint Semantics. Parts I and II
Fundamenta Informaticae
79
1-2
187–227
10.5555/2366527.2366536