Logical Inconsistencies Research Articles

Marx’s Forgotten Transformation Solution: The Transformation of Values into Prices of Production in Marx’s Grundrisse and Maksakovsky’s The Capitalist Cycle

This article explains that in the Grundrisse Marx considered that the discontinuity in his transformation procedure was no logical inconsistency, but a necessary feature of the disproportionate transition to capitalist production dominated by the accumulation of fixed capital. Pavel Maksakovsky, a Soviet Red Professor in the 1920s, developed a theory of ‘conjuncture’ which probably discovered this discontinuity independently. Marx’s solution to the transformation problem in Capital III did not emphasize this discontinuity. It was criticized by von Bortkiewicz as mathematically flawed and so logically inconsistent and false. Maksakovsky showed that the discontinuity was a necessary part of the transition from values to prices of production. This explanation has been almost totally ignored in the debate on the transformation problem.

Analysis of changes in regulatory framework of the russian federation on examination of relationship between diseases and profession for 40 years

The evolution of the national regulatory framework in the field of examination of connection between the disease and the profession for the period from the 80s of the twentieth century to the present is analyzed.
 Materials and methods. The regulatory framework of domestic professional pathology regarding examination of relationship between diseases and profession is evaluated
 Results. It was noted that for the specified period, in the normative acts the organizational issues of the examination of the connection between the disease and the profession did not have a satisfactory solution. A feature of most regulatory documents in the field under consideration, issued recently, is a certain logical inconsistency.
 Conclusions. To radically improve the current situation, it is necessary to immediately adopt for practical application the mandatory criteria, which prove the occupational origin of health disorders in workers.

How Decriminalisation Reduces Harm Within and Beyond Sex Work: Sex Work Abolitionism as the \u201cCult of Female Modesty\u201d in Feminist Form

BackgroundSex work has a long history and takes different forms, but the associated precarity and danger, particularly where poorer women and minorities are concerned, is undeniable. There is growing evidence that decriminalisation reduces harm, and, indeed, it is the policy approach favoured by sex worker groups. Despite this, many feminists instead seek to “end demand” for paid sex, recommending legal penalties for sex buyers, with the aim of abolishing sex work altogether.MethodThis paper takes a comparative approach, examining why “end demand” is applied to sex work but not to care work. Abolition is typically justified both in terms of reducing harm to sex workers and to women more generally, with sex work’s very existence being thought to perpetuate the notion that all women are “sex objects.” Women are, however, not only exposed to harm within care work but are also commonly stereotyped as care givers, and in a way that has similarly been argued to contribute to gender inequality.ResultsBy comparing sex work with care work, this paper reveals the logical inconsistency in the “end demand” approach; unlike with sex work, there is little push to criminalise those who purchase care or other such domestic labour services. By revealing the moral nature of abolitionist arguments, and the disrespectful way in which sex workers are characterised within radical feminist literature, it argues that, rather than reducing harm, the “end demand” approach perpetuates harm, conspiring in the notion that “immodest” women are the cause of social ills.ConclusionsReducing the harm that sex workers—and women more generally—face requires feminists to challenge “the cult of female modesty”, rather than to be complicit in it.

New approaches to the definition of violation of tax legislation

Problem setting. With the adoption of the Law of Ukraine "On Amendments to the Tax Code of Ukraine to improve tax administration, eliminate technical and logical inconsistencies in tax legislation" of 16 January 2020, many provisions of which entered into force on January 1. 2021, the approach to defining the concept of violation of tax legislation and the characteristics of its composition was changed. In particular, guilt is established as a mandatory feature of a tax offense, liability is established not only for taxpayers, but also for regulatory authorities and their officials (officials). Analysis of recent research. Questions about the nature of the tax offense, its composition and characteristics were the subject of research by such scientists as: P. Duravkin, D. Kobylnik, A. Kotenko, M. Kucheryavenko, R. Khanova. However, given the changing legislative approach to the definition of tax offenses and the characteristics of its composition, there is a need to study them. The purpose of the article is to consider the novelties of the tax legislation of Ukraine to determine the violation of tax legislation. Article’s main body. The article considers the modern approach of the legislator to the definition of the concept of violation of tax legislation and the characteristics of its composition. Emphasis is placed on the inexpediency of fixing only an intentional form of guilt in committing violations of tax law. Conclusions. It is noted that currently the legislator provides for two different legal mechanisms for compensation for damage caused to the taxpayer by officials of the controlling body. It is emphasized that such an approach is one of the manifestations of permissive rule in tax and legal regulation. The necessity of making changes to the Tax Code of Ukraine to improve the definitions of ongoing and repeated tax offenses is argued.

Preliminary Flow Modeling by Hybrid Automata Alternating Continuous Reaction and Discrete Transit for Pharmacokinetics.

In traditional pharmacokinetic models, blood flow or liquid transit is often expressed as first-order kinetics. When the flow expression by first-order kinetics is used for dynamic simulation, the flow velocity illogically depends on the step size of a solver of ordinary differential equations. In this study, we propose flow modeling using hybrid automata that combine ordinary differential equations and recursive equations, and we have preliminarily applied the constructed models to several examples. The blood concentration-time profiles of p-aminohippurate and propranolol after intravenous administration were successfully reproduced by simple hybrid automata. The simulation results of one-dimensional tube flow have demonstrated that the fluid velocity in the hybrid automata was independent of the step size of the ordinary differential equation solver. A body fluid model coordinated various flows in a human body with scheduled daily activities and could be used as a drug container to describe formulation-dependent disposition of 5-aminosalicylic acid and enterohepatic circulation of a virtual drug. These findings suggested that flow modeling using hybrid automata could avoid the logical inconsistency in the traditional pharmacokinetic modeling and that the hybrid automata have high versatility and a wide range of applicability to pharmacokinetic analysis. Because our method can define various intervals for multiple recursive equations, the resolution of a specific part of a model can be adjusted relatively freely while the whole body is being roughly modeled, which would be beneficial to refine a coarse model into a fine model in future. SIGNIFICANCE STATEMENT: There is a logical inconsistency in flow expression by first-order kinetics in ordinary differential equations used in traditional pharmacokinetic modeling. It is difficult to model a whole human body using flow models in partial differential equations because of the excessive calculation costs. Our simulations on tube flow and body fluids have demonstrated that the flow modeling using hybrid automata could avoid the problems. The preliminary applications of hybrid automata to several examples highlighted its high versatility in pharmacokinetic analysis.

A Comparison of Two Repertory Grid Measures of Personal Construct Conflict

Intrapersonal conflicts have long been recognized as potential contributors to negative psychological and emotional states. Using repertory grids personal construct psychologists have developed methods for identifying implicative dilemmas, a type of conflict that arises from incongruous constructions of a person’s actual and ideal selves. Recent studies have reported greater numbers of implicative dilemmas among clinical samples when compared to controls. Another approach to conceptualizing and measuring intrapsychic conflicts is Chambers’ coordinate grid procedure, a modified repertory grid technique that assesses logical inconsistencies within a person’s construct system. The purpose of this study was to investigate the relationship between implicative dilemmas and logical inconsistencies in a sample of college students. Previous studies have moreover reported positive associations between repertory grid measures of construct system conflict and standardized assessments of depression, anxiety, and self-esteem. These associations were also examined in this study. Results revealed no systematic relationship between implicative dilemmas and logical inconsistencies, and neither repertory grid index was associated with scores on the depression, anxiety, and self-esteem questionnaires. Actual-ideal self-discrepancies were found to be associated with self-esteem, however, and examination of two individual grids revealed the clinical utility of the repertory grid procedures.

Use of the PVS formal logic system in the method of formal proof of security in the construction of information security systems

The object of research is the information and telecommunication system (ITS) and ensuring the protection of information stored, processed and circulating in it. One of the most problematic areas in the creation of secure ITS is the logical inconsistency and incompleteness of the information security policy. That is, a set of laws, rules, restrictions, recommendations, etc., which regulate the procedure for processing information and are aimed at protecting information from a certain set of threats. The reason for such problems is usually the absence of pre-design modeling of the information security system as a component of the information and telecommunications system, which in the end causes the latter to be vulnerable. An important prerequisite for the creation of a secure ITS is the construction of a subject-object model of the system, which makes it possible to determine the connections between objects, their features, to model information flows and types of access to information and infrastructure resources. According to the existing clear, complete and consistent subject-object model of the ITS, it becomes possible to apply mathematical methods to modeling the processes of its functioning, including for solving the problem of formal proof of security. The paper considers the main idea of the method of formal proof of security, which can be used when building information security systems or assessing the security of the created information and telecommunications system. It is shown that for its implementation it is possible to use the methodology of automatic theorem proving. One of the ways to solve this problem, which is proposed in the work, is the use of the PVS (Prototype Verification System) formal logic system, which is widely used for writing specifications and constructing proofs. The main components of this system are considered, as well as the possibilities of its use for automatic proof of statements about the impossibility of unauthorized access under the conditions of a certain security policy. An example of the use of the PVS system for the formal proof of the security of the system in the framework of the Bella-LaPadula security policy is given.

Inconsistent Sexual Behavior Reporting Among Youth Affected by Perinatal HIV Exposure in the United States.

We examined reporting agreement of oral, vaginal, and anal sex in adolescents and young adults living with perinatally-acquired HIV and those perinatally HIV-exposed and uninfected in the Pediatric HIV/AIDS Cohort Study Adolescent Master Protocol (AMP) and AMP Up studies. Agreement between fixed constructs (e.g., age at first sex) and prevalence of logical inconsistencies (e.g., reclaimed virginity status) over time were assessed. Internal consistency was also examined using an attention check question and questions regarding condom use in the prior three months. Those who reported having anal sex in adolescence had a higher proportion of inconsistent responses compared to vaginal and oral sex measures. At their most recent survey, 84% of young adults correctly answered an attention check question and 74% agreed within the survey on condom use in the prior three months. In bivariate analyses, HIV status was not associated with responding inconsistently. Increased time between surveys, male sex, and younger age at first survey were associated with multiple measures of inconsistency over time, while lower cognitive scores, having less than a high school diploma, and negatively answering post-survey acceptability questions were associated with incorrectly answering an attention check question.

016 Three North American cases of cutaneous Pemphigus vulgaris with no history of mucosal disease

Pemphigus is a group of autoimmune blistering diseases including Pemphigus vulgaris (PV) and Pemphigus foliaceus (PF). Explanation of lesion morphology has been elegantly proffered by the Desmoglein Compensation Hypothesis (DCH) based on the epidermal distribution of desmoglein (Dsg) proteins and autoantibody profiles. In this theory, PF is characterized by subcorneal lesions in the presence of only anti-Dsg1 antibodies, while PV lesions are suprabasilar and associated with anti-Dsg3 in mucosal PV, or anti-Dsg1 and -Dsg3 in mucocutaneous PV. However, logical inconsistencies in the DHC have emerged and exceptions have been published in multiple small-scale studies. One of these inconsistencies described by our group and others is that some PV patients present with solely cutaneous disease (cPV) without concomitant mucosal lesions, in violation of the tenets of the DHC. To date, cPV patients reported in the literature have been classified as such based on their lesion status at time of presentation. We report here three cases of clinically and histologically confirmed cPV without any history of mucosal lesions (cPVwohm). Of these patients, two do not carry the most common PV associated HLA alleles, DRB1*04:02 or DQB1*05:03. The same two patients also tested negative for the primary PV associated autoantibodies, anti-Dsg 3 and anti-Dsg 1, while in active disease status. We confirm the first documented individual cases of cPVwohm in North America, supporting the existence of PV patients that develop cutaneous disease without a history of mucosal lesions, further challenging the fidelity of the DCH. Two of the 3 patients reported did not type for the common PV-associated HLA genes or display anti-Dsg autoantibodies while in active disease, suggesting some cPV patients may develop Pemphigus via genetic and immune mechanisms that differ from typical mucosal or mucocutaneous PV.

Measuring inconsistency in some branching time logics

Branching time logics have been studied in computer science since the 1980s primarily to model the tree of computations for discrete transition systems. Inconsistency measures for propositional logic have been studied since the early 2000s by AI researchers. This paper introduces inconsistency measures for three branching time logics: ABTL, BBTL, and CBTL. In order to measure inconsistency properly in branching time logics, the semantics differs from the standard semantics using the construction of a canonical tree. ABTL extends propositional logic by three pairs of unary operators: next time, path, and eventually. BBTL adds a pair of binary Until operators that can be applied only to propositional logic formulas. CBTL adds the propositional connectives to BBTL formulas. Propositional logic inconsistency measures are extended to these logics and examples of the computation are given. These measures are shown to satisfy intuitively the concepts involved in the branching time logic operators unlike direct extensions of propositional logic inconsistency measures.

Ambiguity aversion, modern Bayesianism andsmall worlds.

The central question of this paper is whether a rational agent under uncertainty can exhibit ambiguity aversion (AA). The answer to this question depends on the way the agent forms her probabilistic beliefs: classical Bayesianism (CB) vs modern Bayesianism (MB). We revisit Schmeidler's coin-based example and show that a rational MB agent operating in the context of a "small world", cannot exhibit AA. Hence we argue that the motivation of AA based on Schmeidler's coin-based and Ellsberg's classic urn-based examples, is poor, since they correspond to cases of "small worlds". We also argue that MB, not only avoids AA, but also proves to be normatively superior to CB because an MB agent (i) avoids logical inconsistencies akin to the relation between her subjective probability and objective chance, (ii) resolves the problem of "old evidence" and (iii) allows psychological detachment from actual evidence, hence avoiding the problem of "cognitive dissonance". As far as AA is concerned, we claim that it may be thought of as a (potential) property of large worlds, because in such worlds MB is likely to be infeasible.

The Erroneous Foundations of Law and Economics

The fundamental originating principle of law and economics (L&E) is that legal decisions should be (and are) based on maximizing efficiency. But L&E proponents do not define “efficiency” in the way agreed to by most economists, as Pareto Efficiency. A Pareto optimal condition is obtained when no one can be made better off without making someone worse off. Pareto Improvements are win-win changes where no losers exist. In the judicial system, however, there are always winners and losers, because under Article III § 2 of the Constitution a legal case does not exist unless there is a justiciable “case or controversy” in need of resolution. Unable to use Pareto Efficiency, L&E scholars have been forced to adopt alternative definitions of efficiency. Most L&E scholars claim to define “efficiency” based on the work of Kaldor and Hicks, but (perhaps unwittingly) instead use a definition of “efficiency” derived from the 19th century idea of consumer surplus, which encompasses L&E notions such as “wealth maximization,” and “consumer welfare” in antitrust. Neither of these alternative definitions is viable, however. Outside of L&E, the Kaldor-Hicks approach has long been recognized to be riddled with logical inconsistencies and ethical failures, and the surplus approach is even more deficient. Remarkably, virtually none of the numerous L&E textbooks even hint at such problems. Critically, all definitions of efficiency improvements in economics are biased in favor of wealthy individuals or firms, either because they are dependent on the status quo ante distribution of assets, or because they bestow large advantages on parties with political influence or who can afford to bring lawsuits quickly. Many L&E practitioners treat efficiency improvements instead as being objectively good, an error revealing that L&E is primarily motivated by its neoliberal policy agenda.

Graph-based risk assessment and error detection in radiation therapy.

The objective of this study was to formalize and automate quality assurance (QA) in radiation oncology. Quality assurance in radiation oncology entails a multistep verification of complex, personalized radiation plans to treat cancer involving an interdisciplinary team and high technology, multivendor software and hardware systems. We addressed the pretreatment physics chart review (TPCR) using methods from graph theory and constraint programming to study the effect of dependencies between variables and automatically identify logical inconsistencies and how they propagate. We used a modular approach to decompose the TPCR process into tractable units comprising subprocesses, modules and variables. Modules represented the main software entities comprised in the radiation treatment planning workflow and subprocesses grouped the checks to be performed by functionality. Module-associated variables served as inputs to the subprocesses. Relationships between variables were modeled by means of a directed graph. The detection of errors, in the form of inconsistencies, was formalized as a constraint satisfaction problem whereby checks were encoded as logical formulae. The sequence in which subprocesses were visited was described in an activity diagram. The comprehensive model for the TPCR process comprised 5 modules, 19 subprocesses and 346 variables, 225 of which were distinct. Modules included "Treatment Planning System" and "Record and Verify System." Subprocesses included "Dose Prescription," "Documents," "CT Integrity," "Anatomical Contours," "Beam Configuration," "Dose Calculation," "3D Dose Distribution Quality," and "Treatment Approval." Variable inconsistencies, and their source and propagation were determined by checking for constraint violation and through graph traversal. Impact scores, obtained through graph traversal, combined with severity scores associated with an inconsistency, allowed risk assessment. Directed graphs combined with constraint programming hold promise for formalizing complex QA processes in radiation oncology, performing risk assessment and automating the TPCR process. Though complex, the process is tractable.

СУДОВО-БАЛІСТИЧНЕ ДОСЛІДЖЕННЯ НАРІЗНОЇ МИСЛИВСЬКОЇ ВОГНЕПАЛЬНОЇ ЗБРОЇ В УКРАЇНІ...: ШЛЯХИ ВДОСКОНАЛЕННЯ НОРМАТИВНОГО РЕГУЛЮВАННЯ

The article considers the problematic issues of circulation in the country of rifled hunting weapons as the only type of rifled firearms allowed for possession and storage at the place of residence of all categories of citizens of Ukraine who have reached a certain age and have no criminal record or medical contraindications. The normative documents which, in the absence of the corresponding Law, regulate the order of circulation of civilian firearms in the state are analyzed. Forensic features of hunting firearms are formulated and it is concluded that a significant number of samples of weapons sold on the territory of Ukraine as hunting weapons do not correspond to them. Citing specific examples from his own expert practice, the author argues that due to the lack of effective legal regulation of arms trafficking in the state, in fact, it is impossible to define a clear line between hunting weapons that are allowed to possess and store at the owner’s residence and other weapons (combat, sports, multi-purpose, self-defense, etc.), the civil circulation of which is prohibited or restricted in Ukraine. Based on the experimental shooting, it is proved that some samples of registered hunting firearms intended for firing with 9x21 IMI pistol cartridges do not provide guaranteed damage to animals and birds during hunting due to low rates of fire. It is concluded that the current standards governing the requirements for rifled firearms and ammunition are imperfect and contain technical and logical inconsistencies with other regulations, and therefore need to be revised. The article also proposes ways to improve the regulatory framework for the circulation of rifled hunting firearms in the country in compliance with the requirements of legislation and policy documents on the adaptation of Ukrainian legislation to the legislation of the European Union.

Как и какой перевод (не) оценивают компьютеры

The article discusses modern metrics for evaluating the quality of translation used in the development and tuning of MT systems, in machine translation competitions, and in evaluating the performance of some other NLP systems. The authors describe the criteria for evaluating the quality of translation and some methods of expert (human) evaluation. The article also reveals the mechanisms of automatic metrics (such as BLEU, TER, METEOR, BERTScore, COMET), their features, advantages and disadvantages. The authors emphasize the importance of BERTScore and COMET metrics and explain the popularity of some traditional metrics (e.g., BLEU). Modern metrics for the evaluation of translation quality give distorted results when the text contains numerous expressions with indirect meanings: poetic tropes, metaphors, metonymy, humor, or riddles. Communication with indirect meanings is linked with a human ability to think in contradictions. They are a source of insight and were used by Donald Davidson to describe the mechanism of a metaphor. However, communication with indirect meanings is still difficult to computerize. That is why the metric-based evaluation of professional literary translations shows poor results. Further development of metrics should use computer processing of contradictions, possibly with the help of inconsistent logics: paracomplete, paraconsistent and dialethic.

TELAAH KRITIS STATUS BADAN HUKUM DAN KONSEP DASAR BADAN USAHA MILIK DESA

Law No. 6 of 2014 on Villages (Village Law) appears to construct Village-Owned Enterprise or Badan Usaha Milik Desa (BUM Desa) as a new form of business entity within the Indonesian legal sphere. BUM Desa is considered to be different from other variants of business entities in Indonesia. There are multiple interpretations regarding the status of BUM Desa, debating whether they are legal entities or not. This normative legal research discusses the legal aspects of BUM Desa following the promulgation of the Village Law. It concludes that: (1) theoretically BUM Desa meets the criteria as a public legal entity. The issuance of Law No.11 of 2020 on Job Creation confirms the status of BUM Desa as a legal entity; (2) BUM Desa is a public business entity with a unique character to villages different from other forms of business entity with private ownership such as limited companies and cooperatives. However, legal provisions on BUM Desa still contain logical inconsistencies regarding the basic conception of BUM Desa and Law 12/2011 does not yet include Perdes as statutory regulation. The confirmation of the status of BUM Desa legal entities needs to be complemented by synchronization with Law 12/2011 to strengthen the position of Perdes as the legal basis for the establishment of BUM Desa along with various other sectoral regulations

A 50-year Retrospect of the Black-Scholes-Merton (BSM) Argument through Three Questions

This paper provides a retrospect of the Black-Scholes-Merton (BSM) argument that is used to derive the common BSM formula. The paper utilizes and builds upon a frame used to provide a retrospect of the Put-Call Parity (PCP) provided in Wurts (2018a). Accordingly, this paper fills a promise that lessons-learned from PCP analysis can be applied to more complex models for financial derivatives, and leads to a subsequent promise that lessons-learned from BSM analysis can also be applied to more-complex financial instruments and their models. The paper utilizes heuristics already developed for PCP analysis (as found in Wurts (2018a, 2018b, and 2019)) and introduces additional heuristics that can be useful in the corporate governance of model validation, including the micro corporate governance of financial instrument valuation models. The paper address three retrospect questions. (1) Should the BSM argument hold? (No.) (2) Has the BSM argument held? (Not necessarily.) (3) What are consequences for presuming the BSM argument has held? (Inconsistent logic, with added details.) The paper also provides an assessment regarding how other scholars have provided a different retrospect on the BSM model in general. And while other scholars have emphasized a naming of the BSM Formula (i.e., the seminal formula for a Call option) and the BSM Equation (i.e., the seminal fundamental partial differential equation for “all” derivatives, that leads to the BSM Formula), it is not clear that scholars have well characterized the BSM Argument. Hence, an introductory description of the BSM Argument is provided herein, in the context of what the BSM model and approach is.

Qualitative Analysis method for Social Stability Risk of Environmental Engineering Projects

Lately, ecological building ventures because of social needs and expanded danger additionally will be standardized. In 2014, the Blue Book called attention to that lately, the quantity of get-togethers brought about by different social logical inconsistencies. Where the ecological mass episodes are different with 30% yearly development. In a wide range of ecological clashes, natural designing tasks clashes are rising. The scholarly network has step by step completed the development of significant ventures of social solidness hazard appraisal rules, assessment record framework and different endeavors to normalize the execution of the task research, and accomplished more productive examination results.

A Critique of Nigerian Federalism and Need for Restructuring Towards Achieving Vision 2030

This paper underscores a critique of Nigeria’s choice of a federal option, the current state of which has led to the incessant clamour, across the nation for restructuring. Federalism in Nigeria since 1960 was adopted to accommodate the nation’s heterogeneous culture with the sole aim of maintaining unity in diversity. The dysfunctional system has been observed to be the main bane of Nigeria underdevelopment, instability, and absence of good governance all of which can negatively affect the achievement of a sustainable national development plan like the Vision 2030. This paper argues that Nigeria is yet to evolve a truly federal system capable of taking care of its numerous challenges. Writing from a historical perspective, the paper uncovers that there are logical inconsistencies in Nigeria’s practice of federalism. What gets here is a hidden unitary framework. The call for restructuring is in a general sense borne out of some apparent degrees of foul play and disparity presently perceived by the part units emerging from defective federalism. Understood in the above is that the necessary ingredients of sustainable democracy and governance are completely lacking in Nigeria. Thus, if the proposed Vision 2030 or any other national development plan is to be accomplished, there has to be a restructuring of the dysfunctional political system; a restructuring that devolves power to the federating units leaving the federal government with vital aspects like defence, foreign affairs among others; a return to the regional arrangement of the past.

Ontology for preserving the knowledge base of traditional dances (OTD)

PurposeSystematic organization of domain knowledge has many advantages in archiving, sharing and retrieval of information. Ontologies provide a cushion for such practices in the semantic Web environment. This study aims to develop an ontology that can preserve the knowledge base of traditional dance practices.Design/methodology/approachIt is hypothesized that an ontology-based approach for the chosen domain might boost collaborative research prospects in the domain. A systematic methodology was developed for modeling the ontology based on the analytico-synthetic rule of library classification. Protégé 5.2 was used as an editor for the ontology using the Web ontology language combined with description logic axioms. Ontology was later implemented in a local GraphDB repository to run queries over it.FindingsThe developed ontology on traditional dances (OTD) was tested using the dances of the Rabha tribes of North East India. Rabha tribes are from an indigenous mongoloid community and have a robust presence in Southeast Asian countries, such as Myanmar, Thailand, Bangladesh, Bhutan and Nepal. The result from HermiT reasoner found the presence of no logical inconsistency in the ontology, while the OOPS! pitfall checker tool reported no major internal inconsistency. The induced knowledge base of traditional dances of the Rabha’s in the developed OTD was further validated based on some competency questions.Research limitations/implicationsIn the growing trend of globalization, preservation of the cultural knowledge base of human societies is an important issue. Traditional dances reflect a strong base of the cultural heritage of human societies as they are closely related to the lifestyle, habitat, religious practices and festivals of a specific community.Originality/valueThe current study is exclusively designed, keeping in mind the variables of traditional dance domain based on a survey of the user- and domain-specific needs. The ontology finds probable uses in traditional knowledge information systems, lifestyle-based e-commerce sites and e-learning platforms.