Sciweavers

4372 search results - page 284 / 875
» Data Semantics Revisited
Sort
View
OWLED
2007
15 years 8 months ago
Combining OWL with RCC for Spatioterminological Reasoning on Environmental Data
A new approach to spatioterminological reasoning is presented which is based on a hybrid knowledge representation system architecture and on a representation of the RCC family tree...
Rolf Grütter, Bettina Bauer-Messmer
GISCIENCE
2008
Springer
154views GIS» more  GISCIENCE 2008»
15 years 7 months ago
Ontology-Based Geospatial Data Query and Integration
Geospatial data sharing is an increasingly important subject as large amount of data is produced by variety of sources, stored in incompatible formats, and accessible through diffe...
Tian Zhao, Chuanrong Zhang, Mingzhen Wei, Zhong-Re...
ECOI
2010
144views more  ECOI 2010»
15 years 5 months ago
Machine reasoning about anomalous sensor data
We describe a semantic data validation tool that is capable of observing incoming real-time sensor data and performing reasoning against a set of rules specific to the scientific d...
Matt Calder, Robert A. Morris, Francesco Peri
ICDE
2003
IEEE
102views Database» more  ICDE 2003»
16 years 8 months ago
Schema Mediation in Peer Data Management Systems
Intuitively, data management and data integration tools should be well-suited for exchanging information in a semantically meaningful way. Unfortunately, they suffer from two sign...
Alon Y. Halevy, Zachary G. Ives, Dan Suciu, Igor T...
TLDI
2003
ACM
110views Formal Methods» more  TLDI 2003»
15 years 12 months ago
Type-safe multithreading in cyclone
We extend Cyclone, a type-safe polymorphic language at vel of abstraction, with threads and locks. Data races can violate type safety in Cyclone. An extended type system staticall...
Dan Grossman