Sep 2026· Zenodo (CERN European Organization for Nuclear Research)
Abstract
From Macro-Ontology to Atomic Formula: The Parametric and Granular Decomposition of Knowledge in the UMOKWAI Epistemic-Operational ModelCorpus reference: Formal extension of the UMOSU ontology and the UMOKWAI epistemic-operational model (Zenodo, DOI: 10.5281/zenodo.22365912)Bibliographic classification systems and classical formal ontologies (BFO, DOLCE) offer categorical structures useful for the macro-organization of knowledge, but do not resolve the deterministic validation of the single scientific assertion. This work formalizes UMOKWAI's transition from a classification model to a deterministic framework for the indexing, verification, and dynamic management of knowledge (anti-hallucination), proposing a recursive, parametric decomposition architecture across 5 levels (L0–L4): from the Fundamental Epistemic Class (K1–K8) down to the Atomic Formula (a single equation, norm, or proposition that cannot be further divided).The document also introduces the cascading selective-activation mechanism (macro routing → domain specialization → atomic validation) and the management of the temporal currency of assertions (:ActiveStatus / :ObsoleteStatus / :supersededBy), applied to three domains: hard sciences (K1–K5), law (K8), and economics (K7), with the aim of neutralizing the probabilistic inertia of large language models with respect to superseded theories, rulings lacking currently valid normative coverage, and historically superseded economic regimes.KeywordsUMOSU, UMOKWAI, knowledge ontology, formal epistemology, anti-hallucination, deterministic validation, artificial intelligence, knowledge classification, atomic formula, probabilistic inertia
GAOKAO-Bench is introduced, an intuitive benchmark that employs questions from the Chinese GAOKAO examination as test samples, including both subjective and objective questions that contribute a robust evaluation benchmark for future large language models and offers valuable insights into the advantages and limitations...
Xiaotian Zhang, Chun-yan Li, Yi Zong et al.· arXiv.org· 216 citations· ⚡17
The results are packaged in the Greenfield Startup Model (GSM), which explains the priority of startups to release the product as quickly as possible, and the need to shorten time-to-market, by speeding up the development through low-precision engineering activities.
Carmine Giardino, Nicolò Paternoster, M. Unterkalmsteiner et al.· IEEE Transactions on Softwar...· 178 citations· ⚡14
Software startup companies develop innovative, software-intensive products within limited timeframes and with few resources, searching for sustainable and scalable business models.
M. Unterkalmsteiner, P. Abrahamsson, Xiaofeng Wang et al.· e-Informatica Software Engin...· 157 citations· ⚡17
This work investigates the possibilities of using LLMs in a resume screening setting via a document retrieval framework that simulates job candidate selection and finds that the MTEs are biased, significantly favoring White-associated names in 85% of cases and female-associated names in only 11.1% of cases.
This study conducts a case survey study based on the secondary data of the major pivots happened in 49 software startups, and demonstrates that customer need pivot is the most common among all pivot types.
Sohaib Shahid Bajwa, Xiaofeng Wang, Anh Nguyen-Duc et al.· Empirical Software Engineeri...· 127 citations· ⚡15
This work shows that orders of magnitude enhancement in performance could be obtained by a combination of hardware improvements and tight quantum-HPC integration and introduces high-performance architectures for quantum-probabilistic computing with custom-designed accelerators to tackle today's industry-scale classical...
Masoud Mohseni, Artur Scherer, K. Johnson et al.· arXiv.org· 121 citations· ⚡9