366 search results - page 40 / 74 » Optimizing the Evaluation of XPath Using Description Logics |
DLOG
2007
13 years 10 months ago
2007
Abstract. This paper studies a technique for mapping ALCI knowledge bases into ALC. Worst-case optimal tableau-based procedures for the satisfiability/consistency problem w.r.t. g...
LOPSTR
2005
Springer
14 years 2 months ago
2005
Springer
We propose an extension of functional logic languages that allows the definition of operations with patterns containing other defined operation symbols. Such “function patterns...
CSB
2005
IEEE
2005
IEEE
BioNavigation: Using Ontologies to Express Meaningful Navigational Queries Over Biological Resources
14 years 2 months ago
Exploiting the complex maze of publicly available Biological resources to implement scientific data collection pipelines poses a multitude of challenges to biologists in accurate...
STACS
2007
Springer
14 years 2 months ago
2007
Springer
Markov decision processes (MDPs) are controllable discrete event systems with stochastic transitions. Performances of an MDP are evaluated by a payoff function. The controller of ...
SIGIR
2003
ACM
14 years 1 months ago
2003
ACM
A novel Hardware Assisted Top-Doc (HAT) component is disclosed. HAT is an optimized content indexing device based on a modified inverted index structure. HAT accommodates patterns...