fuzzy-dl-owl2 1.0.8__py3-none-any.whl → 1.0.10__py3-none-any.whl

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (19) hide show
  1. fuzzy_dl_owl2/fuzzydl/fuzzydl_to_owl2.py +190 -34
  2. fuzzy_dl_owl2/fuzzydl/knowledge_base.py +60 -78
  3. fuzzy_dl_owl2/fuzzydl/parser/dl_parser.py +1 -3
  4. fuzzy_dl_owl2/fuzzyowl2/fuzzyowl2.py +75 -45
  5. fuzzy_dl_owl2/fuzzyowl2/fuzzyowl2_to_fuzzydl.py +73 -6
  6. fuzzy_dl_owl2/fuzzyowl2/owl_types/crisp_function.py +17 -0
  7. fuzzy_dl_owl2/fuzzyowl2/owl_types/fuzzy_nominal_concept.py +1 -1
  8. fuzzy_dl_owl2/fuzzyowl2/owl_types/modified_concept.py +1 -1
  9. fuzzy_dl_owl2/fuzzyowl2/owl_types/modified_function.py +1 -1
  10. fuzzy_dl_owl2/fuzzyowl2/owl_types/modified_property.py +1 -1
  11. fuzzy_dl_owl2/fuzzyowl2/owl_types/weighted_max_concept.py +1 -1
  12. fuzzy_dl_owl2/fuzzyowl2/owl_types/weighted_min_concept.py +1 -1
  13. fuzzy_dl_owl2/fuzzyowl2/owl_types/weighted_sum_concept.py +1 -1
  14. fuzzy_dl_owl2/fuzzyowl2/owl_types/weighted_sum_zero_concept.py +1 -1
  15. fuzzy_dl_owl2/fuzzyowl2/parser/owl2_xml_parser.py +8 -2
  16. {fuzzy_dl_owl2-1.0.8.dist-info → fuzzy_dl_owl2-1.0.10.dist-info}/METADATA +225 -192
  17. {fuzzy_dl_owl2-1.0.8.dist-info → fuzzy_dl_owl2-1.0.10.dist-info}/RECORD +19 -18
  18. {fuzzy_dl_owl2-1.0.8.dist-info → fuzzy_dl_owl2-1.0.10.dist-info}/WHEEL +1 -1
  19. {fuzzy_dl_owl2-1.0.8.dist-info → fuzzy_dl_owl2-1.0.10.dist-info/licenses}/LICENSE +0 -0
{fuzzy_dl_owl2-1.0.8.dist-info → fuzzy_dl_owl2-1.0.10.dist-info}/METADATA RENAMED
@@ -1,8 +1,9 @@
1
- Metadata-Version: 2.3
1
+ Metadata-Version: 2.4
2
2
  Name: fuzzy-dl-owl2
3
- Version: 1.0.8
3
+ Version: 1.0.10
4
4
  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).
5
5
  License: CC-BY-SA-4.0
6
+ License-File: LICENSE
6
7
  Author: Giuseppe Filippone
7
8
  Author-email: filipponegiuseppe94@gmail.com
8
9
  Requires-Python: >=3.11,<4.0
@@ -11,21 +12,31 @@ Classifier: Programming Language :: Python :: 3
11
12
  Classifier: Programming Language :: Python :: 3.11
12
13
  Classifier: Programming Language :: Python :: 3.12
13
14
  Classifier: Programming Language :: Python :: 3.13
15
+ Classifier: Programming Language :: Python :: 3.14
14
16
  Requires-Dist: networkx (>=3.3,<4.0)
15
17
  Requires-Dist: owlready2 (>=0.47,<0.48)
16
- Requires-Dist: pyowl2 (>=1.0.2,<2.0.0)
18
+ Requires-Dist: pyowl2 (>=1.0.3,<2.0.0)
17
19
  Requires-Dist: pyparsing (>=3.2.3,<4.0.0)
18
20
  Requires-Dist: rdflib (>=7.1.4,<8.0.0)
19
21
  Requires-Dist: setuptools (>=80.8.0,<81.0.0)
20
22
  Requires-Dist: sortedcontainers (>=2.4.0,<3.0.0)
21
23
  Requires-Dist: trycast (>=1.2.0,<2.0.0)
24
+ Project-URL: Documentation, https://fuzzy-dl-owl2.readthedocs.io/en/latest/
22
25
  Project-URL: Repository, https://github.com/giuseppefilippone/fuzzy_dl_owl2
23
26
  Description-Content-Type: text/markdown
24
27
 
28
+ ![Docs](https://img.shields.io/badge/docs-passing-brightgreen.svg)
29
+ ![Tests](https://img.shields.io/badge/tests-passing-brightgreen.svg)
30
+ [![Documentation](https://img.shields.io/badge/Read%20the%20Docs-8CA1AF?logo=readthedocs&logoColor=white)](https://fuzzy-dl-owl2.readthedocs.io/en/latest)
31
+ [![PyPI](https://img.shields.io/pypi/v/fuzzy-dl-owl2.svg)](https://pypi.org/project/fuzzy-dl-owl2/)
32
+ ![Python Versions](https://img.shields.io/pypi/pyversions/fuzzy-dl-owl2.svg)
33
+ ![Code Style](https://img.shields.io/badge/code%20style-python-green)
34
+
35
+
25
36
  # Fuzzy DL OWL 2
26
- 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).
37
+ 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.
27
38
 
28
- ⸻
39
+ ---
29
40
 
30
41
  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.
31
42
 
@@ -36,7 +47,7 @@ Features:
36
47
  - Mapping from Fuzzy OWL 2 to FuzzyDL
37
48
  - Reasoning in FuzzyDL
38
49
 
39
- ⸻
50
+ ---
40
51
 
41
52
  # Installation
42
53
 
@@ -44,7 +55,7 @@ Features:
44
55
  pip install fuzzy-dl-owl2
45
56
  ```
46
57
 
47
- ⸻
58
+ ---
48
59
 
49
60
  Examples of supported Fuzzy Description Logic Constructs
50
61
 
@@ -54,13 +65,13 @@ Examples of supported Fuzzy Description Logic Constructs
54
65
  | ChoquetIntegral | Define a choquet integral concept |
55
66
  | ApproximationConcept | Define a tight/upper/* lower/upper approximation concept |
56
67
 
57
- ⸻
68
+ ---
58
69
 
59
70
  # Directory dl-examples
60
71
 
61
72
  The directory `dl-examples` contains a few examples of Knowledge Bases written using the Fuzzy Description Logic language.
62
73
 
63
- ⸻
74
+ ---
64
75
 
65
76
  # Configuration of the MILP solver
66
77
 
@@ -102,10 +113,12 @@ Supported MILP Providers:
102
113
  | HiGHS | pulp_highs |
103
114
  | MIP | mip |
104
115
 
105
- ⸻
116
+ ---
106
117
 
107
118
  # MILP Provider Usage and Configuration
108
119
 
120
+ <details><summary>See configurations for each provider</summary>
121
+
109
122
  ## GUROBI
110
123
 
111
124
  - Install [gurobipy](https://pypi.org/project/gurobipy/):
@@ -158,10 +171,14 @@ pip install pulp==3.2.1
158
171
  ```
159
172
  - Add HiGHS to the PATH
160
173
 
161
- ⸻
174
+ </details>
175
+
176
+ ---
162
177
 
163
178
  # Fuzzy Description Logic Grammatics
164
179
 
180
+ <details><summary>See all grammatics</summary>
181
+
165
182
  ## String and Numbers
166
183
  ```python
167
184
  name := ["][a-zA-Z_][a-zA-Z0-9_]*["]
@@ -275,9 +292,9 @@ restriction := '(' ('>=' | '<=', '=') name (name | restriction_funct
275
292
  |$(\mathrm{>=}\ F\ \text{variable})$| ${\mathrm{sup}}_{b \in {\Delta}_D} \[F^\mathcal{I} (x, b) \otimes (b \geq \text{variable})\]$|
276
293
  |$(\mathrm{<=}\ F\ \text{variable})$| $\mathrm{sup}_{b \in \Delta_D} \[F^\mathcal{I} (x, b) \otimes (b \leq \text{variable})\]$|
277
294
  |$(=\ F\ \text{variable}) $| $\mathrm{sup}_{b \in \Delta_D} \[F^\mathcal{I} (x, b) \otimes (b = \text{variable})\]$|
278
- |$(\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}\]$|
279
- |$(\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}\]$|
280
- |$(=\ 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}\]$|
295
+ |$(\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}\]$|
296
+ |$(\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}\]$|
297
+ |$(=\ 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}\]$|
281
298
  |$(\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}})\]$|
282
299
  |$(\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}})\]$|
283
300
  |$(=\ 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 := (
567
584
 
568
585
  - 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.
569
586
 
570
- ⸻
587
+ </details>
588
+
589
+ ---
571
590
 
572
591
  # Usage - Reasoning
573
592
 
@@ -592,7 +611,8 @@ from fuzzy_dl_owl2 import DLParser
592
611
 
593
612
  DLParser.main("./example.fdl") # "Is audi instance of SportCar ? >= 0.92"
594
613
  ```
595
- ⸻
614
+
615
+ ---
596
616
 
597
617
  # Usage - Fuzzy OWL 2
598
618
 
@@ -613,203 +633,216 @@ from fuzzy_dl_owl2 import FuzzyOwl2ToFuzzyDL
613
633
  fdl = FuzzyOwl2ToFuzzyDL("./results/example.owl", "example.fdl")
614
634
  fdl.translate_owl2ontology() # save example.fdl in the subdirectory "./results"
615
635
  ```
616
- ⸻
636
+
637
+ ---
617
638
 
618
639
  # Project Structure
619
640
 
641
+ <details><summary>See project structure</summary>
642
+
620
643
  ```text
621
644
  fuzzy_dl_owl2
622
645
  ├── __init__.py
623
646
  ├── fuzzydl
624
- │   ├── __init__.py
625
- │   ├── assertion
626
- │   │   ├── __init__.py
627
- │   │   ├── assertion.py
628
- │   │   └── atomic_assertion.py
629
- │   ├── concept
630
- │   │   ├── __init__.py
631
- │   │   ├── all_some_concept.py
632
- │   │   ├── approximation_concept.py
633
- │   │   ├── atomic_concept.py
634
- │   │   ├── choquet_integral.py
635
- │   │   ├── concept.py
636
- │   │   ├── concrete
637
- │   │   │   ├── __init__.py
638
- │   │   │   ├── crisp_concrete_concept.py
639
- │   │   │   ├── fuzzy_concrete_concept.py
640
- │   │   │   ├── fuzzy_number
641
- │   │   │   │   ├── __init__.py
642
- │   │   │   │   └── triangular_fuzzy_number.py
643
- │   │   │   ├── left_concrete_concept.py
644
- │   │   │   ├── linear_concrete_concept.py
645
- │   │   │   ├── modified_concrete_concept.py
646
- │   │   │   ├── right_concrete_concept.py
647
- │   │   │   ├── trapezoidal_concrete_concept.py
648
- │   │   │   └── triangular_concrete_concept.py
649
- │   │   ├── ext_threshold_concept.py
650
- │   │   ├── has_value_concept.py
651
- │   │   ├── implies_concept.py
652
- │   │   ├── interface
653
- │   │   │   ├── __init__.py
654
- │   │   │   ├── has_concept_interface.py
655
- │   │   │   ├── has_concepts_interface.py
656
- │   │   │   ├── has_role_concept_interface.py
657
- │   │   │   ├── has_role_interface.py
658
- │   │   │   ├── has_value_interface.py
659
- │   │   │   └── has_weighted_concepts_interface.py
660
- │   │   ├── modified
661
- │   │   │   ├── __init__.py
662
- │   │   │   ├── linearly_modified_concept.py
663
- │   │   │   ├── modified_concept.py
664
- │   │   │   └── triangularly_modified_concept.py
665
- │   │   ├── negated_nominal.py
666
- │   │   ├── operator_concept.py
667
- │   │   ├── owa_concept.py
668
- │   │   ├── qowa_concept.py
669
- │   │   ├── quasi_sugeno_integral.py
670
- │   │   ├── self_concept.py
671
- │   │   ├── string_concept.py
672
- │   │   ├── sugeno_integral.py
673
- │   │   ├── threshold_concept.py
674
- │   │   ├── truth_concept.py
675
- │   │   ├── value_concept.py
676
- │   │   ├── weighted_concept.py
677
- │   │   ├── weighted_max_concept.py
678
- │   │   ├── weighted_min_concept.py
679
- │   │   ├── weighted_sum_concept.py
680
- │   │   └── weighted_sum_zero_concept.py
681
- │   ├── concept_equivalence.py
682
- │   ├── concrete_feature.py
683
- │   ├── degree
684
- │   │   ├── __init__.py
685
- │   │   ├── degree_expression.py
686
- │   │   ├── degree_numeric.py
687
- │   │   ├── degree_variable.py
688
- │   │   └── degree.py
689
- │   ├── domain_axiom.py
690
- │   ├── exception
691
- │   │   ├── __init__.py
692
- │   │   ├── fuzzy_ontology_exception.py
693
- │   │   └── inconsistent_ontology_exception.py
694
- │   ├── feature_function.py
695
- │   ├── fuzzydl_to_owl2.py
696
- │   ├── general_concept_inclusion.py
697
- │   ├── individual
698
- │   │   ├── __init__.py
699
- │   │   ├── created_individual.py
700
- │   │   ├── individual.py
701
- │   │   └── representative_individual.py
702
- │   ├── knowledge_base.py
703
- │   ├── label.py
704
- │   ├── milp
705
- │   │   ├── __init__.py
706
- │   │   ├── expression.py
707
- │   │   ├── inequation.py
708
- │   │   ├── milp_helper.py
709
- │   │   ├── show_variables_helper.py
710
- │   │   ├── solution.py
711
- │   │   ├── term.py
712
- │   │   └── variable.py
713
- │   ├── modifier
714
- │   │   ├── __init__.py
715
- │   │   ├── linear_modifier.py
716
- │   │   ├── modifier.py
717
- │   │   └── triangular_modifier.py
718
- │   ├── parser
719
- │   │   ├── __init__.py
720
- │   │   ├── dl_parser.py
721
- │   │   ├── ebnf.lark
722
- │   │   ├── larkx.py
723
- │   │   └── ParserConstants.py
724
- │   ├── primitive_concept_definition.py
725
- │   ├── query
726
- │   │   ├── __init__.py
727
- │   │   ├── all_instances_query.py
728
- │   │   ├── bnp_query.py
729
- │   │   ├── defuzzify
730
- │   │   │   ├── __init__.py
731
- │   │   │   ├── defuzzify_query.py
732
- │   │   │   ├── lom_defuzzify_query.py
733
- │   │   │   ├── mom_defuzzify_query.py
734
- │   │   │   └── som_defuzzify_query.py
735
- │   │   ├── instance_query.py
736
- │   │   ├── kb_satisfiable_query.py
737
- │   │   ├── max
738
- │   │   │   ├── __init__.py
739
- │   │   │   ├── max_instance_query.py
740
- │   │   │   ├── max_query.py
741
- │   │   │   ├── max_related_query.py
742
- │   │   │   ├── max_satisfiable_query.py
743
- │   │   │   └── max_subsumes_query.py
744
- │   │   ├── min
745
- │   │   │   ├── __init__.py
746
- │   │   │   ├── min_instance_query.py
747
- │   │   │   ├── min_query.py
748
- │   │   │   ├── min_related_query.py
749
- │   │   │   ├── min_satisfiable_query.py
750
- │   │   │   └── min_subsumes_query.py
751
- │   │   ├── query.py
752
- │   │   ├── related_query.py
753
- │   │   ├── satisfiable_query.py
754
- │   │   └── subsumption_query.py
755
- │   ├── range_axiom.py
756
- │   ├── relation.py
757
- │   ├── restriction
758
- │   │   ├── __init__.py
759
- │   │   ├── has_value_restriction.py
760
- │   │   └── restriction.py
761
- │   ├── role_parent_with_degree.py
762
- │   └── util
763
- │   ├── __init__.py
764
- │   ├── config_reader.py
765
- │   ├── constants.py
766
- │   ├── util.py
767
- │   └── utils.py
647
+ │ ├── __init__.py
648
+ │ ├── assertion
649
+ │ │ ├── __init__.py
650
+ │ │ ├── assertion.py
651
+ │ │ └── atomic_assertion.py
652
+ │ ├── classification_node.py
653
+ │ ├── concept
654
+ │ │ ├── __init__.py
655
+ │ │ ├── all_some_concept.py
656
+ │ │ ├── approximation_concept.py
657
+ │ │ ├── atomic_concept.py
658
+ │ │ ├── choquet_integral.py
659
+ │ │ ├── concept.py
660
+ │ │ ├── concrete
661
+ │ │ │ ├── __init__.py
662
+ │ │ │ ├── __pycache__
663
+ │ │ │ ├── crisp_concrete_concept.py
664
+ │ │ │ ├── fuzzy_concrete_concept.py
665
+ │ │ │ ├── fuzzy_number
666
+ │ │ │ │ ├── __init__.py
667
+ │ │ │ │ └── triangular_fuzzy_number.py
668
+ │ │ │ ├── left_concrete_concept.py
669
+ │ │ │ ├── linear_concrete_concept.py
670
+ │ │ │ ├── modified_concrete_concept.py
671
+ │ │ │ ├── right_concrete_concept.py
672
+ │ │ │ ├── trapezoidal_concrete_concept.py
673
+ │ │ │ └── triangular_concrete_concept.py
674
+ │ │ ├── ext_threshold_concept.py
675
+ │ │ ├── has_value_concept.py
676
+ │ │ ├── implies_concept.py
677
+ │ │ ├── interface
678
+ │ │ │ ├── __init__.py
679
+ │ │ │ ├── __pycache__
680
+ │ │ │ ├── has_concept_interface.py
681
+ │ │ │ ├── has_concepts_interface.py
682
+ │ │ │ ├── has_role_concept_interface.py
683
+ │ │ │ ├── has_role_interface.py
684
+ │ │ │ ├── has_value_interface.py
685
+ │ │ │ └── has_weighted_concepts_interface.py
686
+ │ │ ├── modified
687
+ │ │ │ ├── __init__.py
688
+ │ │ │ ├── linearly_modified_concept.py
689
+ │ │ │ ├── modified_concept.py
690
+ │ │ │ └── triangularly_modified_concept.py
691
+ │ │ ├── negated_nominal.py
692
+ │ │ ├── operator_concept.py
693
+ │ │ ├── owa_concept.py
694
+ │ │ ├── qowa_concept.py
695
+ │ │ ├── quasi_sugeno_integral.py
696
+ │ │ ├── self_concept.py
697
+ │ │ ├── sigma_concept.py
698
+ │ │ ├── sigma_count.py
699
+ │ │ ├── string_concept.py
700
+ │ │ ├── sugeno_integral.py
701
+ │ │ ├── threshold_concept.py
702
+ │ │ ├── truth_concept.py
703
+ │ │ ├── value_concept.py
704
+ │ │ ├── weighted_concept.py
705
+ │ │ ├── weighted_max_concept.py
706
+ │ │ ├── weighted_min_concept.py
707
+ │ │ ├── weighted_sum_concept.py
708
+ │ │ └── weighted_sum_zero_concept.py
709
+ │ ├── concept_equivalence.py
710
+ │ ├── concrete_feature.py
711
+ │ ├── degree
712
+ │ │ ├── __init__.py
713
+ │ │ ├── degree_expression.py
714
+ │ │ ├── degree_numeric.py
715
+ │ │ ├── degree_variable.py
716
+ │ │ └── degree.py
717
+ │ ├── domain_axiom.py
718
+ │ ├── exception
719
+ │ │ ├── __init__.py
720
+ │ │ ├── fuzzy_ontology_exception.py
721
+ │ │ └── inconsistent_ontology_exception.py
722
+ │ ├── feature_function.py
723
+ │ ├── fuzzydl_to_owl2.py
724
+ │ ├── general_concept_inclusion.py
725
+ │ ├── individual
726
+ │ │ ├── __init__.py
727
+ │ │ ├── created_individual.py
728
+ │ │ ├── individual.py
729
+ │ │ └── representative_individual.py
730
+ │ ├── knowledge_base.py
731
+ │ ├── label.py
732
+ │ ├── milp
733
+ │ │ ├── __init__.py
734
+ │ │ ├── expression.py
735
+ │ │ ├── inequation.py
736
+ │ │ ├── milp_helper.py
737
+ │ │ ├── show_variables_helper.py
738
+ │ │ ├── solution.py
739
+ │ │ ├── term.py
740
+ │ │ └── variable.py
741
+ │ ├── modifier
742
+ │ │ ├── __init__.py
743
+ │ │ ├── linear_modifier.py
744
+ │ │ ├── modifier.py
745
+ │ │ └── triangular_modifier.py
746
+ │ ├── parser
747
+ │ │ ├── __init__.py
748
+ │ │ └── dl_parser.py
749
+ │ ├── primitive_concept_definition.py
750
+ │ ├── query
751
+ │ │ ├── __init__.py
752
+ │ │ ├── all_instances_query.py
753
+ │ │ ├── bnp_query.py
754
+ │ │ ├── classification_query.py
755
+ │ │ ├── defuzzify
756
+ │ │ │ ├── __init__.py
757
+ │ │ │ ├── defuzzify_query.py
758
+ │ │ │ ├── lom_defuzzify_query.py
759
+ │ │ │ ├── mom_defuzzify_query.py
760
+ │ │ │ └── som_defuzzify_query.py
761
+ │ │ ├── instance_query.py
762
+ │ │ ├── kb_satisfiable_query.py
763
+ │ │ ├── max
764
+ │ │ │ ├── __init__.py
765
+ │ │ │ ├── max_instance_query.py
766
+ │ │ │ ├── max_query.py
767
+ │ │ │ ├── max_related_query.py
768
+ │ │ │ ├── max_satisfiable_query.py
769
+ │ │ │ └── max_subsumes_query.py
770
+ │ │ ├── min
771
+ │ │ │ ├── __init__.py
772
+ │ │ │ ├── min_instance_query.py
773
+ │ │ │ ├── min_query.py
774
+ │ │ │ ├── min_related_query.py
775
+ │ │ │ ├── min_satisfiable_query.py
776
+ │ │ │ └── min_subsumes_query.py
777
+ │ │ ├── query.py
778
+ │ │ ├── related_query.py
779
+ │ │ ├── satisfiable_query.py
780
+ │ │ └── subsumption_query.py
781
+ │ ├── range_axiom.py
782
+ │ ├── relation.py
783
+ │ ├── restriction
784
+ │ │ ├── __init__.py
785
+ │ │ ├── has_value_restriction.py
786
+ │ │ └── restriction.py
787
+ │ ├── role_parent_with_degree.py
788
+ │ └── util
789
+ │ ├── __init__.py
790
+ │ ├── config_reader.py
791
+ │ ├── constants.py
792
+ │ ├── util.py
793
+ │ └── utils.py
768
794
  └── fuzzyowl2
769
795
  ├── __init__.py
770
796
  ├── fuzzyowl2_to_fuzzydl.py
771
797
  ├── fuzzyowl2.py
772
798
  ├── owl_types
773
- │   ├── __init__.py
774
- │   ├── choquet_concept.py
775
- │   ├── concept_definition.py
776
- │   ├── fuzzy_datatype.py
777
- │   ├── fuzzy_modifier.py
778
- │   ├── fuzzy_nominal_concept.py
779
- │   ├── fuzzy_property.py
780
- │   ├── left_shoulder_function.py
781
- │   ├── linear_function.py
782
- │   ├── linear_modifier.py
783
- │   ├── modified_concept.py
784
- │   ├── modified_function.py
785
- │   ├── modified_property.py
786
- │   ├── owa_concept.py
787
- │   ├── property_definition.py
788
- │   ├── qowa_concept.py
789
- │   ├── quasi_sugeno_concept.py
790
- │   ├── right_shoulder_function.py
791
- │   ├── sugeno_concept.py
792
- │   ├── trapezoidal_function.py
793
- │   ├── triangular_function.py
794
- │   ├── triangular_modifer.py
795
- │   ├── weighted_concept.py
796
- │   ├── weighted_max_concept.py
797
- │   ├── weighted_min_concept.py
798
- │   ├── weighted_sum_concept.py
799
- │   └── weighted_sum_zero_concept.py
799
+ │ ├── __init__.py
800
+ │ ├── choquet_concept.py
801
+ │ ├── concept_definition.py
802
+ │ ├── fuzzy_datatype.py
803
+ │ ├── fuzzy_modifier.py
804
+ │ ├── fuzzy_nominal_concept.py
805
+ │ ├── fuzzy_property.py
806
+ │ ├── left_shoulder_function.py
807
+ │ ├── linear_function.py
808
+ │ ├── linear_modifier.py
809
+ │ ├── modified_concept.py
810
+ │ ├── modified_function.py
811
+ │ ├── modified_property.py
812
+ │ ├── owa_concept.py
813
+ │ ├── property_definition.py
814
+ │ ├── qowa_concept.py
815
+ │ ├── quasi_sugeno_concept.py
816
+ │ ├── right_shoulder_function.py
817
+ │ ├── sugeno_concept.py
818
+ │ ├── trapezoidal_function.py
819
+ │ ├── triangular_function.py
820
+ │ ├── triangular_modifer.py
821
+ │ ├── weighted_concept.py
822
+ │ ├── weighted_max_concept.py
823
+ │ ├── weighted_min_concept.py
824
+ │ ├── weighted_sum_concept.py
825
+ │ └── weighted_sum_zero_concept.py
800
826
  ├── parser
801
- │   └── owl2_parser.py
827
+ │ ├── __init__.py
828
+ │ ├── owl2_parser.py
829
+ │ └── owl2_xml_parser.py
802
830
  └── util
803
- └── constants.py
831
+ ├── __init__.py
832
+ ├── constants.py
833
+ └── fuzzy_xml.py
804
834
  ```
805
- ⸻
835
+
836
+ </details>
837
+
838
+ ---
806
839
 
807
840
  # Test
808
841
 
809
842
  The directory `test` contains the `unittest` files. In particular, the file `test_suite.py` contains all the test suite.
810
843
  The directory `examples/TestSuite` contains all the knowledge bases used for the tests.
811
844
 
812
- ⸻
845
+ ---
813
846
 
814
847
  # License
815
848
 
{fuzzy_dl_owl2-1.0.8.dist-info → fuzzy_dl_owl2-1.0.10.dist-info}/RECORD RENAMED
@@ -65,13 +65,13 @@ fuzzy_dl_owl2/fuzzydl/exception/__init__.py,sha256=IoYY5IQoU4UYyoB-dFOVLZyDvJN20
65
65
  fuzzy_dl_owl2/fuzzydl/exception/fuzzy_ontology_exception.py,sha256=eH1ybBCx1QoZaf8PLCq1rC_3tiBRA-gKCwECTcUUuro,122
66
66
  fuzzy_dl_owl2/fuzzydl/exception/inconsistent_ontology_exception.py,sha256=ez0RQN4KGlNRcfB7IXfPz3bM86CFLl6zo-RRTBRpa_o,129
67
67
  fuzzy_dl_owl2/fuzzydl/feature_function.py,sha256=DXc2ZgjSqAIK5TauJzhcXgifQOB2ZkPxfElRAhJsGVw,6716
68
- fuzzy_dl_owl2/fuzzydl/fuzzydl_to_owl2.py,sha256=VjmHtokMAE0jC9jI8WjGeiCTQ-A8YmmUH14FEVTyrDU,53111
68
+ fuzzy_dl_owl2/fuzzydl/fuzzydl_to_owl2.py,sha256=1EPRTpvtnEzfmXB1ktDfJT9cOxIdOCSQxjhK7sDlqzc,58440
69
69
  fuzzy_dl_owl2/fuzzydl/general_concept_inclusion.py,sha256=X2gIpmKs0RsU7VoKILxpQdBs2yyLAIqWd5UWOAuk22M,2557
70
70
  fuzzy_dl_owl2/fuzzydl/individual/__init__.py,sha256=zBCa24kE2nv08VgtphjLshpbGNEARUJgCdtyv9r6JGc,110
71
71
  fuzzy_dl_owl2/fuzzydl/individual/created_individual.py,sha256=lERkUgXkhYJgLJjuEbqLHimd5O2ABuMkMDnNipliJtY,9293
72
72
  fuzzy_dl_owl2/fuzzydl/individual/individual.py,sha256=iQIqQvbrQ9XOQABVQTt9UF-3MTc2zrcZgBprNYWJfgA,4408
73
73
  fuzzy_dl_owl2/fuzzydl/individual/representative_individual.py,sha256=nayeaoV0B-9xO_I8mttHZTi1CWHs7X7ezhiIjQP7ZBs,1538
74
- fuzzy_dl_owl2/fuzzydl/knowledge_base.py,sha256=Ep0s4sTUy0cbL6xa9w9OmLfM-RmZXVIYD1nEX-HNJl0,449543
74
+ fuzzy_dl_owl2/fuzzydl/knowledge_base.py,sha256=mcRwGq6bPZK9mthGoX5CENulpq9NKiZwQcKlqpu8JGg,449470
75
75
  fuzzy_dl_owl2/fuzzydl/label.py,sha256=gh4V0LTwzucaOWoV2n4JIATjs5EbxIIdtppOZttaiw0,1187
76
76
  fuzzy_dl_owl2/fuzzydl/milp/__init__.py,sha256=g2oFT2Ge8W5Li2kP2CJjpjJ1a0PRI2vDoDdzYDsEtDY,246
77
77
  fuzzy_dl_owl2/fuzzydl/milp/expression.py,sha256=KBGIBid5kZhOT5l4buWmAtPAvm_8JfK3lUNg10GhANg,7160
@@ -86,7 +86,7 @@ fuzzy_dl_owl2/fuzzydl/modifier/linear_modifier.py,sha256=2g3wR-UNqJhLMvyroapu_mb
86
86
  fuzzy_dl_owl2/fuzzydl/modifier/modifier.py,sha256=rjNND_cOeGZXNSHlP_eO2RloSlkR6MfvrJgFqUa8Ars,1365
87
87
  fuzzy_dl_owl2/fuzzydl/modifier/triangular_modifier.py,sha256=9z_oVC0QidpNCEk0FsN2EDzy7lDWTXl5dNGr3sc04j4,2131
88
88
  fuzzy_dl_owl2/fuzzydl/parser/__init__.py,sha256=vs0cN8a1ATeFx1J4evw6k7mWe4zOvba_xMO2eBXZ_gc,32
89
- fuzzy_dl_owl2/fuzzydl/parser/dl_parser.py,sha256=F0ISLr3uiVLW2AKXiGXDFHmFYuj8ItxBXkHRV3tXgyE,97275
89
+ fuzzy_dl_owl2/fuzzydl/parser/dl_parser.py,sha256=1AqO_7U9xuIRvir-CQNGfSuSDmC13hEhEFLH6W3x-Hs,97242
90
90
  fuzzy_dl_owl2/fuzzydl/primitive_concept_definition.py,sha256=xe-pqIDJw64bej2PFQXXApisgK0gHAnhxKJ1ruuyvDk,2523
91
91
  fuzzy_dl_owl2/fuzzydl/query/__init__.py,sha256=hWPTep2e_-q4rLitvqiMhA3dWp0VqrFxxv6ZphljMaQ,459
92
92
  fuzzy_dl_owl2/fuzzydl/query/all_instances_query.py,sha256=W12qjt6qyPyioR7H3730PiJOq0PbNoTGHfepbG66C24,4946
@@ -127,21 +127,22 @@ fuzzy_dl_owl2/fuzzydl/util/constants.py,sha256=He8y8tmhgku9ZB2IbZP-OUaZYLQN_6dkd
127
127
  fuzzy_dl_owl2/fuzzydl/util/util.py,sha256=5COC79TAJz8fNrRzXLbNpAT9rLd_0KrRI1OU-hob3oU,1903
128
128
  fuzzy_dl_owl2/fuzzydl/util/utils.py,sha256=TPVLEL9NJXgReuxEIOTEOVYqojSymg_-kyrLETXnYdo,2344
129
129
  fuzzy_dl_owl2/fuzzyowl2/__init__.py,sha256=C44P0-Sn35FQdVMqYLzeDWa5qPmokbcs8GPiD_zQaSg,153
130
- fuzzy_dl_owl2/fuzzyowl2/fuzzyowl2.py,sha256=TYnSLXK-oR7jsOEFR46WryA0gKVBLbBI0_3Cd-dHUuU,71691
131
- fuzzy_dl_owl2/fuzzyowl2/fuzzyowl2_to_fuzzydl.py,sha256=egspxTzY4kNvhsQLP0AAaqJgFUqyO6VJuXLLOej06PA,36994
130
+ fuzzy_dl_owl2/fuzzyowl2/fuzzyowl2.py,sha256=BzUdv4W4TOXUGMLY1frEi4UPw6a5WEruROGOU8-fE70,74128
131
+ fuzzy_dl_owl2/fuzzyowl2/fuzzyowl2_to_fuzzydl.py,sha256=dvMq7y8fPm5WZaPnESw4C7r7ZwQfewqSDJ01S7WD5YE,40876
132
132
  fuzzy_dl_owl2/fuzzyowl2/owl_types/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
133
133
  fuzzy_dl_owl2/fuzzyowl2/owl_types/choquet_concept.py,sha256=ymnyNfvkvWA3y2UMXyPviD0U98vJ6jrX6zddj09SUoI,671
134
134
  fuzzy_dl_owl2/fuzzyowl2/owl_types/concept_definition.py,sha256=d5ZsEX8NN-aYJohXGzeJFhrnufCJ6AZ1YLGiclwysDc,324
135
+ fuzzy_dl_owl2/fuzzyowl2/owl_types/crisp_function.py,sha256=YmXcbFfnqFR7YONl4jNJjG8b2ErpzCH-vUuNNGGrAkY,455
135
136
  fuzzy_dl_owl2/fuzzyowl2/owl_types/fuzzy_datatype.py,sha256=hgwLDROjJjevl8IUxRMSw1s_HX0Ooww3MaXYrwvF7n4,464
136
137
  fuzzy_dl_owl2/fuzzyowl2/owl_types/fuzzy_modifier.py,sha256=LOqjKDz6_Gi0vXzz9oKagSBnlHqUS_PDwIFYFbb6ne0,50
137
- fuzzy_dl_owl2/fuzzyowl2/owl_types/fuzzy_nominal_concept.py,sha256=reEvK6IS-rerO5wnIUWNg49mohh5irAEQ0teopztjMo,565
138
+ fuzzy_dl_owl2/fuzzyowl2/owl_types/fuzzy_nominal_concept.py,sha256=0M-YtytiiHCip_YfAJHX1OHd2GHfdesKmnA40ubol9g,564
138
139
  fuzzy_dl_owl2/fuzzyowl2/owl_types/fuzzy_property.py,sha256=AK_L-JtEwTN_gjmDRnY5i4i3w7lGDVtT4Ba7ryVPz38,52
139
140
  fuzzy_dl_owl2/fuzzyowl2/owl_types/left_shoulder_function.py,sha256=xeiJGisZSwWbHp4a9indXmu-IOJsR-qMDYLBzw2c1UI,470
140
141
  fuzzy_dl_owl2/fuzzyowl2/owl_types/linear_function.py,sha256=3MZR09E0AhUTEHQZY_RUpucYqIBZPiP84rBj4EMQOyo,457
141
142
  fuzzy_dl_owl2/fuzzyowl2/owl_types/linear_modifier.py,sha256=CIm4rlSuvcI9dqLscASFHexjHKcJ06Wg3fZy__tw7H4,340
142
- fuzzy_dl_owl2/fuzzyowl2/owl_types/modified_concept.py,sha256=JdjSemKb-mnVtVQhHnk_OAU8cvB3YRRmmEF0DLrtdXk,555
143
- fuzzy_dl_owl2/fuzzyowl2/owl_types/modified_function.py,sha256=3_GFKWMU4YrPrMC7bhEm7GDUKtCko8H5wx2dpGdXGZc,428
144
- fuzzy_dl_owl2/fuzzyowl2/owl_types/modified_property.py,sha256=d94ZQRWJ_BoH0lvM_XuwexeAlQGDZDB6Lq0WaO9acaQ,545
143
+ fuzzy_dl_owl2/fuzzyowl2/owl_types/modified_concept.py,sha256=U-E7RfIfbYvqm_08p7kcIAfuwXNYC5lkfKne4MHjPFg,554
144
+ fuzzy_dl_owl2/fuzzyowl2/owl_types/modified_function.py,sha256=liebxiX_dHmbPTdpSVmdrnOdR6lBALYBD_bOB_MnUHE,427
145
+ fuzzy_dl_owl2/fuzzyowl2/owl_types/modified_property.py,sha256=CFdaZJyozJZB-g69YZfBw0gN-aFSi-LJSMvibVXo4Mk,544
145
146
  fuzzy_dl_owl2/fuzzyowl2/owl_types/owa_concept.py,sha256=rQNp8zSQ-tQYwcJsc3sCVhG1chtZ7Ev1MumSBOPbOwI,659
146
147
  fuzzy_dl_owl2/fuzzyowl2/owl_types/property_definition.py,sha256=5NZd22GcaPQKCrIZwCGzPgx1M5h41A3tH9qKI_m2WVc,268
147
148
  fuzzy_dl_owl2/fuzzyowl2/owl_types/qowa_concept.py,sha256=yfErtkNIWWW-QUgA4T6F7tL-sCPC0GXYYkR2xT8LHKk,598
@@ -152,17 +153,17 @@ fuzzy_dl_owl2/fuzzyowl2/owl_types/trapezoidal_function.py,sha256=l3KRs7ACesW9MM8
152
153
  fuzzy_dl_owl2/fuzzyowl2/owl_types/triangular_function.py,sha256=gteNPNUnUheMpNEKnr6t88Lxe5p_ust-oeDrLU51Au4,567
153
154
  fuzzy_dl_owl2/fuzzyowl2/owl_types/triangular_modifer.py,sha256=Z7Tc3bDbU9U_LXUGnrdugGHa2PQ81qN91NbQAdaWbXo,552
154
155
  fuzzy_dl_owl2/fuzzyowl2/owl_types/weighted_concept.py,sha256=sd_KYs0__df_Zv1P6KGU1oTvz4zi5Y2UyyfF57vYru0,542
155
- fuzzy_dl_owl2/fuzzyowl2/owl_types/weighted_max_concept.py,sha256=NEIshfx9h4XyvfOOA3pKMGE5dkDWofujnn2LTNg7SNo,510
156
- fuzzy_dl_owl2/fuzzyowl2/owl_types/weighted_min_concept.py,sha256=_sEao87lwH2fKspVR_NrpilFwuI6g25E1mNDI55dtYk,510
157
- fuzzy_dl_owl2/fuzzyowl2/owl_types/weighted_sum_concept.py,sha256=TrX3-M-LrG-5XgEo6LY8JESZpYwcaIX4rOCU8wfWE4k,510
158
- fuzzy_dl_owl2/fuzzyowl2/owl_types/weighted_sum_zero_concept.py,sha256=OJW8-ZJXvYTFHrqC8hpVBTY6SwLCTTIe72MSAO3H7hk,524
156
+ fuzzy_dl_owl2/fuzzyowl2/owl_types/weighted_max_concept.py,sha256=kAfNUtxq-SmVA9WCyJpwHkj57znpg_c28MioQJ89myM,530
157
+ fuzzy_dl_owl2/fuzzyowl2/owl_types/weighted_min_concept.py,sha256=zJY2v58sPhmFcUAWKPuyT0rJXoU82Prqg4aCT62MtRQ,530
158
+ fuzzy_dl_owl2/fuzzyowl2/owl_types/weighted_sum_concept.py,sha256=wlVYizlgvMlD6GGTX20a8mTMBJqFSYn9CV-tKL76jeE,530
159
+ fuzzy_dl_owl2/fuzzyowl2/owl_types/weighted_sum_zero_concept.py,sha256=SD1xHZaEDeOkGHp0kceyoXRH44g8tbRjEKvFm1dpdXI,544
159
160
  fuzzy_dl_owl2/fuzzyowl2/parser/__init__.py,sha256=HjRhpobpAAB569symjAAoN98RVIqo0P6KtsVLDxC3Ok,60
160
161
  fuzzy_dl_owl2/fuzzyowl2/parser/owl2_parser.py,sha256=6rwMT_dGaaaKZQRotGiidbwqCOpLuPkyXaHXGQ5CV1k,20068
161
- fuzzy_dl_owl2/fuzzyowl2/parser/owl2_xml_parser.py,sha256=qbx6SsrYUdDOn1-qClq-0ECIZ24MKPJCeAuvl6rwk_s,11234
162
+ fuzzy_dl_owl2/fuzzyowl2/parser/owl2_xml_parser.py,sha256=-no2LqMt8xqx5o_I4BRzk6q3c2tmot3EhXbMN8OglYE,11587
162
163
  fuzzy_dl_owl2/fuzzyowl2/util/__init__.py,sha256=4qG4CwkdYoT0vh3uX9N8DlmXh4QfKimVUqR4h2DR8Gg,50
163
164
  fuzzy_dl_owl2/fuzzyowl2/util/constants.py,sha256=Oev5Q-H4mhmdvV3nrp0fZKZx8jpo9beXjJwm0dfDUSc,6970
164
165
  fuzzy_dl_owl2/fuzzyowl2/util/fuzzy_xml.py,sha256=iYAodtBkZYt3cOvMBA0VEMOU87ljb-06_aUfH14gvwE,3416
165
- fuzzy_dl_owl2-1.0.8.dist-info/LICENSE,sha256=er4Z7Ju3OzYUG5mbhh0krYVegIuv4PgehMzihVb2wpc,20131
166
- fuzzy_dl_owl2-1.0.8.dist-info/METADATA,sha256=G8aFZIYWtLlCLW7wIYyYyECzzLRSfaATIK42YGLjHKk,43338
167
- fuzzy_dl_owl2-1.0.8.dist-info/WHEEL,sha256=b4K_helf-jlQoXBBETfwnf4B04YC67LOev0jo4fX5m8,88
168
- fuzzy_dl_owl2-1.0.8.dist-info/RECORD,,
166
+ fuzzy_dl_owl2-1.0.10.dist-info/METADATA,sha256=-exBj5DbR3tU5en64ZVyhxjGMIZzR2Yx4l8jx1AaIoo,43843
167
+ fuzzy_dl_owl2-1.0.10.dist-info/WHEEL,sha256=kJCRJT_g0adfAJzTx2GUMmS80rTJIVHRCfG0DQgLq3o,88
168
+ fuzzy_dl_owl2-1.0.10.dist-info/licenses/LICENSE,sha256=er4Z7Ju3OzYUG5mbhh0krYVegIuv4PgehMzihVb2wpc,20131
169
+ fuzzy_dl_owl2-1.0.10.dist-info/RECORD,,
{fuzzy_dl_owl2-1.0.8.dist-info → fuzzy_dl_owl2-1.0.10.dist-info}/WHEEL RENAMED
@@ -1,4 +1,4 @@
1
1
  Wheel-Version: 1.0
2
- Generator: poetry-core 2.1.3
2
+ Generator: poetry-core 2.3.1
3
3
  Root-Is-Purelib: true
4
4
  Tag: py3-none-any