53 citations · 147 across the 32 of their papers we have counts for
7 papers · 1 filter
Expressiveness of SHACL Features and Extensions for Full Equality and Disjointness Tests
Bart Bogaerts, Maxime Jakubowski, Jan Van den Bussche
SHACL is a W3C-proposed schema language for expressing structural constraints on RDF graphs. Recent work on formalizing this language has revealed a striking relationship to descri…
Non-Deterministic Approximation Fixpoint Theory and Its Application in Disjunctive Logic Programming
Jesse Heyninck, Ofer Arieli, Bart Bogaerts
Approximation fixpoint theory (AFT) is an abstract and general algebraic framework for studying the semantics of nonmonotonic logics. It provides a unifying study of the semantics…
Executable First-Order Queries in the Logic of Information Flows
Heba Aamer, Bart Bogaerts, Dimitri Surinx +2
The logic of information flows (LIF) has recently been proposed as a general framework in the field of knowledge representation. In this framework, tasks of procedural nature can s…
Inputs, Outputs, and Composition in the Logic of Information Flows
Heba Aamer, Bart Bogaerts, Dimitri Surinx +2
The logic of information flows (LIF) is a general framework in which tasks of a procedural nature can be modeled in a declarative, logic-based fashion. The first contribution of th…
Tree-Like Justification Systems are Consistent
Simon Marynissen, Bart Bogaerts
Justification theory is an abstract unifying formalism that captures semantics of various non-monotonic logics. One intriguing problem that has received significant attention is th…
On Nested Justification Systems (full version)
Simon Marynissen, Jesse Heyninck, Bart Bogaerts +1
Justification theory is a general framework for the definition of semantics of rule-based languages that has a high explanatory potential. Nested justification systems, first intro…