fuzzy-dl-owl2 1.0.8__tar.gz → 1.0.10__tar.gz

{fuzzy_dl_owl2-1.0.8 → fuzzy_dl_owl2-1.0.10}/PKG-INFO

@@ -1,8 +1,9 @@
-Metadata-Version: 2.3
+Metadata-Version: 2.4
 Name: fuzzy-dl-owl2
-Version: 1.0.8
+Version: 1.0.10
 Summary: 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).
 License: CC-BY-SA-4.0
+License-File: LICENSE
 Author: Giuseppe Filippone
 Author-email: filipponegiuseppe94@gmail.com
 Requires-Python: >=3.11,<4.0
@@ -11,21 +12,31 @@ Classifier: Programming Language :: Python :: 3
 Classifier: Programming Language :: Python :: 3.11
 Classifier: Programming Language :: Python :: 3.12
 Classifier: Programming Language :: Python :: 3.13
+Classifier: Programming Language :: Python :: 3.14
 Requires-Dist: networkx (>=3.3,<4.0)
 Requires-Dist: owlready2 (>=0.47,<0.48)
-Requires-Dist: pyowl2 (>=1.0.2,<2.0.0)
+Requires-Dist: pyowl2 (>=1.0.3,<2.0.0)
 Requires-Dist: pyparsing (>=3.2.3,<4.0.0)
 Requires-Dist: rdflib (>=7.1.4,<8.0.0)
 Requires-Dist: setuptools (>=80.8.0,<81.0.0)
 Requires-Dist: sortedcontainers (>=2.4.0,<3.0.0)
 Requires-Dist: trycast (>=1.2.0,<2.0.0)
+Project-URL: Documentation, https://fuzzy-dl-owl2.readthedocs.io/en/latest/
 Project-URL: Repository, https://github.com/giuseppefilippone/fuzzy_dl_owl2
 Description-Content-Type: text/markdown
 
+![Docs](https://img.shields.io/badge/docs-passing-brightgreen.svg)
+![Tests](https://img.shields.io/badge/tests-passing-brightgreen.svg)
+[![Documentation](https://img.shields.io/badge/Read%20the%20Docs-8CA1AF?logo=readthedocs&logoColor=white)](https://fuzzy-dl-owl2.readthedocs.io/en/latest)
+[![PyPI](https://img.shields.io/pypi/v/fuzzy-dl-owl2.svg)](https://pypi.org/project/fuzzy-dl-owl2/)
+![Python Versions](https://img.shields.io/pypi/pyversions/fuzzy-dl-owl2.svg)
+![Code Style](https://img.shields.io/badge/code%20style-python-green)
+
+
 # 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).
+A python porting of the [Fuzzy Description Language](https://www.umbertostraccia.it/cs/software/fuzzyDL/fuzzyDL.html) and the [Fuzzy OWL 2](https://www.umbertostraccia.it/cs/software/FuzzyOWL/index.html) framework.
 
-⸻
+---
 
 A lightweight Python porting of the Fuzzy Description Language (FuzzyDL) and the Fuzzy OWL 2 framework, designed for representing fuzzy logic within description logic and for mapping an knowledge base represented in FuzzyDL to a Fuzzy OWL 2 construct in RDF/XML format.
 
@@ -36,7 +47,7 @@ Features:
 - Mapping from Fuzzy OWL 2 to FuzzyDL
 - Reasoning in FuzzyDL
 
-⸻
+---
 
 # Installation
 
@@ -44,7 +55,7 @@ Features:
 pip install fuzzy-dl-owl2
 ```
 
-⸻
+---
 
 Examples of supported Fuzzy Description Logic Constructs
 
@@ -54,13 +65,13 @@ Examples of supported Fuzzy Description Logic Constructs
 | ChoquetIntegral      | Define a choquet integral concept |
 | ApproximationConcept | Define a tight/upper/* lower/upper approximation concept |
 
-⸻
+---
 
 # 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
 
@@ -102,10 +113,12 @@ Supported MILP Providers:
 | HiGHS | pulp_highs |
 | MIP | mip |
 
-⸻
+---
 
 # MILP Provider Usage and Configuration
 
+<details><summary>See configurations for each provider</summary>
+
 ## GUROBI
 
 - Install [gurobipy](https://pypi.org/project/gurobipy/):
@@ -158,10 +171,14 @@ pip install pulp==3.2.1
 ```
 - Add HiGHS to the PATH
 
-⸻
+</details>
+
+---
 
 # Fuzzy Description Logic Grammatics
 
+<details><summary>See all grammatics</summary>
+
 ## String and Numbers
 ```python
 name    := ["][a-zA-Z_][a-zA-Z0-9_]*["]
@@ -275,9 +292,9 @@ restriction             := '(' ('>=' | '<=', '=') name (name | restriction_funct
 |$(\mathrm{>=}\ F\ \text{variable})$| ${\mathrm{sup}}_{b \in {\Delta}_D} \[F^\mathcal{I} (x, b) \otimes (b \geq \text{variable})\]$|
 |$(\mathrm{<=}\ F\ \text{variable})$| $\mathrm{sup}_{b \in \Delta_D} \[F^\mathcal{I} (x, b) \otimes (b \leq \text{variable})\]$|
 |$(=\ F\ \text{variable}) $| $\mathrm{sup}_{b \in \Delta_D} \[F^\mathcal{I} (x, b) \otimes (b = \text{variable})\]$|
-|$(\mathrm{>=}\ F\ \text{fuzzy\_number})$|$\mathrm{sup}_{b^\prime, b \in \Delta_D} \[F^\mathcal{I} (x, b) \otimes (b \geq b^\prime) \otimes {\text{fuzzy\_number}(b^\prime)}^\mathcal{I}\]$|
-|$(\mathrm{<=}\ F\ \text{fuzzy\_number})$|$\mathrm{sup}_{b^\prime, b \in \Delta_D} \[F^\mathcal{I} (x, b) \otimes (b \leq b^\prime) \otimes {\text{fuzzy\_number}(b^\prime)}^\mathcal{I}\]$|
-|$(=\ F\ \text{fuzzy\_number})$|$\mathrm{sup}_{b^\prime, b \in \Delta_D} \[F^\mathcal{I} (x, b) \otimes (b = b^\prime) \otimes {\text{fuzzy\_number}(b^\prime)}^\mathcal{I}\]$|
+|$(\mathrm{>=}\ F\ \text{fuzzy\\_number})$|$\mathrm{sup}_{b^\prime, b \in \Delta_D} \[F^\mathcal{I} (x, b) \otimes (b \geq b^\prime) \otimes {\text{fuzzy\\_number}(b^\prime)}^\mathcal{I}\]$|
+|$(\mathrm{<=}\ F\ \text{fuzzy\\_number})$|$\mathrm{sup}_{b^\prime, b \in \Delta_D} \[F^\mathcal{I} (x, b) \otimes (b \leq b^\prime) \otimes {\text{fuzzy\\_number}(b^\prime)}^\mathcal{I}\]$|
+|$(=\ F\ \text{fuzzy\\_number})$|$\mathrm{sup}_{b^\prime, b \in \Delta_D} \[F^\mathcal{I} (x, b) \otimes (b = b^\prime) \otimes {\text{fuzzy\\_number}(b^\prime)}^\mathcal{I}\]$|
 |$(\mathrm{>=}\ F\ \mathrm{function}(F_1, \ldots, F_n))$|$\mathrm{sup}_{b \in \Delta_D} \[F^\mathcal{I} (x, b) \otimes (b \geq {\mathrm{function}(F_1, \ldots, F_n)}^{\mathcal{I}})\]$|
 |$(\mathrm{<=}\ F\ \mathrm{function}(F_1, \ldots, F_n))$|$\mathrm{sup}_{b \in \Delta_D} \[F^\mathcal{I} (x, b) \otimes (b \leq {\mathrm{function}(F_1, \ldots, F_n)}^{\mathcal{I}})\]$|
 |$(=\ F\ \mathrm{function}(F_1, \ldots, F_n))$|$\mathrm{sup}_{b \in \Delta_D} \[F^\mathcal{I} (x, b) \otimes (b = {\mathrm{function}(F_1, \ldots, F_n)}^{\mathcal{I}})\]$|
@@ -567,7 +584,9 @@ queries := (
 
 - In defuzzify queries, the concept $C$ represents several Mamdani/Rules IF-THEN fuzzy rules expressing how to obtain the value of the concrete feature F.
 
-⸻
+</details>
+
+---
 
 # Usage - Reasoning
 
@@ -592,7 +611,8 @@ from fuzzy_dl_owl2 import DLParser
 
 DLParser.main("./example.fdl")  # "Is audi instance of SportCar ? >= 0.92"
 ```
-⸻
+
+---
 
 # Usage - Fuzzy OWL 2
 
@@ -613,203 +633,216 @@ from fuzzy_dl_owl2 import FuzzyOwl2ToFuzzyDL
 fdl = FuzzyOwl2ToFuzzyDL("./results/example.owl", "example.fdl")
 fdl.translate_owl2ontology()  # save example.fdl in the subdirectory "./results"
 ```
-⸻
+
+---
 
 # Project Structure
 
+<details><summary>See project structure</summary>
+
 ```text
 fuzzy_dl_owl2
 ├── __init__.py
 ├── fuzzydl
-│   ├── __init__.py
-│   ├── assertion
-│   │   ├── __init__.py
-│   │   ├── assertion.py
-│   │   └── atomic_assertion.py
-│   ├── concept
-│   │   ├── __init__.py
-│   │   ├── all_some_concept.py
-│   │   ├── approximation_concept.py
-│   │   ├── atomic_concept.py
-│   │   ├── choquet_integral.py
-│   │   ├── concept.py
-│   │   ├── concrete
-│   │   │   ├── __init__.py
-│   │   │   ├── crisp_concrete_concept.py
-│   │   │   ├── fuzzy_concrete_concept.py
-│   │   │   ├── fuzzy_number
-│   │   │   │   ├── __init__.py
-│   │   │   │   └── triangular_fuzzy_number.py
-│   │   │   ├── left_concrete_concept.py
-│   │   │   ├── linear_concrete_concept.py
-│   │   │   ├── modified_concrete_concept.py
-│   │   │   ├── right_concrete_concept.py
-│   │   │   ├── trapezoidal_concrete_concept.py
-│   │   │   └── triangular_concrete_concept.py
-│   │   ├── ext_threshold_concept.py
-│   │   ├── has_value_concept.py
-│   │   ├── implies_concept.py
-│   │   ├── interface
-│   │   │   ├── __init__.py
-│   │   │   ├── has_concept_interface.py
-│   │   │   ├── has_concepts_interface.py
-│   │   │   ├── has_role_concept_interface.py
-│   │   │   ├── has_role_interface.py
-│   │   │   ├── has_value_interface.py
-│   │   │   └── has_weighted_concepts_interface.py
-│   │   ├── modified
-│   │   │   ├── __init__.py
-│   │   │   ├── linearly_modified_concept.py
-│   │   │   ├── modified_concept.py
-│   │   │   └── triangularly_modified_concept.py
-│   │   ├── negated_nominal.py
-│   │   ├── operator_concept.py
-│   │   ├── owa_concept.py
-│   │   ├── qowa_concept.py
-│   │   ├── quasi_sugeno_integral.py
-│   │   ├── self_concept.py
-│   │   ├── string_concept.py
-│   │   ├── sugeno_integral.py
-│   │   ├── threshold_concept.py
-│   │   ├── truth_concept.py
-│   │   ├── value_concept.py
-│   │   ├── weighted_concept.py
-│   │   ├── weighted_max_concept.py
-│   │   ├── weighted_min_concept.py
-│   │   ├── weighted_sum_concept.py
-│   │   └── weighted_sum_zero_concept.py
-│   ├── concept_equivalence.py
-│   ├── concrete_feature.py
-│   ├── degree
-│   │   ├── __init__.py
-│   │   ├── degree_expression.py
-│   │   ├── degree_numeric.py
-│   │   ├── degree_variable.py
-│   │   └── degree.py
-│   ├── domain_axiom.py
-│   ├── exception
-│   │   ├── __init__.py
-│   │   ├── fuzzy_ontology_exception.py
-│   │   └── inconsistent_ontology_exception.py
-│   ├── feature_function.py
-│   ├── fuzzydl_to_owl2.py
-│   ├── general_concept_inclusion.py
-│   ├── individual
-│   │   ├── __init__.py
-│   │   ├── created_individual.py
-│   │   ├── individual.py
-│   │   └── representative_individual.py
-│   ├── knowledge_base.py
-│   ├── label.py
-│   ├── milp
-│   │   ├── __init__.py
-│   │   ├── expression.py
-│   │   ├── inequation.py
-│   │   ├── milp_helper.py
-│   │   ├── show_variables_helper.py
-│   │   ├── solution.py
-│   │   ├── term.py
-│   │   └── variable.py
-│   ├── modifier
-│   │   ├── __init__.py
-│   │   ├── linear_modifier.py
-│   │   ├── modifier.py
-│   │   └── triangular_modifier.py
-│   ├── parser
-│   │   ├── __init__.py
-│   │   ├── dl_parser.py
-│   │   ├── ebnf.lark
-│   │   ├── larkx.py
-│   │   └── ParserConstants.py
-│   ├── primitive_concept_definition.py
-│   ├── query
-│   │   ├── __init__.py
-│   │   ├── all_instances_query.py
-│   │   ├── bnp_query.py
-│   │   ├── defuzzify
-│   │   │   ├── __init__.py
-│   │   │   ├── defuzzify_query.py
-│   │   │   ├── lom_defuzzify_query.py
-│   │   │   ├── mom_defuzzify_query.py
-│   │   │   └── som_defuzzify_query.py
-│   │   ├── instance_query.py
-│   │   ├── kb_satisfiable_query.py
-│   │   ├── max
-│   │   │   ├── __init__.py
-│   │   │   ├── max_instance_query.py
-│   │   │   ├── max_query.py
-│   │   │   ├── max_related_query.py
-│   │   │   ├── max_satisfiable_query.py
-│   │   │   └── max_subsumes_query.py
-│   │   ├── min
-│   │   │   ├── __init__.py
-│   │   │   ├── min_instance_query.py
-│   │   │   ├── min_query.py
-│   │   │   ├── min_related_query.py
-│   │   │   ├── min_satisfiable_query.py
-│   │   │   └── min_subsumes_query.py
-│   │   ├── query.py
-│   │   ├── related_query.py
-│   │   ├── satisfiable_query.py
-│   │   └── subsumption_query.py
-│   ├── range_axiom.py
-│   ├── relation.py
-│   ├── restriction
-│   │   ├── __init__.py
-│   │   ├── has_value_restriction.py
-│   │   └── restriction.py
-│   ├── role_parent_with_degree.py
-│   └── util
-│       ├── __init__.py
-│       ├── config_reader.py
-│       ├── constants.py
-│       ├── util.py
-│       └── utils.py
+│   ├── __init__.py
+│   ├── assertion
+│   │   ├── __init__.py
+│   │   ├── assertion.py
+│   │   └── atomic_assertion.py
+│   ├── classification_node.py
+│   ├── concept
+│   │   ├── __init__.py
+│   │   ├── all_some_concept.py
+│   │   ├── approximation_concept.py
+│   │   ├── atomic_concept.py
+│   │   ├── choquet_integral.py
+│   │   ├── concept.py
+│   │   ├── concrete
+│   │   │   ├── __init__.py
+│   │   │   ├── __pycache__
+│   │   │   ├── crisp_concrete_concept.py
+│   │   │   ├── fuzzy_concrete_concept.py
+│   │   │   ├── fuzzy_number
+│   │   │   │   ├── __init__.py
+│   │   │   │   └── triangular_fuzzy_number.py
+│   │   │   ├── left_concrete_concept.py
+│   │   │   ├── linear_concrete_concept.py
+│   │   │   ├── modified_concrete_concept.py
+│   │   │   ├── right_concrete_concept.py
+│   │   │   ├── trapezoidal_concrete_concept.py
+│   │   │   └── triangular_concrete_concept.py
+│   │   ├── ext_threshold_concept.py
+│   │   ├── has_value_concept.py
+│   │   ├── implies_concept.py
+│   │   ├── interface
+│   │   │   ├── __init__.py
+│   │   │   ├── __pycache__
+│   │   │   ├── has_concept_interface.py
+│   │   │   ├── has_concepts_interface.py
+│   │   │   ├── has_role_concept_interface.py
+│   │   │   ├── has_role_interface.py
+│   │   │   ├── has_value_interface.py
+│   │   │   └── has_weighted_concepts_interface.py
+│   │   ├── modified
+│   │   │   ├── __init__.py
+│   │   │   ├── linearly_modified_concept.py
+│   │   │   ├── modified_concept.py
+│   │   │   └── triangularly_modified_concept.py
+│   │   ├── negated_nominal.py
+│   │   ├── operator_concept.py
+│   │   ├── owa_concept.py
+│   │   ├── qowa_concept.py
+│   │   ├── quasi_sugeno_integral.py
+│   │   ├── self_concept.py
+│   │   ├── sigma_concept.py
+│   │   ├── sigma_count.py
+│   │   ├── string_concept.py
+│   │   ├── sugeno_integral.py
+│   │   ├── threshold_concept.py
+│   │   ├── truth_concept.py
+│   │   ├── value_concept.py
+│   │   ├── weighted_concept.py
+│   │   ├── weighted_max_concept.py
+│   │   ├── weighted_min_concept.py
+│   │   ├── weighted_sum_concept.py
+│   │   └── weighted_sum_zero_concept.py
+│   ├── concept_equivalence.py
+│   ├── concrete_feature.py
+│   ├── degree
+│   │   ├── __init__.py
+│   │   ├── degree_expression.py
+│   │   ├── degree_numeric.py
+│   │   ├── degree_variable.py
+│   │   └── degree.py
+│   ├── domain_axiom.py
+│   ├── exception
+│   │   ├── __init__.py
+│   │   ├── fuzzy_ontology_exception.py
+│   │   └── inconsistent_ontology_exception.py
+│   ├── feature_function.py
+│   ├── fuzzydl_to_owl2.py
+│   ├── general_concept_inclusion.py
+│   ├── individual
+│   │   ├── __init__.py
+│   │   ├── created_individual.py
+│   │   ├── individual.py
+│   │   └── representative_individual.py
+│   ├── knowledge_base.py
+│   ├── label.py
+│   ├── milp
+│   │   ├── __init__.py
+│   │   ├── expression.py
+│   │   ├── inequation.py
+│   │   ├── milp_helper.py
+│   │   ├── show_variables_helper.py
+│   │   ├── solution.py
+│   │   ├── term.py
+│   │   └── variable.py
+│   ├── modifier
+│   │   ├── __init__.py
+│   │   ├── linear_modifier.py
+│   │   ├── modifier.py
+│   │   └── triangular_modifier.py
+│   ├── parser
+│   │   ├── __init__.py
+│   │   └── dl_parser.py
+│   ├── primitive_concept_definition.py
+│   ├── query
+│   │   ├── __init__.py
+│   │   ├── all_instances_query.py
+│   │   ├── bnp_query.py
+│   │   ├── classification_query.py
+│   │   ├── defuzzify
+│   │   │   ├── __init__.py
+│   │   │   ├── defuzzify_query.py
+│   │   │   ├── lom_defuzzify_query.py
+│   │   │   ├── mom_defuzzify_query.py
+│   │   │   └── som_defuzzify_query.py
+│   │   ├── instance_query.py
+│   │   ├── kb_satisfiable_query.py
+│   │   ├── max
+│   │   │   ├── __init__.py
+│   │   │   ├── max_instance_query.py
+│   │   │   ├── max_query.py
+│   │   │   ├── max_related_query.py
+│   │   │   ├── max_satisfiable_query.py
+│   │   │   └── max_subsumes_query.py
+│   │   ├── min
+│   │   │   ├── __init__.py
+│   │   │   ├── min_instance_query.py
+│   │   │   ├── min_query.py
+│   │   │   ├── min_related_query.py
+│   │   │   ├── min_satisfiable_query.py
+│   │   │   └── min_subsumes_query.py
+│   │   ├── query.py
+│   │   ├── related_query.py
+│   │   ├── satisfiable_query.py
+│   │   └── subsumption_query.py
+│   ├── range_axiom.py
+│   ├── relation.py
+│   ├── restriction
+│   │   ├── __init__.py
+│   │   ├── has_value_restriction.py
+│   │   └── restriction.py
+│   ├── role_parent_with_degree.py
+│   └── util
+│       ├── __init__.py
+│       ├── config_reader.py
+│       ├── constants.py
+│       ├── util.py
+│       └── utils.py
 └── fuzzyowl2
     ├── __init__.py
     ├── fuzzyowl2_to_fuzzydl.py
     ├── fuzzyowl2.py
     ├── owl_types
-    │   ├── __init__.py
-    │   ├── choquet_concept.py
-    │   ├── concept_definition.py
-    │   ├── fuzzy_datatype.py
-    │   ├── fuzzy_modifier.py
-    │   ├── fuzzy_nominal_concept.py
-    │   ├── fuzzy_property.py
-    │   ├── left_shoulder_function.py
-    │   ├── linear_function.py
-    │   ├── linear_modifier.py
-    │   ├── modified_concept.py
-    │   ├── modified_function.py
-    │   ├── modified_property.py
-    │   ├── owa_concept.py
-    │   ├── property_definition.py
-    │   ├── qowa_concept.py
-    │   ├── quasi_sugeno_concept.py
-    │   ├── right_shoulder_function.py
-    │   ├── sugeno_concept.py
-    │   ├── trapezoidal_function.py
-    │   ├── triangular_function.py
-    │   ├── triangular_modifer.py
-    │   ├── weighted_concept.py
-    │   ├── weighted_max_concept.py
-    │   ├── weighted_min_concept.py
-    │   ├── weighted_sum_concept.py
-    │   └── weighted_sum_zero_concept.py
+    │   ├── __init__.py
+    │   ├── choquet_concept.py
+    │   ├── concept_definition.py
+    │   ├── fuzzy_datatype.py
+    │   ├── fuzzy_modifier.py
+    │   ├── fuzzy_nominal_concept.py
+    │   ├── fuzzy_property.py
+    │   ├── left_shoulder_function.py
+    │   ├── linear_function.py
+    │   ├── linear_modifier.py
+    │   ├── modified_concept.py
+    │   ├── modified_function.py
+    │   ├── modified_property.py
+    │   ├── owa_concept.py
+    │   ├── property_definition.py
+    │   ├── qowa_concept.py
+    │   ├── quasi_sugeno_concept.py
+    │   ├── right_shoulder_function.py
+    │   ├── sugeno_concept.py
+    │   ├── trapezoidal_function.py
+    │   ├── triangular_function.py
+    │   ├── triangular_modifer.py
+    │   ├── weighted_concept.py
+    │   ├── weighted_max_concept.py
+    │   ├── weighted_min_concept.py
+    │   ├── weighted_sum_concept.py
+    │   └── weighted_sum_zero_concept.py
     ├── parser
-    │   └── owl2_parser.py
+    │   ├── __init__.py
+    │   ├── owl2_parser.py
+    │   └── owl2_xml_parser.py
     └── util
-        └── constants.py
+        ├── __init__.py
+        ├── constants.py
+        └── fuzzy_xml.py
 ```
-⸻
+
+</details>
+
+---
 
 # Test
 
 The directory `test` contains the `unittest` files. In particular, the file `test_suite.py` contains all the test suite.
 The directory `examples/TestSuite` contains all the knowledge bases used for the tests.
 
-⸻
+---
 
 # License