Sciweavers

48 search results - page 1 / 10
» Scaling Up Reasoning about Actions Using Relational Database...
Sort
View
64
Voted
AAAI
2004
15 years 3 months ago
Scaling Up Reasoning about Actions Using Relational Database Technology
Giuseppe De Giacomo, Toni Mancini
SEMWEB
2010
Springer
14 years 11 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
15 years 3 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
134
Voted
AISC
1998
Springer
15 years 6 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
113
Voted
JSW
2008
152views more  JSW 2008»
15 years 1 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