#### Filter Results:

- Full text PDF available (143)

#### Publication Year

1990

2017

- This year (4)
- Last 5 years (54)
- Last 10 years (82)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Data Set Used

#### Key Phrases

Learn More

- John Mylopoulos, Alexander Borgida, Matthias Jarke, Manolis Koubarakis
- ACM Trans. Inf. Syst.
- 1990

We describe Telos, a language intended to support the development of information systems. The design principles for the language are based on the premise that information system development is knowledge intensive and that the primary responsibility of any language intended for the task is to be able to formally represent the relevent knowledge. Accordingly,… (More)

- Kostas Stergiou, Manolis Koubarakis
- Artif. Intell.
- 1998

We extend the framework of simple temporal problems studied originally by Dechter, Meiri and Pearl to consider constraints of the form x1 − y1 6 r1 ∨ · · · ∨ xn − yn 6 rn, where x1, . . . , xn, y1, . . . , yn are variables ranging over the real numbers, r1, . . . , rn are real constants, and n> 1. This is a wide class of temporal constraints that can be… (More)

- Spiros Skiadopoulos, Manolis Koubarakis
- Artif. Intell.
- 2001

We study the recent proposal of Goyal and Egenhofer who presented a model for qualitative spatial reasoning about cardinal directions. Our approach is formal and complements the presentation of Goyal and Egenhofer. We focus our efforts on the composition operator for two cardinal direction relations. We consider two interpretations of the composition… (More)

- Spiros Skiadopoulos, Manolis Koubarakis
- Artif. Intell.
- 2005

We present a formal model for qualitative spatial reasoning with cardinal directions utilizing a co-ordinate system. Then, we study the problem of checking the consistency of a set of cardinal direction constraints. We introduce the first algorithm for this problem, prove its correctness and analyze its computational complexity. Using the above algorithm,… (More)

- Manolis Koubarakis
- CP
- 1996

We study the problems of deciding consistency and performing variable elimination for disjunctions of linear inequalities and inequations with at most one inequality per disjunction. This new class of constraints extends the class of generalized linear constraints originally studied by Lassez and McAloon. We show that deciding consistency of a set of… (More)

- Erietta Liarou, Stratos Idreos, Manolis Koubarakis
- International Semantic Web Conference
- 2006

We study the problem of evaluating conjunctive queries composed of triple patterns over RDF data stored in distributed hash tables. Our goal is to develop algorithms that scale to large amounts of RDF data, distribute the query processing load evenly and incur little network traffic. We present and evaluate two novel query processing algorithms with these… (More)

- Kostis Kyzirakos, Manos Karpathiotakis, Manolis Koubarakis
- International Semantic Web Conference
- 2012

We present Strabon, a new RDF store that supports the state of the art semantic geospatial query languages stSPARQL and GeoSPARQL. To illustrate the expressive power offered by these query languages and their implementation in Strabon, we concentrate on the new version of the data model stRDF and the query language stSPARQL that we have developed ourselves.… (More)

- Zoi Kaoudi, Iris Miliaraki, Manolis Koubarakis
- International Semantic Web Conference
- 2008

We study the problem of distributed RDFS reasoning and query answering on top of distributed hash tables. Scalable, distributed RDFS reasoning is an essential functionality for providing the scalability and performance that large-scale Semantic Web applications require. Our goal in this paper is to compare and evaluate two well-known approaches to RDFS… (More)

- Manolis Koubarakis
- KR
- 1994

We study the complexity of quantiier elimination and decision in rst-order theories of temporal constraints. With the exception of Ladkin, AI researchers have largely ignored this problem. We consider the rst-order theories of point and interval constraints over two time structures: the integers and the ra-tionals. We show that in all cases… (More)

- Manolis Koubarakis
- Inf. Syst.
- 1994