fuzzy-dl-owl2 1.0.0__tar.gz → 1.0.2__tar.gz

fuzzy_dl_owl2-1.0.0/README.md → fuzzy_dl_owl2-1.0.2/PKG-INFO

@@ -1,3 +1,27 @@
+Metadata-Version: 2.3
+Name: fuzzy-dl-owl2
+Version: 1.0.2
+Summary: 
+License: CC-BY-SA-4.0
+Author: Giuseppe Filippone
+Author-email: filipponegiuseppe94@gmail.com
+Requires-Python: >=3.11,<4.0
+Classifier: License :: Other/Proprietary License
+Classifier: Programming Language :: Python :: 3
+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.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
+
 # Fuzzy DL OWL 2
 A python porting of the Fuzzy Description Language (see https://www.umbertostraccia.it/cs/software/fuzzyDL/fuzzyDL.html) and the Fuzzy OWL 2 framework (see https://www.umbertostraccia.it/cs/software/FuzzyOWL/index.html).
 
@@ -17,7 +41,7 @@ Features:
 # Installation
 
 ```python
-pip install fuzzy-reasoner
+pip install fuzzy-dl-owl2
 ```
 
 ⸻
@@ -32,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
@@ -81,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
@@ -156,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
@@ -232,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
@@ -275,3 +335,4 @@ fuzzy_reasoner
 # License
 
 This project is licensed under the Creative Commons Attribution-ShareAlike 4.0 International.
+

fuzzy_dl_owl2-1.0.0/PKG-INFO → fuzzy_dl_owl2-1.0.2/README.md

@@ -1,24 +1,3 @@
-Metadata-Version: 2.3
-Name: fuzzy_dl_owl2
-Version: 1.0.0
-Summary: 
-License: CC-BY-SA-4.0
-Author: Giuseppe Filippone
-Author-email: filipponegiuseppe94@gmail.com
-Requires-Python: >=3.11,<4.0
-Classifier: License :: Other/Proprietary License
-Classifier: Programming Language :: Python :: 3
-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: 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)
-Project-URL: Repository, https://github.com/giuseppefilippone/fuzzy_dl_owl2
-Description-Content-Type: text/markdown
-
 # Fuzzy DL OWL 2
 A python porting of the Fuzzy Description Language (see https://www.umbertostraccia.it/cs/software/fuzzyDL/fuzzyDL.html) and the Fuzzy OWL 2 framework (see https://www.umbertostraccia.it/cs/software/FuzzyOWL/index.html).
 
@@ -38,7 +17,7 @@ Features:
 # Installation
 
 ```python
-pip install fuzzy-reasoner
+pip install fuzzy-dl-owl2
 ```
 
 ⸻
@@ -53,6 +32,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 +121,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 +195,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 +270,6 @@ fuzzy_reasoner
 │       └── utils.py
 └── fuzzyowl2
     ├── __init__.py
-    ├── fuzzyowl2_java.py
-    ├── fuzzyowl2_to_fuzzydl_java.py
     ├── fuzzyowl2_to_fuzzydl.py
     ├── fuzzyowl2.py
     ├── owl_types
@@ -296,4 +311,3 @@ fuzzy_reasoner
 # License
 
 This project is licensed under the Creative Commons Attribution-ShareAlike 4.0 International.
-

fuzzy_dl_owl2-1.0.2/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 → fuzzy_dl_owl2-1.0.2}/pyproject.toml

@@ -1,6 +1,6 @@
 [tool.poetry]
-name = "fuzzy_dl_owl2"
-version = "1.0.0"
+name = "fuzzy-dl-owl2"
+version = "1.0.2"
 description = ""
 license = "CC-BY-SA-4.0"
 readme = "README.md"
@@ -10,10 +10,13 @@ authors = ["Giuseppe Filippone <filipponegiuseppe94@gmail.com>"]
 [tool.poetry.dependencies]
 python = ">=3.11, <4.0"
 owlready2 = "^0.47"
-rdflib = "^7.1.1"
+rdflib = "^7.1.4"
+networkx = "^3.3"
 pyowl2 = "^1.0.0"
-pyparsing = "^3.1.1"
+pyparsing = "^3.2.3"
 gurobipy = "^12.0.0"
+sortedcontainers = "^2.4.0"
+trycast = "^1.2.0"
 
 [tool.poetry.dev-dependencies]
 pytest = "^5.2"