2414 search results - page 402 / 483 » Reasoning Support for OWL-E |
214
click to vote
SAC
2006
ACM
16 years 23 days ago
2006
ACM
Traditional semantic web query languages support a logicbased access to the semantic web. They offer a retrieval (or reasoning) of data based on facts. On the traditional web and...
174
click to vote
WWW
2005
ACM
16 years 11 days ago
2005
ACM
Integrating web sites to provide more efficient services is a very promising way in the Internet. For example searching house for rent based on train system or preparing a holiday...
223
click to vote
AADEBUG
2005
Springer
16 years 11 days ago
2005
Springer
This paper introduces program chipping, a simple yet effective technique to isolate bugs. This technique automatically removes or chips away parts of a program so that the part t...
237
click to vote
ATAL
2005
Springer
16 years 11 days ago
2005
Springer
We describe a very large scale distributed robotic system, involving a team of over 100 robots, that has been successfully deployed in large, unknown indoor environments, over ext...
174
click to vote
COCO
2005
Springer
16 years 10 days ago
2005
Springer
We study the complexity of solving succinct zero-sum games, i.e., the games whose payoff matrix M is given implicitly by a Boolean circuit C such that M(i, j) = C(i, j). We comple...