Follow
Ognjen Savkovic
Title
Cited by
Cited by
Year
Semantics and validation of recursive SHACL
J Corman, JL Reutter, O Savković
International Semantic Web Conference, 318-336, 2018
682018
Validating Shacl Constraints over a Sparql Endpoint
J Corman, F Florenzano, JL Reutter, O Savković
International Semantic Web Conference, 145-163, 2019
352019
Semantic rule-based equipment diagnostics
G Mehdi, E Kharlamov, O Savković, G Xiao, EG Kalaycı, S Brandt, ...
International Semantic Web Conference, 314-333, 2017
312017
Semantically-enhanced rule-based diagnostics for industrial Internet of Things: The SDRL language and case study for Siemens trains and turbines
E Kharlamov, G Mehdi, O Savković, G Xiao, EG Kalaycı, M Roshchin
Journal of web semantics 56, 11-29, 2019
292019
Introducing datatypes in DL-Lite
O Savković, D Calvanese
ECAI 2012, 720-725, 2012
292012
Stable model semantics for recursive SHACL
M Andresel, J Corman, M Ortiz, JL Reutter, O Savkovic, M Simkus
Proceedings of The Web Conference 2020, 1570-1580, 2020
232020
Pg-keys: Keys for property graphs
R Angles, A Bonifati, S Dumbrava, G Fletcher, KW Hare, J Hidders, ...
Proceedings of the 2021 International Conference on Management of Data, 2423 …, 2021
192021
Semantic rules for machine diagnostics: execution and management
E Kharlamov, O Savkoviý, G Xiao, R Penaloza, G Mehdi, M Roshchin, ...
Proceedings of the 2017 ACM on Conference on Information and Knowledge …, 2017
152017
SemDia: semantic rule-based equipment diagnostics tool
G Mehdi, E Kharlamov, O Savković, G Xiao, EG Kalayci, S Brandt, ...
Proceedings of the 2017 ACM on Conference on Information and Knowledge …, 2017
142017
MAGIK: managing completeness of data
O Savkovic, M Paramita, S Paramonov, W Nutt
Proceedings of the 21st ACM international conference on Information and …, 2012
122012
SHACL2SPARQL: Validating a SPARQL Endpoint against Recursive SHACL Constraints.
J Corman, F Florenzano, JL Reutter, O Savkovic
ISWC (Satellites), 165-168, 2019
82019
Semantics and validation of recursive SHACL (extended version)
J Corman, JL Reutter, O Savkovic
Technical report KRDB18-1, KRDB Research Center, Free University of Bozen …, 2018
82018
Implementing query completeness reasoning
W Nutt, S Paramonov, O Savkovic
Proceedings of the 24th ACM International on Conference on Information and …, 2015
82015
Managing Datatypes in Ontology-Based Data Access
O Savkovic
Master's thesis, Free University of Bozen-Bolzano, Italy, 2011
82011
Turning The Partial-Closed World Assumption Upside Down.
S Razniewski, O Savkovic, W Nutt
AMW, 2016
72016
Complete approximations of incomplete queries
O Savković, P Mirza, A Tomasi, W Nutt
Proceedings of the VLDB Endowment 6 (12), 1378-1381, 2013
72013
Diagnostics of trains with semantic diagnostics rules
E Kharlamov, O Savković, M Ringsquandl, G Xiao, G Mehdi, EG Kalayc, ...
International Conference on Inductive Logic Programming, 54-71, 2018
62018
A Tractable Notion of Stratification for SHACL.
J Corman, JL Reutter, O Savkovic
ISWC (P&D/Industry/BlueSky), 2018
62018
Query stability in monotonic data-aware business processes
O Savkovic, E Marengo, W Nutt
19th International Conference on Database Theory (ICDT 2016), 2016
62016
An ASP approach to query completeness reasoning
S Paramonov, N Werner, S Ognjen
Theory and Practice of Logic Programming 13 (4-5), 1-11, 2013
52013
The system can't perform the operation now. Try again later.
Articles 1–20