20 search results - page 1 / 4 » The Instance Store: DL Reasoning with Large Numbers of Indiv... |
77
Voted
DLOG
2004
14 years 11 months ago
2004
We present an application
CADE
2004
Springer
15 years 10 months ago
2004
Springer
106
Voted
WISE
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Approximation has been identified as a potential way of reducing the complexity of logical reasoning. Here we explore approximation for speeding up instance retrieval in...
CADE
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We describe the instance store, a system for reasoning about individuals (i.e., instances of classes) in OWL ontologies. By using a hybrid reasoner/database architecture,...
93
Voted
WISE
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Answering a query over a group of RDF data pages is a trivial process. However, in the Semantic Web, there is a need for ontology technology. Consequently, OWL, a family ...