In order to support a wide range of planning-related activities, we argue that plan and action representations must move to a more expressive language for goals and capabilities than is found in most current systems. A structured representation for capabilities can make explicit a hierarchy of capabilities based on subsumption, resulting in benefits for reasoning, representing, and acquiring op...

We introduce a test, named π-subsumption, which computes partial subsumptions between a hypothesis h and an example e, as well as a measure, the subsumption index, which quantifies the covering degree between h and e. The behavior of this measure is studied on the phase transition problem.

Abstract In his final speech as chair of the assembly that drafted India's Constitution, Dr. B.R. Ambedkar described a contradiction between formal equality Constitution guaranteed and country's socioeconomic inequality. This article follows two interpretive traditions Constitution: first, developed by Supreme Court in challenging land reform legislation, is doctrine “basic structure” which hol...

OBJECTIVES The aim of this study is to investigate the correlation between the constitution of Sasang and the bee venom hypersensitive reaction, as well as the hypersensitive reaction occurrence ratio between males and females, for patients treated with sweet bee venom (SBV) and who had undergone an examination of the constitution of the Sasang. METHODS All 81 patients enrolled in the study w...

The original SPARQL proposal was often criticized for its inability to navigate through the structure of RDF documents. For this reason property paths were introduced in SPARQL 1.1, but up to date there are no theoretical studies examining how their addition to the language affects main computational tasks such as query evaluation, query containment, and query subsumption. In this paper we tack...

Matchmaking between offers and requests is an essential mechanism in electronic market places. Description Logics have been proposed as a appropriate framework for representing offers and requests and standard methods from description logics reasoning have been proposed for computing matches. We argue that classical reasoning is not well suited for realistic scenarios as it does not allow to co...

We introduce a feature structure, corresponding to a timespan tree based on ‘A Generative Theory of Tonal Music’ (GTTM) for a music piece, and represent the reduction of the tree by the subsumption among these feature structures. As the collection of them forms a lattice, we can define the join and meet operations. We show a melodic morphing algorithm based on these simple operations.