KONTALA IN THE CONTEXT OF MUNA CULTURE

This article contains the results of the study conducted in Muna Regency, Southeast Sulawesi, in 2010. This study aims at revealing and analyzing the form, function, meaning and value of the kontala using intrinsic and extrinsic approaches. The kontala was processed in such a way that it became a particular material so that its aesthetic effects could be obtained. The intrinsic approach was used to observe the structural aspect. The aspects of the study range from style, image, metaphor, symbol, and myth. The extrinsic approach was used to discuss the setting and environment. In addition to the structural theory, the functional theory was also used in this study. The functional theory of a text covers all the natures which collectively refer to or have the main and additional functions. Besides, the pragmatic approach was also used in this study. Descriptive analytic method, which could reveal and analyze the content, form, function, meaning and value of the kantola was employed. The results of the study show that the kantola, which is in the form of several poems, contain (a) satire, (b) criticism, (c) romantic love, (d) advices, (f) suggestion, (g) invitation with family and unity as the themes. The kantola functions to amuse, unify, pacify sorrow for its fans. The values contained are (a) sportiveness, (b) skill, (c) ethics and morality, (d) togetherness, (e) education, (f) religiosity, (g) patience, (h) intelligence (intellectual intelligence, emotional intelligence, social intelligence, and spiritual intelligence). Based on the values contained, the kantola needs to be learned, developed and performed again in every public party as the real steps to preserve it in daily life with high creativity; its form and performance are modified and adapted

Guidelines to Study Differences in Expressiveness between Ontology Specification Languages: A Case Of Study

We focus on our experiences on translating ontologies between two ontology languages, FLogic and Ontolingua, in the framework of Methontology and ODE. Rather than building "ad hoc" translators between languages or using KIF, our option consists of translating through ODE intermediate representations. So, we have built direct translators from ODE intermediate representations to Ontolingua and FLogic, and we have also built reverse translators from these two languages to ODE intermediate representations. Expressiveness of the target languages is the main feature to analyse when automatically generating ontologies from ODE intermediate representations. Therefore, we analyse the expressiveness of Ontolingua and FLogic for creating classes, instances, relations, functions and axioms, which are the essential components in ontologies. The motivation for this analysis can be found in the (KA)² initiative and can be easily extended to any other domains and languages

Bethe Ansatz and the Spectral Theory of affine Lie algebra-valued connections I. The simply-laced case

We study the ODE/IM correspondence for ODE associated to $\hat{\mathfrak g}$-valued connections, for a simply-laced Lie algebra $\mathfrak g$. We prove that subdominant solutions to the ODE defined in different fundamental representations satisfy a set of quadratic equations called $\Psi$-system. This allows us to show that the generalized spectral determinants satisfy the Bethe Ansatz equations.Comment: 27 pages, final and published version. Minor change in the titl

An Axiomatic Approach to Liveness for Differential Equations

This paper presents an approach for deductive liveness verification for ordinary differential equations (ODEs) with differential dynamic logic. Numerous subtleties complicate the generalization of well-known discrete liveness verification techniques, such as loop variants, to the continuous setting. For example, ODE solutions may blow up in finite time or their progress towards the goal may converge to zero. Our approach handles these subtleties by successively refining ODE liveness properties using ODE invariance properties which have a well-understood deductive proof theory. This approach is widely applicable: we survey several liveness arguments in the literature and derive them all as special instances of our axiomatic refinement approach. We also correct several soundness errors in the surveyed arguments, which further highlights the subtlety of ODE liveness reasoning and the utility of our deductive approach. The library of common refinement steps identified through our approach enables both the sound development and justification of new ODE liveness proof rules from our axioms.Comment: FM 2019: 23rd International Symposium on Formal Methods, Porto, Portugal, October 9-11, 201