Search Results for author: Dmitriy Zheleznyakov

Found 4 papers, 0 papers with code

On Expansion and Contraction of DL-Lite Knowledge Bases

no code implementations25 Jan 2020 Dmitriy Zheleznyakov, Evgeny Kharlamov, Werner Nutt, Diego Calvanese

Moreover, we show that well-known formula-based approaches are also not appropriate for DL-Lite expansion and contraction: they either have a high complexity of computation, or they produce logical theories that cannot be expressed in DL-Lite.

Towards Analytics Aware Ontology Based Access to Static and Streaming Data (Extended Version)

no code implementations18 Jul 2016 Evgeny Kharlamov, Yannis Kotidis, Theofilos Mailis, Christian Neuenstadt, Charalampos Nikolaou, Özgür Özcep, Christoforos Svingos, Dmitriy Zheleznyakov, Sebastian Brandt, Ian Horrocks, Yannis Ioannidis, Steffen Lamparter, Ralf Möller

Real-time analytics that requires integration and aggregation of heterogeneous and distributed streaming and static data is a typical task in many industrial scenarios such as diagnostics of turbines in Siemens.

Controlled Query Evaluation for Datalog and OWL 2 Profile Ontologies

no code implementations24 Apr 2015 Bernardo Cuenca Grau, Evgeny Kharlamov, Egor V. Kostylev, Dmitriy Zheleznyakov

We study confidentiality enforcement in ontologies under the Controlled Query Evaluation framework, where a policy specifies the sensitive information and a censor ensures that query answers that may compromise the policy are not returned.

Verification of Inconsistency-Aware Knowledge and Action Bases (Extended Version)

no code implementations23 Apr 2013 Diego Calvanese, Evgeny Kharlamov, Marco Montali, Ario Santoso, Dmitriy Zheleznyakov

Description Logic Knowledge and Action Bases (KABs) have been recently introduced as a mechanism that provides a semantically rich representation of the information on the domain of interest in terms of a DL KB and a set of actions to change such information over time, possibly introducing new objects.

Cannot find the paper you are looking for? You can Submit a new open access paper.