• Publications
  • Influence
Design and Implementation of the LogicBlox System
TLDR
The LogicBlox system aims to reduce the complexity of software development for modern applications which enhance and automate decision-making via a ``self-service'' model. Expand
  • 173
  • 24
  • PDF
Model theory for extended modal languages
207
  • 147
  • 17
  • PDF
On the Complexity of Hybrid Logics with Binders
TLDR
Hybrid logic refers to a group of logics lying between modal and first-order logic in which one can refer to individual states of the Kripke structure. Expand
  • 66
  • 14
  • PDF
Designing and refining schema mappings via data examples
TLDR
A schema mapping is a specification of the relationship between a source schema and a target schema. Expand
  • 89
  • 13
  • PDF
Multimo dal Logics of Products of Topologies
TLDR
We introduce the horizontal and vertical topologies on the product of topological spaces, and study their relationship with the standard product topology. Expand
  • 44
  • 12
  • PDF
Ontology-based data access: a study through disjunctive datalog, CSP, and MMSNP
TLDR
We study ontology-mediated queries, where the database queries are given as some form of conjunctive query and the ontologies are formulated in description logics or other relevant fragments of first-order logic, such as the guarded fragment and the unary-negation fragment. Expand
  • 162
  • 11
  • PDF
Hybrid logics
TLDR
This chapter provides an overview of the field of hybrid logic and provides a snapshot of the logical territory lying between the basic modal languages and their classical companions. Expand
  • 226
  • 10
  • PDF
Structural characterizations of schema-mapping languages
Schema mappings are declarative specifications that describe the relationship between two database schemas. In recent years, there has been an extensive study of schema mappings and of theirExpand
  • 74
  • 10
  • PDF
The complexity of query containment in expressive fragments of XPath 2.0
TLDR
Query containment has been studied extensively for fragments of XPath 1.0. Expand
  • 68
  • 10
  • PDF
The expressivity of XPath with transitive closure
TLDR
We extend Core XPath, the navigational fragment of XPath 1.0, with transitive closure and path equalities. Expand
  • 80
  • 8
...
1
2
3
4
5
...