499 search results - page 28 / 100 » Real-World Reasoning with OWL |
107
click to vote
DLOG
2011
14 years 3 months ago
2011
The canonical standard description logic reasoning service is classification, that is, the generation of the set of atomic subsumptions which are entailed by some ontology. While ...
SAT
2004
Springer
15 years 5 months ago
2004
Springer
The problem of solving boolean combinations of difference constraints is at the core of many important techniques such as planning, scheduling, and model-checking of real-time syst...
139
click to vote
CVPR
2012
IEEE
13 years 2 months ago
2012
IEEE
Today, visual recognition systems are still rarely employed in robotics applications. Perhaps one of the main reasons for this is the lack of demanding benchmarks that mimic such ...
171
click to vote
CVPR
2012
IEEE
13 years 2 months ago
2012
IEEE
We address the problem of recovering shape, albedo, and illumination from a single grayscale image of an object, using shading as our primary cue. Because this problem is fundamen...
WISE
2005
Springer
15 years 5 months ago
2005
Springer
OWLIM is a high-performance Storage and Inference Layer (SAIL) for Sesame, which performs OWL DLP reasoning, based on forward-chaining of entilement rules. The reasoning and query ...