Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 2606.19392

Fuzzy OWL 2 Reasoning: A Re-Engineered Python Framework

Fernando Bobillo·Giuseppe Filippone·Gianmarco La Rosa·Umberto Straccia·Marco Elio Tabacchi
View original source ↗Read source document ↗Export metadata ↓

Abstract

In many real-world domains, knowledge is inherently vague or imprecise - features that classical ontology languages, based on crisp Description Logics (DLs), are unable to capture. This shortcoming poses particular challenges for applications in the Semantic Web and Explainable Artificial Intelligence (XAI), where robust reasoning over graded information is essential. Fuzzy ontologies address this limitation by enriching DLs with fuzzy logic, enabling the expression of partial truth and supporting more nuanced modelling of real-world knowledge. We present fuzzy-dl-owl2, a complete re-engineering in Python of the fuzzyDL reasoner and the Fuzzy OWL 2 framework. The former is an expressive fuzzy DL reasoner, while the latter allows for defining fuzzy ontologies within OWL 2. Our contribution addresses several shortcomings of the original software, including semantic inconsistencies, rigid architectural design, and limited solver integration. The re-implementation features a modular class hierarchy tailored for extensibility, supports a broader range of Mixed-Integer Linear Programming (MILP) solvers (including open-source alternatives), and corrects IRI ambiguities arising from overlapping ontological elements. Furthermore, a dedicated Python library (pyowl2) has also been developed to handle OWL 2 annotations in a standards-compliant manner, improving interoperability with existing Semantic Web tooling and resolving IRI ambiguities. The resulting framework offers a portable, extensible, and theoretically grounded platform for reasoning with fuzzy ontologies, suitable for both research and deployment in vague-aware systems. Performance tests have also been conducted that show improved execution times w.r.t. the original Java implementation. The source code and full documentation are publicly available to facilitate community adoption and further development.

Explore related subjects

math.GM

Keep this discovery

BibTeXRIS

Fernando Bobillo, Giuseppe Filippone, Gianmarco La Rosa, Umberto Straccia, Marco Elio Tabacchi. 2026-06-16. Fuzzy OWL 2 Reasoning: A Re-Engineered Python Framework. https://arxiv.org/abs/2606.19392

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Average Chord Lengths in a Triangle

Let $P$ be a point inside a triangle $T$. We consider the average length of the chords of $T$ through $P$, where the direction of the chord is chosen uniformly. An elementary formula is obtained in terms of the distances from $P$ to the sides and vertices of the triangle. Several classical triangle centers give especially simple specializations. For example, if $I$ is the incenter, then \[ M_T(I)=\frac{2r}{\pi} \log\left(\cot\frac A4\cot\frac B4\cot\frac C4\right). \] Our main result is the sharp inequality \[ M_T(P)\le \frac{p}{\pi\sqrt3}\log(2+\sqrt3), \] valid simultaneously for every triangle of perimeter $p$ and every interior point $P$. Thus, among all such pairs $(T,P)$, the largest possible average chord length occurs only when $T$ is equilateral and $P$ is its center. The proof is an elementary symmetrization argument. We close with brief remarks relating the problem to the radial center of a convex body, the electrostatic potential center of a triangle, and dual quermassintegrals.

math.GM↗
arXiv2026

A Proof of Liu's Conjecture on the Fundamental Triangle Inequality

Let $a,b,c$ be the side lengths of a triangle, and let $R$ and $r$ denote its circumradius and inradius, respectively. We prove a conjecture of Liu stating that \[\sum_{\mathrm{cyc}} \left(\frac{a(b+c-a)}{bc}\right)^k \geq 2+\left(\frac{2r}{R}\right)^k,~~k>1, \] with the reverse inequality for $0<k<1$. The proof reduces the problem to three positive variables with fixed sum and product. We also determine the equality cases.

math.GM↗