fuzzy-dl-owl2 1.0.0__py3-none-any.whl → 1.0.2__py3-none-any.whl

fuzzy_dl_owl2/fuzzydl/util/utils.py

@@ -0,0 +1,38 @@
+import ast
+import datetime
+import functools
+import importlib
+import importlib.util
+import inspect
+import os
+import sys
+import time
+import types
+import typing
+
+from fuzzy_dl_owl2.fuzzydl.util.config_reader import ConfigReader
+from fuzzy_dl_owl2.fuzzydl.util.util import Util
+
+def recursion_unlimited(func: typing.Callable):
+    module: types.ModuleType = inspect.getmodule(func)
+
+    @functools.wraps(func)
+    def wrapper(*args, **kwargs):
+        orig_n: int = sys.getrecursionlimit()
+        while True:
+            try:
+                result = func(*args, **kwargs)
+                break
+            except RecursionError:
+                # since self.proposition is too long, change the recursion limit
+                n: int = sys.getrecursionlimit() * 2
+                sys.setrecursionlimit(n)
+                if ConfigReader.DEBUG_PRINT:
+                    Util.debug(
+                        f"Updating recursion limit for {module.__name__}:{func.__name__}() to {n}"
+                    )
+        # reset recursion limit to its original value
+        sys.setrecursionlimit(orig_n)
+        return result
+
+    return wrapper

{fuzzy_dl_owl2-1.0.0.dist-info → fuzzy_dl_owl2-1.0.2.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.3
-Name: fuzzy_dl_owl2
-Version: 1.0.0
+Name: fuzzy-dl-owl2
+Version: 1.0.2
 Summary: 
 License: CC-BY-SA-4.0
 Author: Giuseppe Filippone
@@ -12,10 +12,13 @@ Classifier: Programming Language :: Python :: 3.11
 Classifier: Programming Language :: Python :: 3.12
 Classifier: Programming Language :: Python :: 3.13
 Requires-Dist: gurobipy (>=12.0.0,<13.0.0)
+Requires-Dist: networkx (>=3.3,<4.0)
 Requires-Dist: owlready2 (>=0.47,<0.48)
 Requires-Dist: pyowl2 (>=1.0.0,<2.0.0)
-Requires-Dist: pyparsing (>=3.1.1,<4.0.0)
-Requires-Dist: rdflib (>=7.1.1,<8.0.0)
+Requires-Dist: pyparsing (>=3.2.3,<4.0.0)
+Requires-Dist: rdflib (>=7.1.4,<8.0.0)
+Requires-Dist: sortedcontainers (>=2.4.0,<3.0.0)
+Requires-Dist: trycast (>=1.2.0,<2.0.0)
 Project-URL: Repository, https://github.com/giuseppefilippone/fuzzy_dl_owl2
 Description-Content-Type: text/markdown
 
@@ -38,7 +41,7 @@ Features:
 # Installation
 
 ```python
-pip install fuzzy-reasoner
+pip install fuzzy-dl-owl2
 ```
 
 ⸻
@@ -53,6 +56,46 @@ Examples of supported Fuzzy Description Logic Constructs
 
 ⸻
 
+# Directory dl-examples
+
+The directory `dl-examples` contains a few examples of Knowledge Bases written using the Fuzzy Description Logic language.
+
+⸻
+
+# Configuration of the MILP solver
+
+Since version 1.0.1 uses `Gurobi Optimizer` (see [gurobipy](https://support.gurobi.com/hc/en-us/articles/360044290292-How-do-I-install-Gurobi-for-Python)= for the Fuzzy DL reasoning, please create a GUROBI license to use this library.
+
+For the configuration, create a `CONFIG.ini` file in the same directory used for the execution of the library. 
+Example of your execution directory:
+```text
+your_directory
+├── CONFIG.ini
+├── your_file.py
+```
+
+The file `CONFIG.ini` is structured as follows:
+```text
+[DEFAULT]
+debugPrint = False
+relaxMilp = False
+epsilon = 0.001
+maxIndividuals = -1
+showVersion = False
+author = False
+```
+
+| Configuration Variable | Description                       |
+|----------------------|-----------------------------------|
+| debugPrint        | Enable/disable debugging          |
+| relaxMilp      | Enable/disable MILP constraint relaxation. Important: The solution may be wrong by enabling this flag |
+| epsilon | Define the precision of the solution. For instance, epsilon = 0.001 means that the solution will be calculated with an accuracy to the third decimal place |
+| maxIndividuals | Define the maximal number of individuals to handle. The value -1 indicate that there is no maximum |
+| showVersion | Enable/disable the version print of the library |
+| author | Enable/disable the author print of the library |
+
+⸻
+
 # Usage - Reasoning
 
 ## Knowledge base in example.fdl
@@ -102,9 +145,8 @@ fdl.translate_owl2ontology()  # save example.fdl in the subdirectory "./results"
 # Project Structure
 
 ```text
-fuzzy_reasoner
+fuzzy_dl_owl2
 ├── __init__.py
-├── app.py
 ├── fuzzydl
 │   ├── __init__.py
 │   ├── assertion
@@ -177,7 +219,6 @@ fuzzy_reasoner
 │   │   ├── fuzzy_ontology_exception.py
 │   │   └── inconsistent_ontology_exception.py
 │   ├── feature_function.py
-│   ├── fuzzydl_to_owl2_java.py
 │   ├── fuzzydl_to_owl2.py
 │   ├── general_concept_inclusion.py
 │   ├── individual
@@ -253,8 +294,6 @@ fuzzy_reasoner
 │       └── utils.py
 └── fuzzyowl2
     ├── __init__.py
-    ├── fuzzyowl2_java.py
-    ├── fuzzyowl2_to_fuzzydl_java.py
     ├── fuzzyowl2_to_fuzzydl.py
     ├── fuzzyowl2.py
     ├── owl_types

{fuzzy_dl_owl2-1.0.0.dist-info → fuzzy_dl_owl2-1.0.2.dist-info}/RECORD

@@ -63,7 +63,6 @@ fuzzy_dl_owl2/fuzzydl/exception/fuzzy_ontology_exception.py,sha256=eH1ybBCx1QoZa
 fuzzy_dl_owl2/fuzzydl/exception/inconsistent_ontology_exception.py,sha256=ez0RQN4KGlNRcfB7IXfPz3bM86CFLl6zo-RRTBRpa_o,129
 fuzzy_dl_owl2/fuzzydl/feature_function.py,sha256=MXN8rU5moY4dWfXlfEAokEiWl_dpmcyY6OZOSN_-RaI,5898
 fuzzy_dl_owl2/fuzzydl/fuzzydl_to_owl2.py,sha256=6W8RA5LZ-Y2XOuA_yGlDzP1Xot4WsBprTSBVPOouS14,44978
-fuzzy_dl_owl2/fuzzydl/fuzzydl_to_owl2_java.py,sha256=Lo5Jh8NLTyIhzurAczMBxOyQIFCiyDixx7cUDfbTI1Q,45091
 fuzzy_dl_owl2/fuzzydl/general_concept_inclusion.py,sha256=Noom35WAeJosPrliGd9_gvEtcK4BthazsSuZH-cxfyU,2380
 fuzzy_dl_owl2/fuzzydl/individual/__init__.py,sha256=zBCa24kE2nv08VgtphjLshpbGNEARUJgCdtyv9r6JGc,110
 fuzzy_dl_owl2/fuzzydl/individual/created_individual.py,sha256=HOo_UXjPPPtm7B0a7k90kE1veuR9gOCK5hp2f_aaJnY,7653
@@ -83,11 +82,8 @@ fuzzy_dl_owl2/fuzzydl/modifier/__init__.py,sha256=mgJml-9PVs566EYpwBxfmmiw8oPXiS
 fuzzy_dl_owl2/fuzzydl/modifier/linear_modifier.py,sha256=Rn6q4ytIdTiCI-TRZIK5qjWSA4K3q78fYSrYxlQklVc,2022
 fuzzy_dl_owl2/fuzzydl/modifier/modifier.py,sha256=K1QG_i0eePq49RqyPsOCYRKonmD1QFzE0WwyxOBnymo,816
 fuzzy_dl_owl2/fuzzydl/modifier/triangular_modifier.py,sha256=MAfQ0w91tc1fw0FCdxHyt-RHXoRKo8GOfwBqDoCpUVc,2115
-fuzzy_dl_owl2/fuzzydl/parser/ParserConstants.py,sha256=bGJjHMvN1w78uhs3M7rDWrIcacUrcK7BOKpQb97trgw,7628
 fuzzy_dl_owl2/fuzzydl/parser/__init__.py,sha256=vs0cN8a1ATeFx1J4evw6k7mWe4zOvba_xMO2eBXZ_gc,32
 fuzzy_dl_owl2/fuzzydl/parser/dl_parser.py,sha256=aJ8VfiAyfHLslKZCKtht4nu8izv7tE40v4Nw4C1VWCs,81810
-fuzzy_dl_owl2/fuzzydl/parser/ebnf.lark,sha256=4ZIsyczm9Xfx0VvIGWlGbbc0xPN-H1tsN946bhJvfkY,14524
-fuzzy_dl_owl2/fuzzydl/parser/larkx.py,sha256=q6opkO8Bqh9_yKSoMY1wfVT-Vcc2v4M-mkQo43qb1kQ,1439
 fuzzy_dl_owl2/fuzzydl/primitive_concept_definition.py,sha256=jQxEqwqt-VuP58i90gfzcOge-rI3BC9zvqXJgUA7eno,2331
 fuzzy_dl_owl2/fuzzydl/query/__init__.py,sha256=4952zUtxF3VDI4TWDkpYdayP71DSowCsJzYAc_fOyGY,405
 fuzzy_dl_owl2/fuzzydl/query/all_instances_query.py,sha256=IgCmHvYMiEW3MWSt-IOr42KXwz-hgCGCC6beSt-lgLM,1867
@@ -125,11 +121,10 @@ fuzzy_dl_owl2/fuzzydl/util/__init__.py,sha256=44tug6cK4CwfOR865-q1FOVN34TEDzfLla
 fuzzy_dl_owl2/fuzzydl/util/config_reader.py,sha256=TQyWZ1EMqS8WteJfHUqQG-aloyxaZ7TJd32ox1k_0CU,2063
 fuzzy_dl_owl2/fuzzydl/util/constants.py,sha256=PV6fSOk8rrVJ_7qnZ9xFCcjBxXpMH3mvHN83XpNaH4I,12749
 fuzzy_dl_owl2/fuzzydl/util/util.py,sha256=5COC79TAJz8fNrRzXLbNpAT9rLd_0KrRI1OU-hob3oU,1903
+fuzzy_dl_owl2/fuzzydl/util/utils.py,sha256=h18QpDSRjitsVPta_zmRvHC8HUdfFwbFqol4oLANITs,1133
 fuzzy_dl_owl2/fuzzyowl2/__init__.py,sha256=C44P0-Sn35FQdVMqYLzeDWa5qPmokbcs8GPiD_zQaSg,153
 fuzzy_dl_owl2/fuzzyowl2/fuzzyowl2.py,sha256=xe98T3nowcOK2VJ6gZpJqTxwH0qhLzdQz3yeJbKzdJU,71313
-fuzzy_dl_owl2/fuzzyowl2/fuzzyowl2_java.py,sha256=doOKO57CflVr3z2t_H5flZ6pP8rf6AMJ9dsm3DAHBAw,64476
 fuzzy_dl_owl2/fuzzyowl2/fuzzyowl2_to_fuzzydl.py,sha256=yWMhk3mpAmGfLSg6buEo8pC2G-Jczy1pgiy3riaZsZY,37033
-fuzzy_dl_owl2/fuzzyowl2/fuzzyowl2_to_fuzzydl_java.py,sha256=m7jHxW6zi0Nn1apJ8vsoibboFl4wvfDfbxVXC5phvM4,38171
 fuzzy_dl_owl2/fuzzyowl2/owl_types/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 fuzzy_dl_owl2/fuzzyowl2/owl_types/choquet_concept.py,sha256=ymnyNfvkvWA3y2UMXyPviD0U98vJ6jrX6zddj09SUoI,671
 fuzzy_dl_owl2/fuzzyowl2/owl_types/concept_definition.py,sha256=d5ZsEX8NN-aYJohXGzeJFhrnufCJ6AZ1YLGiclwysDc,324
@@ -161,7 +156,7 @@ fuzzy_dl_owl2/fuzzyowl2/parser/__init__.py,sha256=fKaME_uuWyG5UB7VKD-nMV-j95lC1j
 fuzzy_dl_owl2/fuzzyowl2/parser/owl2_parser.py,sha256=5eGyRbYUQNH5ZTKCjsOYOsw9Ode4lUl8eUNK4jQGZSs,19683
 fuzzy_dl_owl2/fuzzyowl2/util/__init__.py,sha256=81quoggCuIypZjZs3bbf1Ty70KHdva5RGEJxi0oC57E,25
 fuzzy_dl_owl2/fuzzyowl2/util/constants.py,sha256=05eQLYTB4CxxUZ_T-sNG9FsH8hkrBMAh2y24oiQN8xY,3904
-fuzzy_dl_owl2-1.0.0.dist-info/LICENSE,sha256=er4Z7Ju3OzYUG5mbhh0krYVegIuv4PgehMzihVb2wpc,20131
-fuzzy_dl_owl2-1.0.0.dist-info/METADATA,sha256=xz5Hw6uwVNJh-7hb4_xq1VOxUbUFJNT1agINRn5ImIc,11235
-fuzzy_dl_owl2-1.0.0.dist-info/WHEEL,sha256=b4K_helf-jlQoXBBETfwnf4B04YC67LOev0jo4fX5m8,88
-fuzzy_dl_owl2-1.0.0.dist-info/RECORD,,
+fuzzy_dl_owl2-1.0.2.dist-info/LICENSE,sha256=er4Z7Ju3OzYUG5mbhh0krYVegIuv4PgehMzihVb2wpc,20131
+fuzzy_dl_owl2-1.0.2.dist-info/METADATA,sha256=UT7XY4U9-ZDxqYAB2NKl4hw7sBhFjKipW95ADW5d7pY,12777
+fuzzy_dl_owl2-1.0.2.dist-info/WHEEL,sha256=b4K_helf-jlQoXBBETfwnf4B04YC67LOev0jo4fX5m8,88
+fuzzy_dl_owl2-1.0.2.dist-info/RECORD,,