598 search results - page 34 / 120 » Optimized Reasoning in Description Logics Using Hypertableau... |
135
Voted
WISE
2005
Springer
15 years 9 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 ...
179
click to vote
GEOINFORMATICA
2011
14 years 11 months ago
2011
Discovery of suitable web services is a crucial task in Spatial Data Infrastructures (SDI). In this work, we develop a novel approach to the discovery of geoprocessing services (WP...
150
click to vote
RR
2010
Springer
15 years 2 months ago
2010
Springer
Translations to (first-order) datalog have been used in a number of inferencing techniques for description logics (DLs), yet the relationship between the semantic expressivities o...
122
click to vote
CADE
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. We present a technique that efficiently translates propositional intuitionistic formulas into propositional classical formulas. This technique allows the use of arbitrary...
156
click to vote
CLIMA
2006
15 years 5 months ago
2006
FLUX is a declarative, CLP-based programming method for the design of agents that reason logically about their actions and sensor information in the presence of incomplete knowledg...