Sciweavers

7991 search results - page 73 / 1599
» Using More Reasoning to Improve
Sort
View
KR
2010
Springer
15 years 9 months ago
Improving Query Answering over DL-Lite Ontologies
The DL-Lite family of Description Logics has been designed with the specific goal of allowing for answering complex queries (in particular, conjunctive queries) over ontologies w...
Riccardo Rosati, Alessandro Almatelli
AI
2008
Springer
15 years 5 months ago
Modelling and solving temporal reasoning as propositional satisfiability
Representing and reasoning about time dependent information is a key research issue in many areas of computer science and artificial intelligence. One of the best known and widely...
Duc Nghia Pham, John Thornton, Abdul Sattar
ARTMED
2006
80views more  ARTMED 2006»
15 years 5 months ago
A formal theory for spatial representation and reasoning in biomedical ontologies
Objective: The objective of this paper is to demonstrate how a formal spatial theory can be used as an important tool for disambiguating the spatial information embodied in biomed...
Maureen Donnelly, Thomas Bittner, Cornelius Rosse
GIS
1999
ACM
15 years 10 months ago
Improved Bulk-Loading Algorithms for Quadtrees
Spatial indexes, such as the PMR quadtree, are important in spatial databases for efficient execution of queries involving spatial constraints, especially when the queries involv...
Gísli R. Hjaltason, Hanan Samet
KI
2007
Springer
15 years 12 months ago
Negation in Spatial Reasoning
How do we reason about spatial descriptions? In recent years a lot of research has been investigated in order to determine factors of complexity in spatial relational reasoning. S...
Stefan Schleipen, Marco Ragni, Thomas Fangmeier