- ORCID iD
-
0000-0003-2719-5402
Show
Sort by
-
- Journal Article
- A1
- open access
On syntactical simplification of temporal operators in negation-free metric temporal logic
-
- Conference Paper
- P1
- open access
RDF surfaces as a first-order language for the Semantic Web
-
- Miscellaneous
- open access
RDF surfaces : enabling classical negation on the semantic web
(2024) SEMANTIC WEB. -
- Conference Paper
- C1
- open access
Formalizing stream reasoning for a decentralized semantic web
(2023) The Semantic Web : ESWC 2023 Satellite Events. In Lecture Notes in Computer Science 13998. p.277-287