Sciweavers

48 search results - page 1 / 10
» Scaling Up Reasoning about Actions Using Relational Database...
Sort
View
42
Voted
AAAI
2004
14 years 11 months ago
Scaling Up Reasoning about Actions Using Relational Database Technology
Giuseppe De Giacomo, Toni Mancini
SEMWEB
2010
Springer
14 years 7 months ago
Optimizing Enterprise-Scale OWL 2 RL Reasoning in a Relational Database System
OWL 2 RL was standardized as a less expressive but scalable subset of OWL 2 that allows a forward-chaining implementation. However, building an enterprise-scale forward-chaining ba...
Vladimir Kolovski, Zhe Wu, George Eadon
CIKM
2008
Springer
14 years 11 months ago
Scaling up duplicate detection in graph data
Duplicate detection determines different representations of realworld objects in a database. Recent research has considered the use of relationships among object representations t...
Melanie Herschel, Felix Naumann
AISC
1998
Springer
15 years 2 months ago
Reasoning About Coding Theory: The Benefits We Get from Computer Algebra
The use of computer algebra is usually considered beneficial for mechanised reasoning in mathematical domains. We present a case study, in the application domain of coding theory, ...
Clemens Ballarin, Lawrence C. Paulson
JSW
2008
152views more  JSW 2008»
14 years 9 months ago
Reasoning with Semantic Web Technologies in Ubiquitous Computing Environment
--The vast amounts of data about people, things and the environment will require new ways of handling, searching and presenting information. New applications will increasingly be a...
WenYing Guo