2 citations · 2 across the 3 of their papers we have counts for
3 papers
cs.AI2017
The Bag Semantics of Ontology-Based Data Access
Charalampos Nikolaou, Egor V. Kostylev, George Konstantinidis +3
Ontology-based data access (OBDA) is a popular approach for integrating and querying multiple data sources by means of a shared ontology. The ontology is linked to the sources usin…
cs.AI2015★ 2 cited
Computing Horn Rewritings of Description Logics Ontologies
Mark Kaminski, Bernardo Cuenca Grau
We study the problem of rewriting an ontology O1 expressed in a DL L1 into an ontology O2 in a Horn DL L2 such that O1 and O2 are equisatisfiable when extended with an arbitrary da…
cs.LO2012
Correctness of an Incremental and Worst-Case Optimal Decision Procedure for Modal Logic with Eventualities
Mark Kaminski, Gert Smolka
We present a simple theory explaining the construction and the correctness of an incremental and worst-case optimal decision procedure for modal logic with eventualities. The proce…