Decidable Reasoning in Terminological Knowledge Representation Systems

Terminological knowledge representation systems (TKRSs) are tools for designing and using knowledge bases that make use of terminological languages (or concept languages). We analyze from a theoretical point of view a TKRS whose capabilities go beyond the ones of presently available TKRSs. The new features studied, often required in practical applications, can be summarized in three main points. First, we consider a highly expressive terminological language, called ALCNR, including general complements of concepts, number restrictions and role conjunction. Second, we allow to express inclusion statements between general concepts, and terminological cycles as a particular case. Third, we prove the decidability of a number of desirable TKRS-deduction services (like satisfiability, subsumption and instance checking) through a sound, complete and terminating calculus for reasoning in ALCNR-knowledge bases. Our calculus extends the general technique of constraint systems. As a byproduct of the proof, we get also the result that inclusion statements in ALCNR can be simulated by terminological cycles, if descriptive semantics is adopted.Comment: See http://www.jair.org/ for any accompanying file

Sovereign debt restructuring : the judge, the vultures and creditor rights

What role did the US courts play in the Argentine debt swap of 2005? What implications does this have for the future of creditor rights in sovereign bond markets? The judge in the Argentine case has, it appears, deftly exploited creditor heterogeneity – between holdouts seeking capital gains and institutional investors wanting a settlement – to promote a swap with a supermajority of creditors. Our analysis of Argentine debt litigation reveals a ‘judge-mediated’ sovereign debt restructuring, which resolves the key issues of Transition and Aggregation - two of the tasks envisaged for the IMF’s still-born Sovereign Debt Restructuring Mechanism. For the future, we discuss how judge-mediated sovereign debt restructuring (together with creditor committees) could complement the alternative promoted by the US Treasury, namely collective action clauses in sovereign bond contracts

Breakpoints in ventilation, cerebral and muscle oxygenation, and muscle activity during an incremental cycling exercise.

The aim of this study was to locate the breakpoints of cerebral and muscle oxygenation and muscle electrical activity during a ramp exercise in reference to the first and second ventilatory thresholds. Twenty-five cyclists completed a maximal ramp test on an electromagnetically braked cycle-ergometer with a rate of increment of 25 W/min. Expired gazes (breath-by-breath), prefrontal cortex and vastus lateralis (VL) oxygenation [Near-infrared spectroscopy (NIRS)] together with electromyographic (EMG) Root Mean Square (RMS) activity for the VL, rectus femoris (RF), and biceps femoris (BF) muscles were continuously assessed. There was a non-linear increase in both cerebral deoxyhemoglobin (at 56 ± 13% of the exercise) and oxyhemoglobin (56 ± 8% of exercise) concomitantly to the first ventilatory threshold (57 ± 6% of exercise, p > 0.86, Cohen's d < 0.1). Cerebral deoxyhemoglobin further increased (87 ± 10% of exercise) while oxyhemoglobin reached a plateau/decreased (86 ± 8% of exercise) after the second ventilatory threshold (81 ± 6% of exercise, p < 0.05, d > 0.8). We identified one threshold only for muscle parameters with a non-linear decrease in muscle oxyhemoglobin (78 ± 9% of exercise), attenuation in muscle deoxyhemoglobin (80 ± 8% of exercise), and increase in EMG activity of VL (89 ± 5% of exercise), RF (82 ± 14% of exercise), and BF (85 ± 9% of exercise). The thresholds in BF and VL EMG activity occurred after the second ventilatory threshold (p < 0.05, d > 0.6). Our results suggest that the metabolic and ventilatory events characterizing this latter cardiopulmonary threshold may affect both cerebral and muscle oxygenation levels, and in turn, muscle recruitment responses

NIRS Measurements with Elite Speed Skaters: Comparison Between the Ice Rink and the Laboratory

Wearable, wireless near-infrared (NIR) spectrometers were used to compare changes in on-ice short-track skating race simulations over 1,500 m with a 3-min cycle ergometry test at constant power output (400 W). The subjects were six male elite short-track speed skaters. Both protocols elicited a rapid desaturation (∆TSI%) in the muscle during early stages (initial 20 s); however, asymmetry between right and left legs was seen in ΔTSI% for the skating protocol, but not for cycling. Individual differences between skaters were present in both protocols. Notably, one individual who showed a relatively small TSI% change (-10.7%, group mean = -26.1%) showed a similarly small change during the cycling protocol (-5.8%, group mean = -14.3%). We conclude that NIRS-detected leg asymmetry is due to the specific demands of short-track speed skating. However, heterogeneity between individuals is not specific to the mode of exercise. Whether this is a result of genuine differences in physiology or a reflection of differences in the optical properties of the leg remains to be determined

A refined architecture for terminological systems : terminology = schema + views

Traditionally, the core of a Terminological Knowledge Representation System (TKRS) consists of a TBox, where concepts are introduced, and an ABox, where facts about individuals are stated in terms of concept memberships. This design has a drawback because in most applications the TBox has to meet two functions at a time: On the one hand - similarly to a database schema - frame-like structures with type information are introduced through primitive concepts and primitive roles; on the other hand, views on the objects in the knowledge base are provided through defined concepts. We propose to account for this conceptual separation by partitioning the TBox into two components for primitive and defined concepts, which we call the schema and the view part.We envision the two parts to differ with respect to the language for concepts, the statements allowed, and the semantics. We argue that this separation achieves more conceptual clarity about the role of primitive and defined concepts and the semantics of terminological cycles. Three case studies show the computational benefits to be gained from the refined architecture

Examining the Personal and Institutional Determinants of Research Productivity in Hospitality and Tourism Management

The transition toward a post-capitalist knowledge-oriented economy has resulted in an increasingly competitive academic environment, where the success of faculty is dependent on their research productivity. This study examines the personal and institutional determinants of the quantity and quality of the research productivity of hospitality and tourism management faculty in US institutions. A survey of 98 faculty found that a different set of determinants impact the quantity and quality aspects of research productivity. Also, institutional determinants were found to play a larger role, indicating the need for administrators to strive for a culture that is supportive of and an infrastructure that is conducive to their faculty’s research success. The authors use the field of hospitality and tourism management as a case study to develop a holistic and cohesive framework for knowledge worker productivity that can guide the evaluation, hiring, and development of researchers

The Tracking of Morning Fatigue Status Across In-Season Training Weeks in Elite Soccer Players.

PURPOSE: To quantify the mean daily changes in training and match load and any parallel changes in indicators of morning-measured fatigue across in-season training weeks in elite soccer players. METHODS: Following each training session and match, ratings of perceived exertion (s-RPE) were recorded to calculate overall session load (RPE-TL) in 29 English Premier League players from the same team. Morning ratings of fatigue, sleep quality, delayed-onset muscle soreness (DOMS), as well as sub-maximal exercise heart rate (HRex), post-exercise heart rate recovery (HRR%) and variability (HRV) were also recorded pre-match day and one, two and four days post-match. Data were collected for a median duration of 3 weeks (range:1-13) and reduced to a typical weekly cycle including no mid-week match and a weekend match day. Data were analysed using within-subjects linear mixed models. RESULTS: RPE-TL was approximately 600 AU (95%CI: 546-644) higher on match-day vs the following day (P0.05). CONCLUSIONS: Morning-measured ratings of fatigue, sleep quality and DOMS are clearly more sensitive than HR-derived indices to the daily fluctuations in session load experienced by elite soccer players within a standard in-season week