#### Filter Results:

- Full text PDF available (83)

#### Publication Year

2000

2016

- This year (0)
- Last 5 years (32)
- Last 10 years (66)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Balder ten Cate, Massimo Franceschet
- CSL
- 2005

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. In particular, the hybrid logic HL(@, ↓) is an appealing extension of modal logic that allows one to refer to a state by means of the given names and to dynamically create new names for a state.… (More)

The Terminology Box (TBox) of a Description Logic (DL) knowledge base is used to define new concepts in terms of primitive concepts and relations. The topic of this paper is the effect of the available operations in a DL on the length and the syntactic shape of definitions in a Terminology Box. Defining new concepts can be done in two ways: (1) in an… (More)

- Balder ten Cate, Carsten Lutz
- J. ACM
- 2007

XPath is a prominent W3C standard for navigating XML documents that has stimulated a lot of research into query answering and static analysis. In particular, query containment has been studied extensively for fragments of the 1.0 version of this standard, whereas little is known about query containment in (fragments of) the richer language XPath 2.0. In… (More)

- Balder ten Cate
- PODS
- 2006

We extend Core XPath, the navigational fragment of XPath 1.0, with transitive closure and path equalities. The resulting language, Regular XPATH<sup>≈</sup>, is expressively complete for FO* (first-order logic extended with a transitive closure operator that can be applied to formulas with exactly two free variables). As a corollary, we obtain that… (More)

- Bogdan Alexe, Balder ten Cate, Phokion G. Kolaitis, Wang Chiew Tan
- SIGMOD Conference
- 2011

A schema mapping is a specification of the relationship between a source schema and a target schema. Schema mappings are fundamental building blocks in data integration and data exchange and, as such, obtaining the right schema mapping constitutes a major step towards the integration or exchange of data. Up to now, schema mappings have typically been… (More)

- Balder ten Cate, Phokion G. Kolaitis
- Commun. ACM
- 2009

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 their applications to several different data inter-operability tasks, including applications to data exchange and data integration. Schema mappings are expressed in some… (More)

- Balder ten Cate, Maarten Marx
- Theory of Computing Systems
- 2007

The first aim of this paper is to present the logical core of XPath 2.0: a logically clean, decidable fragment, which includes most navigational features of XPath 2.0 (complex counting conditions and data joins are not supported, as they lead to undecidability). The second aim is to provide a list of equations completely axiomatizing query equivalence in… (More)

Hybrid languages are modal languages that have special symbols for naming individual states in models. Their history can be traced back to work of Arthur Prior in the fifties. The subject has recently regained interest, resulting in many new results and techniques. This chapter contains a modern overview of the field. We sketch its history, and survey the… (More)

- Molham Aref, Balder ten Cate, +5 authors Geoffrey Washburn
- SIGMOD Conference
- 2015

The LogicBlox system aims to reduce the complexity of software development for modern applications which enhance and automate decision-making and enable their users to evolve their capabilities via a ``self-service'' model. Our perspective in this area is informed by over twenty years of experience building dozens of mission-critical enterprise applications… (More)

- Balder ten Cate, Luc Segoufin
- PODS
- 2008

We consider the navigational core of XPath, extended with two operators: the Kleene star for taking the transitive closure of path expressions, and a subtree relativisation operator, allowing one to restrict attention to a specific subtree while evaluating a subexpression. We show that the expressive power of this XPath dialect equals that of FO(MTC), first… (More)