Showing cs.LOShow all
2 papers · 1 filter
cs.LO2025
On Syntactical Simplification of Temporal Operators in Negation-free MTL
Mathijs van Noort, Femke Ongenae, Pieter Bonte
Temporal reasoning in dynamic, data-intensive environments increasingly demands expressive yet tractable logical frameworks. Traditional approaches often rely on negation to expres…
cs.LO2024
RDF Surfaces: Enabling Classical Negation on the Semantic Web
Patrick Hochstenbach, Mathijs van Noort, Dörthe Arndt +5
The Resource Description Framework (RDF) is a fundamental technology in the Semantic Web, enabling the representation and interchange of structured data. However, RDF lacks the cap…