18 search results - page 1 / 4 » A Tableaux-based Mobile DL Reasoner - An Experience Report |
DLOG
2006
13 years 6 months ago
2006
SEMWEB
2004
Springer
13 years 10 months ago
2004
Springer
OWL DL corresponds to a Description Logic (DL) that is a fragment of classical first-order predicate logic (FOL). Therefore, the standard methods of automated reasoning for full F...
PERCOM
2006
ACM
14 years 4 months ago
2006
ACM
This paper reports our experience with representing and reasoning with context information within the CARE middleware. CARE was developed to support context-aware service adaptati...
DLOG
2006
13 years 6 months ago
2006
In our case study we investigate a server for answering OWLQL queries with distinguished variables only (henceforth called OWLQL). This server acts as a proxy that delegates queri...
DLOG
2003
13 years 6 months ago
2003
The Semantic Web initiative defines important challenges for knowledge representation and database systems. Recently, several standards for representation languages have been pro...