Sciweavers

7 search results - page 2 / 2
» aai 2010
Sort
View
AAI
2010
108views more  AAI 2010»
13 years 5 months ago
Augmenting Subsumption Propagation in Distributed Description Logics
Distributed Description Logics (DDL) enable reasoning with multiple ontologies interconnected by directional semantic mapping, called bridge rules. Bridge rules map concepts of a s...
Martin Homola, Luciano Serafini
JSYML
2010
114views more  JSYML 2010»
13 years 4 months ago
The Ackermann functions are not optimal, but by how much?
By taking a closer look at the construction of an Ackermann function we see that between any primitive recursive degree and its Ackermann modification there is a dense chain of p...
Harold Simmons