A labeling scheme is a method to retrieve some global property of a graph by exploiting (in a distributed fashion) the information stored, in the form of (short) labels, at its vertices. A classic question in the area is that of labeling the vertices in order to infer the distance between any pair of them, or alternatively to retrieve a corresponding shortest path. On such purpose, among the va...

PURPOSE Development of strategies to optimize the functional performance of older adults requires understanding the behavior of older people doing tasks in real-world settings and capturing these interactions in research protocols. This is a major challenge as there is some degree of tension between capturing the contextual variables and constraints that operate in the real world and the scale ...

When ontological knowledge is acquired automatically, quality control is essential. We consider the tightest possible approach – an exhaustive manual inspection of the acquired data. By using automated reasoning, we partially automate the process: after each expert decision, axioms that are entailed by the already approved statements are automatically approved, whereas axioms that would lead to...