fuzzy-dl-owl2 1.0.0__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.
- fuzzy_dl_owl2/__init__.py +2 -0
- fuzzy_dl_owl2/fuzzydl/__init__.py +23 -0
- fuzzy_dl_owl2/fuzzydl/assertion/__init__.py +2 -0
- fuzzy_dl_owl2/fuzzydl/assertion/assertion.py +72 -0
- fuzzy_dl_owl2/fuzzydl/assertion/atomic_assertion.py +19 -0
- fuzzy_dl_owl2/fuzzydl/concept/__init__.py +13 -0
- fuzzy_dl_owl2/fuzzydl/concept/all_some_concept.py +85 -0
- fuzzy_dl_owl2/fuzzydl/concept/approximation_concept.py +147 -0
- fuzzy_dl_owl2/fuzzydl/concept/atomic_concept.py +91 -0
- fuzzy_dl_owl2/fuzzydl/concept/choquet_integral.py +64 -0
- fuzzy_dl_owl2/fuzzydl/concept/concept.py +230 -0
- fuzzy_dl_owl2/fuzzydl/concept/concrete/__init__.py +10 -0
- fuzzy_dl_owl2/fuzzydl/concept/concrete/crisp_concrete_concept.py +60 -0
- fuzzy_dl_owl2/fuzzydl/concept/concrete/fuzzy_concrete_concept.py +63 -0
- fuzzy_dl_owl2/fuzzydl/concept/concrete/fuzzy_number/__init__.py +1 -0
- fuzzy_dl_owl2/fuzzydl/concept/concrete/fuzzy_number/triangular_fuzzy_number.py +127 -0
- fuzzy_dl_owl2/fuzzydl/concept/concrete/left_concrete_concept.py +70 -0
- fuzzy_dl_owl2/fuzzydl/concept/concrete/linear_concrete_concept.py +70 -0
- fuzzy_dl_owl2/fuzzydl/concept/concrete/modified_concrete_concept.py +66 -0
- fuzzy_dl_owl2/fuzzydl/concept/concrete/right_concrete_concept.py +70 -0
- fuzzy_dl_owl2/fuzzydl/concept/concrete/trapezoidal_concrete_concept.py +96 -0
- fuzzy_dl_owl2/fuzzydl/concept/concrete/triangular_concrete_concept.py +89 -0
- fuzzy_dl_owl2/fuzzydl/concept/ext_threshold_concept.py +77 -0
- fuzzy_dl_owl2/fuzzydl/concept/has_value_concept.py +51 -0
- fuzzy_dl_owl2/fuzzydl/concept/implies_concept.py +144 -0
- fuzzy_dl_owl2/fuzzydl/concept/interface/__init__.py +6 -0
- fuzzy_dl_owl2/fuzzydl/concept/interface/has_concept_interface.py +17 -0
- fuzzy_dl_owl2/fuzzydl/concept/interface/has_concepts_interface.py +18 -0
- fuzzy_dl_owl2/fuzzydl/concept/interface/has_role_concept_interface.py +14 -0
- fuzzy_dl_owl2/fuzzydl/concept/interface/has_role_interface.py +15 -0
- fuzzy_dl_owl2/fuzzydl/concept/interface/has_value_interface.py +21 -0
- fuzzy_dl_owl2/fuzzydl/concept/interface/has_weighted_concepts_interface.py +29 -0
- fuzzy_dl_owl2/fuzzydl/concept/modified/__init__.py +3 -0
- fuzzy_dl_owl2/fuzzydl/concept/modified/linearly_modified_concept.py +32 -0
- fuzzy_dl_owl2/fuzzydl/concept/modified/modified_concept.py +59 -0
- fuzzy_dl_owl2/fuzzydl/concept/modified/triangularly_modified_concept.py +33 -0
- fuzzy_dl_owl2/fuzzydl/concept/negated_nominal.py +42 -0
- fuzzy_dl_owl2/fuzzydl/concept/operator_concept.py +707 -0
- fuzzy_dl_owl2/fuzzydl/concept/owa_concept.py +57 -0
- fuzzy_dl_owl2/fuzzydl/concept/qowa_concept.py +62 -0
- fuzzy_dl_owl2/fuzzydl/concept/quasi_sugeno_integral.py +46 -0
- fuzzy_dl_owl2/fuzzydl/concept/self_concept.py +45 -0
- fuzzy_dl_owl2/fuzzydl/concept/string_concept.py +35 -0
- fuzzy_dl_owl2/fuzzydl/concept/sugeno_integral.py +83 -0
- fuzzy_dl_owl2/fuzzydl/concept/threshold_concept.py +81 -0
- fuzzy_dl_owl2/fuzzydl/concept/truth_concept.py +83 -0
- fuzzy_dl_owl2/fuzzydl/concept/value_concept.py +67 -0
- fuzzy_dl_owl2/fuzzydl/concept/weighted_concept.py +55 -0
- fuzzy_dl_owl2/fuzzydl/concept/weighted_max_concept.py +63 -0
- fuzzy_dl_owl2/fuzzydl/concept/weighted_min_concept.py +57 -0
- fuzzy_dl_owl2/fuzzydl/concept/weighted_sum_concept.py +62 -0
- fuzzy_dl_owl2/fuzzydl/concept/weighted_sum_zero_concept.py +62 -0
- fuzzy_dl_owl2/fuzzydl/concept_equivalence.py +20 -0
- fuzzy_dl_owl2/fuzzydl/concrete_feature.py +94 -0
- fuzzy_dl_owl2/fuzzydl/degree/__init__.py +4 -0
- fuzzy_dl_owl2/fuzzydl/degree/degree.py +79 -0
- fuzzy_dl_owl2/fuzzydl/degree/degree_expression.py +57 -0
- fuzzy_dl_owl2/fuzzydl/degree/degree_numeric.py +57 -0
- fuzzy_dl_owl2/fuzzydl/degree/degree_variable.py +54 -0
- fuzzy_dl_owl2/fuzzydl/domain_axiom.py +8 -0
- fuzzy_dl_owl2/fuzzydl/exception/__init__.py +2 -0
- fuzzy_dl_owl2/fuzzydl/exception/fuzzy_ontology_exception.py +4 -0
- fuzzy_dl_owl2/fuzzydl/exception/inconsistent_ontology_exception.py +4 -0
- fuzzy_dl_owl2/fuzzydl/feature_function.py +148 -0
- fuzzy_dl_owl2/fuzzydl/fuzzydl_to_owl2.py +920 -0
- fuzzy_dl_owl2/fuzzydl/fuzzydl_to_owl2_java.py +953 -0
- fuzzy_dl_owl2/fuzzydl/general_concept_inclusion.py +82 -0
- fuzzy_dl_owl2/fuzzydl/individual/__init__.py +3 -0
- fuzzy_dl_owl2/fuzzydl/individual/created_individual.py +219 -0
- fuzzy_dl_owl2/fuzzydl/individual/individual.py +113 -0
- fuzzy_dl_owl2/fuzzydl/individual/representative_individual.py +37 -0
- fuzzy_dl_owl2/fuzzydl/knowledge_base.py +9037 -0
- fuzzy_dl_owl2/fuzzydl/label.py +32 -0
- fuzzy_dl_owl2/fuzzydl/milp/__init__.py +7 -0
- fuzzy_dl_owl2/fuzzydl/milp/expression.py +186 -0
- fuzzy_dl_owl2/fuzzydl/milp/inequation.py +55 -0
- fuzzy_dl_owl2/fuzzydl/milp/milp_helper.py +787 -0
- fuzzy_dl_owl2/fuzzydl/milp/show_variables_helper.py +151 -0
- fuzzy_dl_owl2/fuzzydl/milp/solution.py +45 -0
- fuzzy_dl_owl2/fuzzydl/milp/term.py +76 -0
- fuzzy_dl_owl2/fuzzydl/milp/variable.py +89 -0
- fuzzy_dl_owl2/fuzzydl/modifier/__init__.py +3 -0
- fuzzy_dl_owl2/fuzzydl/modifier/linear_modifier.py +76 -0
- fuzzy_dl_owl2/fuzzydl/modifier/modifier.py +39 -0
- fuzzy_dl_owl2/fuzzydl/modifier/triangular_modifier.py +76 -0
- fuzzy_dl_owl2/fuzzydl/parser/ParserConstants.py +406 -0
- fuzzy_dl_owl2/fuzzydl/parser/__init__.py +1 -0
- fuzzy_dl_owl2/fuzzydl/parser/dl_parser.py +2029 -0
- fuzzy_dl_owl2/fuzzydl/parser/ebnf.lark +290 -0
- fuzzy_dl_owl2/fuzzydl/parser/larkx.py +70 -0
- fuzzy_dl_owl2/fuzzydl/primitive_concept_definition.py +81 -0
- fuzzy_dl_owl2/fuzzydl/query/__init__.py +14 -0
- fuzzy_dl_owl2/fuzzydl/query/all_instances_query.py +50 -0
- fuzzy_dl_owl2/fuzzydl/query/bnp_query.py +22 -0
- fuzzy_dl_owl2/fuzzydl/query/defuzzify/__init__.py +4 -0
- fuzzy_dl_owl2/fuzzydl/query/defuzzify/defuzzify_query.py +76 -0
- fuzzy_dl_owl2/fuzzydl/query/defuzzify/lom_defuzzify_query.py +19 -0
- fuzzy_dl_owl2/fuzzydl/query/defuzzify/mom_defuzzify_query.py +88 -0
- fuzzy_dl_owl2/fuzzydl/query/defuzzify/som_defuzzify_query.py +20 -0
- fuzzy_dl_owl2/fuzzydl/query/instance_query.py +19 -0
- fuzzy_dl_owl2/fuzzydl/query/kb_satisfiable_query.py +32 -0
- fuzzy_dl_owl2/fuzzydl/query/max/__init__.py +5 -0
- fuzzy_dl_owl2/fuzzydl/query/max/max_instance_query.py +45 -0
- fuzzy_dl_owl2/fuzzydl/query/max/max_query.py +31 -0
- fuzzy_dl_owl2/fuzzydl/query/max/max_related_query.py +45 -0
- fuzzy_dl_owl2/fuzzydl/query/max/max_satisfiable_query.py +73 -0
- fuzzy_dl_owl2/fuzzydl/query/max/max_subsumes_query.py +64 -0
- fuzzy_dl_owl2/fuzzydl/query/min/__init__.py +5 -0
- fuzzy_dl_owl2/fuzzydl/query/min/min_instance_query.py +50 -0
- fuzzy_dl_owl2/fuzzydl/query/min/min_query.py +31 -0
- fuzzy_dl_owl2/fuzzydl/query/min/min_related_query.py +57 -0
- fuzzy_dl_owl2/fuzzydl/query/min/min_satisfiable_query.py +80 -0
- fuzzy_dl_owl2/fuzzydl/query/min/min_subsumes_query.py +65 -0
- fuzzy_dl_owl2/fuzzydl/query/query.py +38 -0
- fuzzy_dl_owl2/fuzzydl/query/related_query.py +15 -0
- fuzzy_dl_owl2/fuzzydl/query/satisfiable_query.py +37 -0
- fuzzy_dl_owl2/fuzzydl/query/subsumption_query.py +20 -0
- fuzzy_dl_owl2/fuzzydl/range_axiom.py +7 -0
- fuzzy_dl_owl2/fuzzydl/relation.py +47 -0
- fuzzy_dl_owl2/fuzzydl/restriction/__init__.py +2 -0
- fuzzy_dl_owl2/fuzzydl/restriction/has_value_restriction.py +16 -0
- fuzzy_dl_owl2/fuzzydl/restriction/restriction.py +34 -0
- fuzzy_dl_owl2/fuzzydl/role_parent_with_degree.py +10 -0
- fuzzy_dl_owl2/fuzzydl/util/__init__.py +3 -0
- fuzzy_dl_owl2/fuzzydl/util/config_reader.py +56 -0
- fuzzy_dl_owl2/fuzzydl/util/constants.py +424 -0
- fuzzy_dl_owl2/fuzzydl/util/util.py +73 -0
- fuzzy_dl_owl2/fuzzyowl2/__init__.py +5 -0
- fuzzy_dl_owl2/fuzzyowl2/fuzzyowl2.py +1513 -0
- fuzzy_dl_owl2/fuzzyowl2/fuzzyowl2_java.py +1409 -0
- fuzzy_dl_owl2/fuzzyowl2/fuzzyowl2_to_fuzzydl.py +917 -0
- fuzzy_dl_owl2/fuzzyowl2/fuzzyowl2_to_fuzzydl_java.py +956 -0
- fuzzy_dl_owl2/fuzzyowl2/owl_types/__init__.py +0 -0
- fuzzy_dl_owl2/fuzzyowl2/owl_types/choquet_concept.py +19 -0
- fuzzy_dl_owl2/fuzzyowl2/owl_types/concept_definition.py +14 -0
- fuzzy_dl_owl2/fuzzyowl2/owl_types/fuzzy_datatype.py +22 -0
- fuzzy_dl_owl2/fuzzyowl2/owl_types/fuzzy_modifier.py +4 -0
- fuzzy_dl_owl2/fuzzyowl2/owl_types/fuzzy_nominal_concept.py +19 -0
- fuzzy_dl_owl2/fuzzyowl2/owl_types/fuzzy_property.py +5 -0
- fuzzy_dl_owl2/fuzzyowl2/owl_types/left_shoulder_function.py +17 -0
- fuzzy_dl_owl2/fuzzyowl2/owl_types/linear_function.py +17 -0
- fuzzy_dl_owl2/fuzzyowl2/owl_types/linear_modifier.py +13 -0
- fuzzy_dl_owl2/fuzzyowl2/owl_types/modified_concept.py +19 -0
- fuzzy_dl_owl2/fuzzyowl2/owl_types/modified_function.py +17 -0
- fuzzy_dl_owl2/fuzzyowl2/owl_types/modified_property.py +15 -0
- fuzzy_dl_owl2/fuzzyowl2/owl_types/owa_concept.py +19 -0
- fuzzy_dl_owl2/fuzzyowl2/owl_types/property_definition.py +10 -0
- fuzzy_dl_owl2/fuzzyowl2/owl_types/qowa_concept.py +19 -0
- fuzzy_dl_owl2/fuzzyowl2/owl_types/quasi_sugeno_concept.py +21 -0
- fuzzy_dl_owl2/fuzzyowl2/owl_types/right_shoulder_function.py +17 -0
- fuzzy_dl_owl2/fuzzyowl2/owl_types/sugeno_concept.py +21 -0
- fuzzy_dl_owl2/fuzzyowl2/owl_types/trapezoidal_function.py +25 -0
- fuzzy_dl_owl2/fuzzyowl2/owl_types/triangular_function.py +21 -0
- fuzzy_dl_owl2/fuzzyowl2/owl_types/triangular_modifer.py +21 -0
- fuzzy_dl_owl2/fuzzyowl2/owl_types/weighted_concept.py +19 -0
- fuzzy_dl_owl2/fuzzyowl2/owl_types/weighted_max_concept.py +15 -0
- fuzzy_dl_owl2/fuzzyowl2/owl_types/weighted_min_concept.py +15 -0
- fuzzy_dl_owl2/fuzzyowl2/owl_types/weighted_sum_concept.py +15 -0
- fuzzy_dl_owl2/fuzzyowl2/owl_types/weighted_sum_zero_concept.py +15 -0
- fuzzy_dl_owl2/fuzzyowl2/parser/__init__.py +1 -0
- fuzzy_dl_owl2/fuzzyowl2/parser/owl2_parser.py +491 -0
- fuzzy_dl_owl2/fuzzyowl2/util/__init__.py +1 -0
- fuzzy_dl_owl2/fuzzyowl2/util/constants.py +112 -0
- fuzzy_dl_owl2-1.0.0.dist-info/LICENSE +427 -0
- fuzzy_dl_owl2-1.0.0.dist-info/METADATA +299 -0
- fuzzy_dl_owl2-1.0.0.dist-info/RECORD +167 -0
- fuzzy_dl_owl2-1.0.0.dist-info/WHEEL +4 -0
|
@@ -0,0 +1,299 @@
|
|
|
1
|
+
Metadata-Version: 2.3
|
|
2
|
+
Name: fuzzy_dl_owl2
|
|
3
|
+
Version: 1.0.0
|
|
4
|
+
Summary:
|
|
5
|
+
License: CC-BY-SA-4.0
|
|
6
|
+
Author: Giuseppe Filippone
|
|
7
|
+
Author-email: filipponegiuseppe94@gmail.com
|
|
8
|
+
Requires-Python: >=3.11,<4.0
|
|
9
|
+
Classifier: License :: Other/Proprietary License
|
|
10
|
+
Classifier: Programming Language :: Python :: 3
|
|
11
|
+
Classifier: Programming Language :: Python :: 3.11
|
|
12
|
+
Classifier: Programming Language :: Python :: 3.12
|
|
13
|
+
Classifier: Programming Language :: Python :: 3.13
|
|
14
|
+
Requires-Dist: gurobipy (>=12.0.0,<13.0.0)
|
|
15
|
+
Requires-Dist: owlready2 (>=0.47,<0.48)
|
|
16
|
+
Requires-Dist: pyowl2 (>=1.0.0,<2.0.0)
|
|
17
|
+
Requires-Dist: pyparsing (>=3.1.1,<4.0.0)
|
|
18
|
+
Requires-Dist: rdflib (>=7.1.1,<8.0.0)
|
|
19
|
+
Project-URL: Repository, https://github.com/giuseppefilippone/fuzzy_dl_owl2
|
|
20
|
+
Description-Content-Type: text/markdown
|
|
21
|
+
|
|
22
|
+
# Fuzzy DL OWL 2
|
|
23
|
+
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).
|
|
24
|
+
|
|
25
|
+
⸻
|
|
26
|
+
|
|
27
|
+
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.
|
|
28
|
+
|
|
29
|
+
Features:
|
|
30
|
+
- Object-oriented representation of Fuzzy Description Logic elements
|
|
31
|
+
- Object-oriented representation of Fuzzy OWL 2 elements
|
|
32
|
+
- Mapping from FuzzyDL to Fuzzy OWL 2
|
|
33
|
+
- Mapping from Fuzzy OWL 2 to FuzzyDL
|
|
34
|
+
- Reasoning in FuzzyDL
|
|
35
|
+
|
|
36
|
+
⸻
|
|
37
|
+
|
|
38
|
+
# Installation
|
|
39
|
+
|
|
40
|
+
```python
|
|
41
|
+
pip install fuzzy-reasoner
|
|
42
|
+
```
|
|
43
|
+
|
|
44
|
+
⸻
|
|
45
|
+
|
|
46
|
+
Examples of supported Fuzzy Description Logic Constructs
|
|
47
|
+
|
|
48
|
+
| Python Class | Description |
|
|
49
|
+
|----------------------|-----------------------------------|
|
|
50
|
+
| AtomicConcept | Define an atomic concept |
|
|
51
|
+
| ChoquetIntegral | Define a choquet integral concept |
|
|
52
|
+
| ApproximationConcept | Define a tight/upper/* lower/upper approximation concept |
|
|
53
|
+
|
|
54
|
+
⸻
|
|
55
|
+
|
|
56
|
+
# Usage - Reasoning
|
|
57
|
+
|
|
58
|
+
## Knowledge base in example.fdl
|
|
59
|
+
```python
|
|
60
|
+
(define-fuzzy-logic lukasiewicz)
|
|
61
|
+
(define-modifier very linear-modifier(0.8))
|
|
62
|
+
(define-fuzzy-concept eq243 crisp(0, 400, 243, 243))
|
|
63
|
+
(define-fuzzy-concept geq300 crisp(0, 400, 300, 400))
|
|
64
|
+
(define-fuzzy-concept High right-shoulder(0, 400, 180, 250))
|
|
65
|
+
(define-concept SportCar (and Car (some speed (very High))))
|
|
66
|
+
(instance ferrari (and Car (some speed geq300)) 1)
|
|
67
|
+
(instance audi (and Car (some speed eq243)) 1)
|
|
68
|
+
|
|
69
|
+
(min-instance? audi SportCar)
|
|
70
|
+
```
|
|
71
|
+
|
|
72
|
+
## Python code
|
|
73
|
+
|
|
74
|
+
```python
|
|
75
|
+
from fuzzy_dl_owl2 import DLParser
|
|
76
|
+
|
|
77
|
+
DLParser.main("./example.fdl") # "Is audi instance of SportCar ? >= 0.92"
|
|
78
|
+
```
|
|
79
|
+
⸻
|
|
80
|
+
|
|
81
|
+
# Usage - Fuzzy OWL 2
|
|
82
|
+
|
|
83
|
+
## From *.fdl to *.owl
|
|
84
|
+
|
|
85
|
+
```python
|
|
86
|
+
from fuzzy_dl_owl2 import FuzzydlToOwl2
|
|
87
|
+
|
|
88
|
+
fdl = FuzzydlToOwl2("./example.fdl", "example.owl")
|
|
89
|
+
fdl.run() # save example.owl in the subdirectory "./results"
|
|
90
|
+
```
|
|
91
|
+
|
|
92
|
+
## From *.owl to *.fdl
|
|
93
|
+
|
|
94
|
+
```python
|
|
95
|
+
from fuzzy_dl_owl2 import FuzzyOwl2ToFuzzyDL
|
|
96
|
+
|
|
97
|
+
fdl = FuzzyOwl2ToFuzzyDL("./results/example.owl", "example.fdl")
|
|
98
|
+
fdl.translate_owl2ontology() # save example.fdl in the subdirectory "./results"
|
|
99
|
+
```
|
|
100
|
+
⸻
|
|
101
|
+
|
|
102
|
+
# Project Structure
|
|
103
|
+
|
|
104
|
+
```text
|
|
105
|
+
fuzzy_reasoner
|
|
106
|
+
├── __init__.py
|
|
107
|
+
├── app.py
|
|
108
|
+
├── fuzzydl
|
|
109
|
+
│ ├── __init__.py
|
|
110
|
+
│ ├── assertion
|
|
111
|
+
│ │ ├── __init__.py
|
|
112
|
+
│ │ ├── assertion.py
|
|
113
|
+
│ │ └── atomic_assertion.py
|
|
114
|
+
│ ├── concept
|
|
115
|
+
│ │ ├── __init__.py
|
|
116
|
+
│ │ ├── all_some_concept.py
|
|
117
|
+
│ │ ├── approximation_concept.py
|
|
118
|
+
│ │ ├── atomic_concept.py
|
|
119
|
+
│ │ ├── choquet_integral.py
|
|
120
|
+
│ │ ├── concept.py
|
|
121
|
+
│ │ ├── concrete
|
|
122
|
+
│ │ │ ├── __init__.py
|
|
123
|
+
│ │ │ ├── crisp_concrete_concept.py
|
|
124
|
+
│ │ │ ├── fuzzy_concrete_concept.py
|
|
125
|
+
│ │ │ ├── fuzzy_number
|
|
126
|
+
│ │ │ │ ├── __init__.py
|
|
127
|
+
│ │ │ │ └── triangular_fuzzy_number.py
|
|
128
|
+
│ │ │ ├── left_concrete_concept.py
|
|
129
|
+
│ │ │ ├── linear_concrete_concept.py
|
|
130
|
+
│ │ │ ├── modified_concrete_concept.py
|
|
131
|
+
│ │ │ ├── right_concrete_concept.py
|
|
132
|
+
│ │ │ ├── trapezoidal_concrete_concept.py
|
|
133
|
+
│ │ │ └── triangular_concrete_concept.py
|
|
134
|
+
│ │ ├── ext_threshold_concept.py
|
|
135
|
+
│ │ ├── has_value_concept.py
|
|
136
|
+
│ │ ├── implies_concept.py
|
|
137
|
+
│ │ ├── interface
|
|
138
|
+
│ │ │ ├── __init__.py
|
|
139
|
+
│ │ │ ├── has_concept_interface.py
|
|
140
|
+
│ │ │ ├── has_concepts_interface.py
|
|
141
|
+
│ │ │ ├── has_role_concept_interface.py
|
|
142
|
+
│ │ │ ├── has_role_interface.py
|
|
143
|
+
│ │ │ ├── has_value_interface.py
|
|
144
|
+
│ │ │ └── has_weighted_concepts_interface.py
|
|
145
|
+
│ │ ├── modified
|
|
146
|
+
│ │ │ ├── __init__.py
|
|
147
|
+
│ │ │ ├── linearly_modified_concept.py
|
|
148
|
+
│ │ │ ├── modified_concept.py
|
|
149
|
+
│ │ │ └── triangularly_modified_concept.py
|
|
150
|
+
│ │ ├── negated_nominal.py
|
|
151
|
+
│ │ ├── operator_concept.py
|
|
152
|
+
│ │ ├── owa_concept.py
|
|
153
|
+
│ │ ├── qowa_concept.py
|
|
154
|
+
│ │ ├── quasi_sugeno_integral.py
|
|
155
|
+
│ │ ├── self_concept.py
|
|
156
|
+
│ │ ├── string_concept.py
|
|
157
|
+
│ │ ├── sugeno_integral.py
|
|
158
|
+
│ │ ├── threshold_concept.py
|
|
159
|
+
│ │ ├── truth_concept.py
|
|
160
|
+
│ │ ├── value_concept.py
|
|
161
|
+
│ │ ├── weighted_concept.py
|
|
162
|
+
│ │ ├── weighted_max_concept.py
|
|
163
|
+
│ │ ├── weighted_min_concept.py
|
|
164
|
+
│ │ ├── weighted_sum_concept.py
|
|
165
|
+
│ │ └── weighted_sum_zero_concept.py
|
|
166
|
+
│ ├── concept_equivalence.py
|
|
167
|
+
│ ├── concrete_feature.py
|
|
168
|
+
│ ├── degree
|
|
169
|
+
│ │ ├── __init__.py
|
|
170
|
+
│ │ ├── degree_expression.py
|
|
171
|
+
│ │ ├── degree_numeric.py
|
|
172
|
+
│ │ ├── degree_variable.py
|
|
173
|
+
│ │ └── degree.py
|
|
174
|
+
│ ├── domain_axiom.py
|
|
175
|
+
│ ├── exception
|
|
176
|
+
│ │ ├── __init__.py
|
|
177
|
+
│ │ ├── fuzzy_ontology_exception.py
|
|
178
|
+
│ │ └── inconsistent_ontology_exception.py
|
|
179
|
+
│ ├── feature_function.py
|
|
180
|
+
│ ├── fuzzydl_to_owl2_java.py
|
|
181
|
+
│ ├── fuzzydl_to_owl2.py
|
|
182
|
+
│ ├── general_concept_inclusion.py
|
|
183
|
+
│ ├── individual
|
|
184
|
+
│ │ ├── __init__.py
|
|
185
|
+
│ │ ├── created_individual.py
|
|
186
|
+
│ │ ├── individual.py
|
|
187
|
+
│ │ └── representative_individual.py
|
|
188
|
+
│ ├── knowledge_base.py
|
|
189
|
+
│ ├── label.py
|
|
190
|
+
│ ├── milp
|
|
191
|
+
│ │ ├── __init__.py
|
|
192
|
+
│ │ ├── expression.py
|
|
193
|
+
│ │ ├── inequation.py
|
|
194
|
+
│ │ ├── milp_helper.py
|
|
195
|
+
│ │ ├── show_variables_helper.py
|
|
196
|
+
│ │ ├── solution.py
|
|
197
|
+
│ │ ├── term.py
|
|
198
|
+
│ │ └── variable.py
|
|
199
|
+
│ ├── modifier
|
|
200
|
+
│ │ ├── __init__.py
|
|
201
|
+
│ │ ├── linear_modifier.py
|
|
202
|
+
│ │ ├── modifier.py
|
|
203
|
+
│ │ └── triangular_modifier.py
|
|
204
|
+
│ ├── parser
|
|
205
|
+
│ │ ├── __init__.py
|
|
206
|
+
│ │ ├── dl_parser.py
|
|
207
|
+
│ │ ├── ebnf.lark
|
|
208
|
+
│ │ ├── larkx.py
|
|
209
|
+
│ │ └── ParserConstants.py
|
|
210
|
+
│ ├── primitive_concept_definition.py
|
|
211
|
+
│ ├── query
|
|
212
|
+
│ │ ├── __init__.py
|
|
213
|
+
│ │ ├── all_instances_query.py
|
|
214
|
+
│ │ ├── bnp_query.py
|
|
215
|
+
│ │ ├── defuzzify
|
|
216
|
+
│ │ │ ├── __init__.py
|
|
217
|
+
│ │ │ ├── defuzzify_query.py
|
|
218
|
+
│ │ │ ├── lom_defuzzify_query.py
|
|
219
|
+
│ │ │ ├── mom_defuzzify_query.py
|
|
220
|
+
│ │ │ └── som_defuzzify_query.py
|
|
221
|
+
│ │ ├── instance_query.py
|
|
222
|
+
│ │ ├── kb_satisfiable_query.py
|
|
223
|
+
│ │ ├── max
|
|
224
|
+
│ │ │ ├── __init__.py
|
|
225
|
+
│ │ │ ├── max_instance_query.py
|
|
226
|
+
│ │ │ ├── max_query.py
|
|
227
|
+
│ │ │ ├── max_related_query.py
|
|
228
|
+
│ │ │ ├── max_satisfiable_query.py
|
|
229
|
+
│ │ │ └── max_subsumes_query.py
|
|
230
|
+
│ │ ├── min
|
|
231
|
+
│ │ │ ├── __init__.py
|
|
232
|
+
│ │ │ ├── min_instance_query.py
|
|
233
|
+
│ │ │ ├── min_query.py
|
|
234
|
+
│ │ │ ├── min_related_query.py
|
|
235
|
+
│ │ │ ├── min_satisfiable_query.py
|
|
236
|
+
│ │ │ └── min_subsumes_query.py
|
|
237
|
+
│ │ ├── query.py
|
|
238
|
+
│ │ ├── related_query.py
|
|
239
|
+
│ │ ├── satisfiable_query.py
|
|
240
|
+
│ │ └── subsumption_query.py
|
|
241
|
+
│ ├── range_axiom.py
|
|
242
|
+
│ ├── relation.py
|
|
243
|
+
│ ├── restriction
|
|
244
|
+
│ │ ├── __init__.py
|
|
245
|
+
│ │ ├── has_value_restriction.py
|
|
246
|
+
│ │ └── restriction.py
|
|
247
|
+
│ ├── role_parent_with_degree.py
|
|
248
|
+
│ └── util
|
|
249
|
+
│ ├── __init__.py
|
|
250
|
+
│ ├── config_reader.py
|
|
251
|
+
│ ├── constants.py
|
|
252
|
+
│ ├── util.py
|
|
253
|
+
│ └── utils.py
|
|
254
|
+
└── fuzzyowl2
|
|
255
|
+
├── __init__.py
|
|
256
|
+
├── fuzzyowl2_java.py
|
|
257
|
+
├── fuzzyowl2_to_fuzzydl_java.py
|
|
258
|
+
├── fuzzyowl2_to_fuzzydl.py
|
|
259
|
+
├── fuzzyowl2.py
|
|
260
|
+
├── owl_types
|
|
261
|
+
│ ├── __init__.py
|
|
262
|
+
│ ├── choquet_concept.py
|
|
263
|
+
│ ├── concept_definition.py
|
|
264
|
+
│ ├── fuzzy_datatype.py
|
|
265
|
+
│ ├── fuzzy_modifier.py
|
|
266
|
+
│ ├── fuzzy_nominal_concept.py
|
|
267
|
+
│ ├── fuzzy_property.py
|
|
268
|
+
│ ├── left_shoulder_function.py
|
|
269
|
+
│ ├── linear_function.py
|
|
270
|
+
│ ├── linear_modifier.py
|
|
271
|
+
│ ├── modified_concept.py
|
|
272
|
+
│ ├── modified_function.py
|
|
273
|
+
│ ├── modified_property.py
|
|
274
|
+
│ ├── owa_concept.py
|
|
275
|
+
│ ├── property_definition.py
|
|
276
|
+
│ ├── qowa_concept.py
|
|
277
|
+
│ ├── quasi_sugeno_concept.py
|
|
278
|
+
│ ├── right_shoulder_function.py
|
|
279
|
+
│ ├── sugeno_concept.py
|
|
280
|
+
│ ├── trapezoidal_function.py
|
|
281
|
+
│ ├── triangular_function.py
|
|
282
|
+
│ ├── triangular_modifer.py
|
|
283
|
+
│ ├── weighted_concept.py
|
|
284
|
+
│ ├── weighted_max_concept.py
|
|
285
|
+
│ ├── weighted_min_concept.py
|
|
286
|
+
│ ├── weighted_sum_concept.py
|
|
287
|
+
│ └── weighted_sum_zero_concept.py
|
|
288
|
+
├── parser
|
|
289
|
+
│ └── owl2_parser.py
|
|
290
|
+
└── util
|
|
291
|
+
└── constants.py
|
|
292
|
+
```
|
|
293
|
+
|
|
294
|
+
⸻
|
|
295
|
+
|
|
296
|
+
# License
|
|
297
|
+
|
|
298
|
+
This project is licensed under the Creative Commons Attribution-ShareAlike 4.0 International.
|
|
299
|
+
|
|
@@ -0,0 +1,167 @@
|
|
|
1
|
+
fuzzy_dl_owl2/__init__.py,sha256=ZC9hof0DbPRngnVHYBXQss0-Jpgewx-5nZSgdiwTrK0,47
|
|
2
|
+
fuzzy_dl_owl2/fuzzydl/__init__.py,sha256=-wAWLFqQbQvyZyi94cQboq_cT0WJ0bClhaPHlJysvPU,803
|
|
3
|
+
fuzzy_dl_owl2/fuzzydl/assertion/__init__.py,sha256=HzhBUBPuTPwl7fSuN4WiujH1PyHy58mj0AMh2CKfbXA,79
|
|
4
|
+
fuzzy_dl_owl2/fuzzydl/assertion/assertion.py,sha256=yk_yjbl6hnpJQDmjEK9EngoHaQahz7-kfCQ5P0lZEg8,2231
|
|
5
|
+
fuzzy_dl_owl2/fuzzydl/assertion/atomic_assertion.py,sha256=HfXKJwvEuHPvUVgPo-FlFo7JPPF7IOxg-3EQ2SIUuUs,506
|
|
6
|
+
fuzzy_dl_owl2/fuzzydl/concept/__init__.py,sha256=ydLPXNhHQD0fvwXiCN9tJL67DB04PJFqeDRZD3I1Lgs,557
|
|
7
|
+
fuzzy_dl_owl2/fuzzydl/concept/all_some_concept.py,sha256=dWnzEJNpChFuTowDLQ-_KBzgnMDsWGDxBgSlVcseDqE,2917
|
|
8
|
+
fuzzy_dl_owl2/fuzzydl/concept/approximation_concept.py,sha256=bviAGedhVowsD81oHDm-Fszry3AlpvL9ozXP_aySOiw,5769
|
|
9
|
+
fuzzy_dl_owl2/fuzzydl/concept/atomic_concept.py,sha256=vBOMkv8BuWa6EfRqQlYNZNfBCRM87omMdx0qcZsLTCQ,2648
|
|
10
|
+
fuzzy_dl_owl2/fuzzydl/concept/choquet_integral.py,sha256=_3LJbQe2M1JEoscdiIPbEAixTwdd9JwEAWCmPtDNKy4,2268
|
|
11
|
+
fuzzy_dl_owl2/fuzzydl/concept/concept.py,sha256=kqXDQ9JL5pl2im968Q0oK_FejJwuJlxC0GkDVkz1L3E,6318
|
|
12
|
+
fuzzy_dl_owl2/fuzzydl/concept/concrete/__init__.py,sha256=YFVyrRW4GuPReSC3aF5sAvGcEvsMBWUcJzynpJv3vHg,533
|
|
13
|
+
fuzzy_dl_owl2/fuzzydl/concept/concrete/crisp_concrete_concept.py,sha256=QcJryH21vuontpw9TU_xDj9fYTk98U5PQehEuzhksKk,1607
|
|
14
|
+
fuzzy_dl_owl2/fuzzydl/concept/concrete/fuzzy_concrete_concept.py,sha256=0930RSmc_PhPj8ZoPqixuf8lYy20L-Uu2QEnZROQ_4c,1596
|
|
15
|
+
fuzzy_dl_owl2/fuzzydl/concept/concrete/fuzzy_number/__init__.py,sha256=n3F1MfKTr3C-ST1yiRDKdw_b6adqWNQqp26JlPL76KI,58
|
|
16
|
+
fuzzy_dl_owl2/fuzzydl/concept/concrete/fuzzy_number/triangular_fuzzy_number.py,sha256=e0qNd77OkPESAc91KFIG5KauL3lR-IKY606AHzvCmg8,4164
|
|
17
|
+
fuzzy_dl_owl2/fuzzydl/concept/concrete/left_concrete_concept.py,sha256=YDwk434lYo2RoRbmjr5T5knHLPxZpKOFxse4gQ0vn30,2015
|
|
18
|
+
fuzzy_dl_owl2/fuzzydl/concept/concrete/linear_concrete_concept.py,sha256=8dG1-GqUM_bovYQJ3ckJUvhoB8AUUl3frWiNmPk32vw,2020
|
|
19
|
+
fuzzy_dl_owl2/fuzzydl/concept/concrete/modified_concrete_concept.py,sha256=5PI5wwaRm31DIvOd0ayo5D20BgIUAepaD5Rkzy6lORs,2061
|
|
20
|
+
fuzzy_dl_owl2/fuzzydl/concept/concrete/right_concrete_concept.py,sha256=6017uvh53z3J8SB_ANNMmEs6kpmn1bjv43n_u_9yFbs,1997
|
|
21
|
+
fuzzy_dl_owl2/fuzzydl/concept/concrete/trapezoidal_concrete_concept.py,sha256=7UAFVMK2_phGl6H1ffphZJixcfZNid-jc-aKXZY6Dos,2638
|
|
22
|
+
fuzzy_dl_owl2/fuzzydl/concept/concrete/triangular_concrete_concept.py,sha256=-QQWFaeZ2TWC0FUmwMWkM8Rfj6Pq-EfZRyL_S67SSFw,2519
|
|
23
|
+
fuzzy_dl_owl2/fuzzydl/concept/ext_threshold_concept.py,sha256=oKJwK9tIuYAxmJxLv7EqMEEUDXfiNYyG3FUzbOGiKBA,2642
|
|
24
|
+
fuzzy_dl_owl2/fuzzydl/concept/has_value_concept.py,sha256=-NsRiaTzh4D1H7P9ZRmIRtvew0wZ_2DQiD7ptSecGB0,1595
|
|
25
|
+
fuzzy_dl_owl2/fuzzydl/concept/implies_concept.py,sha256=jEREWHzWKPPNBTvurxcxl8muEmJEIhOYc1WRIeZVtAk,5184
|
|
26
|
+
fuzzy_dl_owl2/fuzzydl/concept/interface/__init__.py,sha256=Nj9tp2LOd06Ic_o0KUMxFT0sKGRWK_5fPn0nzS87UZM,349
|
|
27
|
+
fuzzy_dl_owl2/fuzzydl/concept/interface/has_concept_interface.py,sha256=UOgqG0mQAm20WhnuGmyVJOhYNbZW-KrUXqLHWRcJmMg,406
|
|
28
|
+
fuzzy_dl_owl2/fuzzydl/concept/interface/has_concepts_interface.py,sha256=7lHlk7OVeG-xDq92-tpWlXdTN-kJmkA6NQtAxXsxVG4,457
|
|
29
|
+
fuzzy_dl_owl2/fuzzydl/concept/interface/has_role_concept_interface.py,sha256=jJFHZ9H_32KT_87EpoHyt3A6olcaXMu43wcRt-EI8OU,502
|
|
30
|
+
fuzzy_dl_owl2/fuzzydl/concept/interface/has_role_interface.py,sha256=HEXjeQPThtg_4bbHHGq-p03JzQwGTgZ48ZTINLpBnJc,274
|
|
31
|
+
fuzzy_dl_owl2/fuzzydl/concept/interface/has_value_interface.py,sha256=1dU9qf4kJjN-J-Xxq1doXvYh1SXv4U9D87rr1GDF8_8,502
|
|
32
|
+
fuzzy_dl_owl2/fuzzydl/concept/interface/has_weighted_concepts_interface.py,sha256=lsPZkXTyqACVVTgQ4OvyIGuCka3E6w3mdjrGc1aL2O0,835
|
|
33
|
+
fuzzy_dl_owl2/fuzzydl/concept/modified/__init__.py,sha256=0gNJPOBTIThIbX3-6hNXop2cz_eUecsbYbpt_-PKq8E,180
|
|
34
|
+
fuzzy_dl_owl2/fuzzydl/concept/modified/linearly_modified_concept.py,sha256=y1VuCXkjrU89_hv9oajSbSxp8moPkrubbdim49kEL4I,1087
|
|
35
|
+
fuzzy_dl_owl2/fuzzydl/concept/modified/modified_concept.py,sha256=ixCiqjjYJ0TzWGcLYPpq_zra2S4aQqk0v3IivLL7TDw,1712
|
|
36
|
+
fuzzy_dl_owl2/fuzzydl/concept/modified/triangularly_modified_concept.py,sha256=vOfmTfffkk1qJtEwJnM8N3IkBZyrg0v68tG3yvHpZA0,1116
|
|
37
|
+
fuzzy_dl_owl2/fuzzydl/concept/negated_nominal.py,sha256=osALiI91ryAyATdVwnr4BhhK4r5ToomX8UkF_lREvQE,1246
|
|
38
|
+
fuzzy_dl_owl2/fuzzydl/concept/operator_concept.py,sha256=g7MYfJ7VELJXMFOF9FJgmrEhjHmGXMUT2ffIj1-4s1M,27252
|
|
39
|
+
fuzzy_dl_owl2/fuzzydl/concept/owa_concept.py,sha256=f3qL6qPjLrnpoXkEYwXtFZox5VAFsL1JuxhFwXGlJYo,2092
|
|
40
|
+
fuzzy_dl_owl2/fuzzydl/concept/qowa_concept.py,sha256=ykeY-iubzfHdEQiNMA3bubQnOMhJ8tiQYkCYJo7T788,2143
|
|
41
|
+
fuzzy_dl_owl2/fuzzydl/concept/quasi_sugeno_integral.py,sha256=G8lwIrkeWZNx3SdVsYx4lq_0DIlwnsSYR-OTCD4HW1Y,1629
|
|
42
|
+
fuzzy_dl_owl2/fuzzydl/concept/self_concept.py,sha256=It6gyoYnNRPjau0K1W_Q0XdYa7YgOTOmkMeCwyKB1V4,1352
|
|
43
|
+
fuzzy_dl_owl2/fuzzydl/concept/string_concept.py,sha256=ghsBgO1N1_9g1xxHyQ8UUiwd9DE1ebyX7Sw407u7zEc,950
|
|
44
|
+
fuzzy_dl_owl2/fuzzydl/concept/sugeno_integral.py,sha256=pJ4UNGs1de9dGGEHDYL8SpQWCkOouBseus47POe0-E0,2827
|
|
45
|
+
fuzzy_dl_owl2/fuzzydl/concept/threshold_concept.py,sha256=DgcqkGJncVBWq8ibvPWW3AfFt0DG6yq44DUtRm9tZJg,2678
|
|
46
|
+
fuzzy_dl_owl2/fuzzydl/concept/truth_concept.py,sha256=ck0s0djtQKvAC0O95daW0Wj-jqnv67zdbl8UrByXUHw,2414
|
|
47
|
+
fuzzy_dl_owl2/fuzzydl/concept/value_concept.py,sha256=JIrTG0cTlJV51Sj5DuOv0Dyo_LlQVhVCxNdV60UAMYE,2202
|
|
48
|
+
fuzzy_dl_owl2/fuzzydl/concept/weighted_concept.py,sha256=CU9QD1wxB83RzFCRvY5f7vW-sB6FmStLYF2AlJeoJgg,1750
|
|
49
|
+
fuzzy_dl_owl2/fuzzydl/concept/weighted_max_concept.py,sha256=sJC-llTM22k3MyIdWr2ts2yyQD0EpsIVOcrPIrm_E2U,2230
|
|
50
|
+
fuzzy_dl_owl2/fuzzydl/concept/weighted_min_concept.py,sha256=S_0spN_ijtAYNq-CuKgurVuC7J9tefXG_45BMqbGoQw,2102
|
|
51
|
+
fuzzy_dl_owl2/fuzzydl/concept/weighted_sum_concept.py,sha256=efVD_Cy60nd0is72pAjO6DnzWRsLg0q6cPvo5VwB0RU,2232
|
|
52
|
+
fuzzy_dl_owl2/fuzzydl/concept/weighted_sum_zero_concept.py,sha256=hdQUkWA_xn-fD7F3a37KCtJrgJx3gUB9qCvGcgm59-A,2253
|
|
53
|
+
fuzzy_dl_owl2/fuzzydl/concept_equivalence.py,sha256=sVzwJU0-rpDJwNG5gGjgelmqKujOPoVBsWl1ZfHDOTg,458
|
|
54
|
+
fuzzy_dl_owl2/fuzzydl/concrete_feature.py,sha256=EBw9tlIHR0FvPVQUGAekkiItqeLo94TanUkGO0t_J3A,3276
|
|
55
|
+
fuzzy_dl_owl2/fuzzydl/degree/__init__.py,sha256=dJiMu650kkRKaIbY_GHKnuF0TsiBvzvdeOe6hus8Ac4,273
|
|
56
|
+
fuzzy_dl_owl2/fuzzydl/degree/degree.py,sha256=NelWpfw7UeCjc713m6tINo_fTyDMwdvVJbV0F11eTO8,1859
|
|
57
|
+
fuzzy_dl_owl2/fuzzydl/degree/degree_expression.py,sha256=hfXdvJL4z0115xfLcKuFU32cAZtCqERv9kKQbZp-9DA,1597
|
|
58
|
+
fuzzy_dl_owl2/fuzzydl/degree/degree_numeric.py,sha256=DCIFPxZxQQKYtW17jp2u087l0G7fMOjbUHH3pwMT1yk,1679
|
|
59
|
+
fuzzy_dl_owl2/fuzzydl/degree/degree_variable.py,sha256=UUXYvqEKpx4b0hAPvfapry-S2vhNeLBPyMbfopLPdhQ,1753
|
|
60
|
+
fuzzy_dl_owl2/fuzzydl/domain_axiom.py,sha256=qPjeqmA7zQt6VT-bLtT82F74fiORPegQytdx-oZIHOc,211
|
|
61
|
+
fuzzy_dl_owl2/fuzzydl/exception/__init__.py,sha256=IoYY5IQoU4UYyoB-dFOVLZyDvJN20kgZVBqWkF6J30w,135
|
|
62
|
+
fuzzy_dl_owl2/fuzzydl/exception/fuzzy_ontology_exception.py,sha256=eH1ybBCx1QoZaf8PLCq1rC_3tiBRA-gKCwECTcUUuro,122
|
|
63
|
+
fuzzy_dl_owl2/fuzzydl/exception/inconsistent_ontology_exception.py,sha256=ez0RQN4KGlNRcfB7IXfPz3bM86CFLl6zo-RRTBRpa_o,129
|
|
64
|
+
fuzzy_dl_owl2/fuzzydl/feature_function.py,sha256=MXN8rU5moY4dWfXlfEAokEiWl_dpmcyY6OZOSN_-RaI,5898
|
|
65
|
+
fuzzy_dl_owl2/fuzzydl/fuzzydl_to_owl2.py,sha256=6W8RA5LZ-Y2XOuA_yGlDzP1Xot4WsBprTSBVPOouS14,44978
|
|
66
|
+
fuzzy_dl_owl2/fuzzydl/fuzzydl_to_owl2_java.py,sha256=Lo5Jh8NLTyIhzurAczMBxOyQIFCiyDixx7cUDfbTI1Q,45091
|
|
67
|
+
fuzzy_dl_owl2/fuzzydl/general_concept_inclusion.py,sha256=Noom35WAeJosPrliGd9_gvEtcK4BthazsSuZH-cxfyU,2380
|
|
68
|
+
fuzzy_dl_owl2/fuzzydl/individual/__init__.py,sha256=zBCa24kE2nv08VgtphjLshpbGNEARUJgCdtyv9r6JGc,110
|
|
69
|
+
fuzzy_dl_owl2/fuzzydl/individual/created_individual.py,sha256=HOo_UXjPPPtm7B0a7k90kE1veuR9gOCK5hp2f_aaJnY,7653
|
|
70
|
+
fuzzy_dl_owl2/fuzzydl/individual/individual.py,sha256=FgtOmJwkPUKIOr-o8a1NqHepL-sN5fGe314e895DHYg,3846
|
|
71
|
+
fuzzy_dl_owl2/fuzzydl/individual/representative_individual.py,sha256=C5ZG43Xy0Iz71S5IYPzaBGeT-fWIqQGpg85DPgU1NjM,1070
|
|
72
|
+
fuzzy_dl_owl2/fuzzydl/knowledge_base.py,sha256=E-TSCwwM29LMH_nhyKJZDvMfX4c79FNC_JfnFmB7EGg,381384
|
|
73
|
+
fuzzy_dl_owl2/fuzzydl/label.py,sha256=KD39rTIlg0XhDJSVqNC6t0Pu60MVfO8xNGSjrcJFtD0,1023
|
|
74
|
+
fuzzy_dl_owl2/fuzzydl/milp/__init__.py,sha256=g2oFT2Ge8W5Li2kP2CJjpjJ1a0PRI2vDoDdzYDsEtDY,246
|
|
75
|
+
fuzzy_dl_owl2/fuzzydl/milp/expression.py,sha256=uZq4erpPO0ryh6uMlAPMzSFUrU3M_rDvZ75uU1PCIB4,6102
|
|
76
|
+
fuzzy_dl_owl2/fuzzydl/milp/inequation.py,sha256=dQhRXj7xQm6021bUV58WPNnxH7EqsonPrWOCoCBqR5A,1631
|
|
77
|
+
fuzzy_dl_owl2/fuzzydl/milp/milp_helper.py,sha256=65u7acdBJDPKVXiwDsvfCjDqiMs0r2BnBCqy2_uHXr4,30330
|
|
78
|
+
fuzzy_dl_owl2/fuzzydl/milp/show_variables_helper.py,sha256=7y-lfhoERoE8qNSMr0cq_-Ezo46BGsNszp44YSVWA2A,5754
|
|
79
|
+
fuzzy_dl_owl2/fuzzydl/milp/solution.py,sha256=suoE1F2XORwzP4pNm-6Ivf6eK5Z98KFxFUdarh1CjQk,1210
|
|
80
|
+
fuzzy_dl_owl2/fuzzydl/milp/term.py,sha256=IDnmmpXIgewY9NkPwM1YFzkcp21umo4ZoPBzAhGdn8Q,2202
|
|
81
|
+
fuzzy_dl_owl2/fuzzydl/milp/variable.py,sha256=RdxRHAXS5_zKFhqt1lysPlL6qm1rWS7mRZvwxsdmJi8,2662
|
|
82
|
+
fuzzy_dl_owl2/fuzzydl/modifier/__init__.py,sha256=mgJml-9PVs566EYpwBxfmmiw8oPXiSgJRUyIX9hiSNA,126
|
|
83
|
+
fuzzy_dl_owl2/fuzzydl/modifier/linear_modifier.py,sha256=Rn6q4ytIdTiCI-TRZIK5qjWSA4K3q78fYSrYxlQklVc,2022
|
|
84
|
+
fuzzy_dl_owl2/fuzzydl/modifier/modifier.py,sha256=K1QG_i0eePq49RqyPsOCYRKonmD1QFzE0WwyxOBnymo,816
|
|
85
|
+
fuzzy_dl_owl2/fuzzydl/modifier/triangular_modifier.py,sha256=MAfQ0w91tc1fw0FCdxHyt-RHXoRKo8GOfwBqDoCpUVc,2115
|
|
86
|
+
fuzzy_dl_owl2/fuzzydl/parser/ParserConstants.py,sha256=bGJjHMvN1w78uhs3M7rDWrIcacUrcK7BOKpQb97trgw,7628
|
|
87
|
+
fuzzy_dl_owl2/fuzzydl/parser/__init__.py,sha256=vs0cN8a1ATeFx1J4evw6k7mWe4zOvba_xMO2eBXZ_gc,32
|
|
88
|
+
fuzzy_dl_owl2/fuzzydl/parser/dl_parser.py,sha256=aJ8VfiAyfHLslKZCKtht4nu8izv7tE40v4Nw4C1VWCs,81810
|
|
89
|
+
fuzzy_dl_owl2/fuzzydl/parser/ebnf.lark,sha256=4ZIsyczm9Xfx0VvIGWlGbbc0xPN-H1tsN946bhJvfkY,14524
|
|
90
|
+
fuzzy_dl_owl2/fuzzydl/parser/larkx.py,sha256=q6opkO8Bqh9_yKSoMY1wfVT-Vcc2v4M-mkQo43qb1kQ,1439
|
|
91
|
+
fuzzy_dl_owl2/fuzzydl/primitive_concept_definition.py,sha256=jQxEqwqt-VuP58i90gfzcOge-rI3BC9zvqXJgUA7eno,2331
|
|
92
|
+
fuzzy_dl_owl2/fuzzydl/query/__init__.py,sha256=4952zUtxF3VDI4TWDkpYdayP71DSowCsJzYAc_fOyGY,405
|
|
93
|
+
fuzzy_dl_owl2/fuzzydl/query/all_instances_query.py,sha256=IgCmHvYMiEW3MWSt-IOr42KXwz-hgCGCC6beSt-lgLM,1867
|
|
94
|
+
fuzzy_dl_owl2/fuzzydl/query/bnp_query.py,sha256=4yosQ3C3sCGOprO4BzZfKwy6_RYggUVl-LYZs9frBMg,743
|
|
95
|
+
fuzzy_dl_owl2/fuzzydl/query/defuzzify/__init__.py,sha256=fUbdT9Q0-5c-ArHS1yxLYuf00NCHyoUPSrjpeBQ25iU,197
|
|
96
|
+
fuzzy_dl_owl2/fuzzydl/query/defuzzify/defuzzify_query.py,sha256=imIHtQ6tHaKas05C4UzavOdw-FeBx716dydBiGK4o8Y,3008
|
|
97
|
+
fuzzy_dl_owl2/fuzzydl/query/defuzzify/lom_defuzzify_query.py,sha256=u9R2x8WtD9eyrYRD398qop83A-bI9TrIxPDztAsHmFQ,833
|
|
98
|
+
fuzzy_dl_owl2/fuzzydl/query/defuzzify/mom_defuzzify_query.py,sha256=U6OVNiTXJHeaizBaHe6tf-_FGDMj6No_qdhoaIp9cN8,3785
|
|
99
|
+
fuzzy_dl_owl2/fuzzydl/query/defuzzify/som_defuzzify_query.py,sha256=7ktMy78qq42lKzt5cTiCXlhPII-E9EANBowkxAkQnSQ,808
|
|
100
|
+
fuzzy_dl_owl2/fuzzydl/query/instance_query.py,sha256=5loSVw5NvTJXN0RC7lDWyVR0GEzagSp3Ts_MhF8WQvE,682
|
|
101
|
+
fuzzy_dl_owl2/fuzzydl/query/kb_satisfiable_query.py,sha256=78tEbsDyCrvrNKV0wCAmPc0nPL-MaPQIVC0J1OHjFE4,1086
|
|
102
|
+
fuzzy_dl_owl2/fuzzydl/query/max/__init__.py,sha256=QOmfjUFf6jAoMHWLIPLG0iM6Yx8Jzlrd3iy9f7bTJ68,232
|
|
103
|
+
fuzzy_dl_owl2/fuzzydl/query/max/max_instance_query.py,sha256=scGaABi4Toz2KQ12dOiS6iNpOZ0TtMUV_q8heDlKUPk,1802
|
|
104
|
+
fuzzy_dl_owl2/fuzzydl/query/max/max_query.py,sha256=-hy67UKIFN8mVC7nEuSMAWfQ4BqaBFzMi35M9uiMpoc,1040
|
|
105
|
+
fuzzy_dl_owl2/fuzzydl/query/max/max_related_query.py,sha256=lyj02Cew5HXoVcg_xCNqLb8WFh0iWC9gvv1y4jJ0cmQ,1894
|
|
106
|
+
fuzzy_dl_owl2/fuzzydl/query/max/max_satisfiable_query.py,sha256=ZmeAu-mCQW9SitkJz6Wi8hizYCMKJmcDnv9WpDXckAg,2905
|
|
107
|
+
fuzzy_dl_owl2/fuzzydl/query/max/max_subsumes_query.py,sha256=RvNPQH6Kod5cmyKFHkrfBAWu6MHck7QE-MAYryXrdP4,2803
|
|
108
|
+
fuzzy_dl_owl2/fuzzydl/query/min/__init__.py,sha256=tV1ZjZqBZum5c9w3bJ14oLnFsXtXGvKNVic7MtbdRxE,231
|
|
109
|
+
fuzzy_dl_owl2/fuzzydl/query/min/min_instance_query.py,sha256=8TZKQZQcLsbMUFFUwLZbypspNomFlvr4pVfdiw7W2Jk,1955
|
|
110
|
+
fuzzy_dl_owl2/fuzzydl/query/min/min_query.py,sha256=xM5y9w9Q3ejiRZ-uqvuD6krACGRPRyNnaHVQy0JzAhc,996
|
|
111
|
+
fuzzy_dl_owl2/fuzzydl/query/min/min_related_query.py,sha256=PMstZFTXN1VsKXMs6HXb3f3AvOV7RhE7HdGZGfJ0ezM,2263
|
|
112
|
+
fuzzy_dl_owl2/fuzzydl/query/min/min_satisfiable_query.py,sha256=kF-MlpBE74OYT3tv69dThuI9GD6AH85hFXPcm9xePtI,3081
|
|
113
|
+
fuzzy_dl_owl2/fuzzydl/query/min/min_subsumes_query.py,sha256=tqueYtIYtTbJWVuK_XalK7d8CE07oG-0vkQDj40PjWo,2805
|
|
114
|
+
fuzzy_dl_owl2/fuzzydl/query/query.py,sha256=N0Fd6SdHipTNstyfJ-O-d9b4ZWhefGAwgQVwdU_oMe8,1063
|
|
115
|
+
fuzzy_dl_owl2/fuzzydl/query/related_query.py,sha256=fLuUcJr6FoX6ChS2fSR7S9eze02otdWuqWTAcAEABeU,450
|
|
116
|
+
fuzzy_dl_owl2/fuzzydl/query/satisfiable_query.py,sha256=dZ--DKOplSI9Cv72UtRYpRbJpetkmk5HMToOA4RZBZw,1231
|
|
117
|
+
fuzzy_dl_owl2/fuzzydl/query/subsumption_query.py,sha256=cs8VHVikwbGWd80OCO9NhBlP2_TySGXho1Qf82z8Uvw,785
|
|
118
|
+
fuzzy_dl_owl2/fuzzydl/range_axiom.py,sha256=BU7LKQdM3_xP44fswYFQc3CSjJ9UyWalGBDwZEXe7H4,209
|
|
119
|
+
fuzzy_dl_owl2/fuzzydl/relation.py,sha256=K8a19LrFeRTtH7mCcLzeQKfLVMTYU8SBhLUS6xGFZzw,1330
|
|
120
|
+
fuzzy_dl_owl2/fuzzydl/restriction/__init__.py,sha256=rpjzuQK3xxYYA3WeXFDdIK9tXbUPPtWp5R_vZSCQbps,92
|
|
121
|
+
fuzzy_dl_owl2/fuzzydl/restriction/has_value_restriction.py,sha256=DL-50TlD289OXVEEh_tK9Cu0ceP0ANmH-Q3k0oRe5ok,554
|
|
122
|
+
fuzzy_dl_owl2/fuzzydl/restriction/restriction.py,sha256=SyeFvaJeKcTe750eAbLoAVYkWTK_UjdqWr2Lw8OF1S0,948
|
|
123
|
+
fuzzy_dl_owl2/fuzzydl/role_parent_with_degree.py,sha256=1J5dtlVbiascxHBwAJ7uc97IHnJke9RWqxq5rgrrkoA,282
|
|
124
|
+
fuzzy_dl_owl2/fuzzydl/util/__init__.py,sha256=44tug6cK4CwfOR865-q1FOVN34TEDzfLlaevh5YMiGo,84
|
|
125
|
+
fuzzy_dl_owl2/fuzzydl/util/config_reader.py,sha256=TQyWZ1EMqS8WteJfHUqQG-aloyxaZ7TJd32ox1k_0CU,2063
|
|
126
|
+
fuzzy_dl_owl2/fuzzydl/util/constants.py,sha256=PV6fSOk8rrVJ_7qnZ9xFCcjBxXpMH3mvHN83XpNaH4I,12749
|
|
127
|
+
fuzzy_dl_owl2/fuzzydl/util/util.py,sha256=5COC79TAJz8fNrRzXLbNpAT9rLd_0KrRI1OU-hob3oU,1903
|
|
128
|
+
fuzzy_dl_owl2/fuzzyowl2/__init__.py,sha256=C44P0-Sn35FQdVMqYLzeDWa5qPmokbcs8GPiD_zQaSg,153
|
|
129
|
+
fuzzy_dl_owl2/fuzzyowl2/fuzzyowl2.py,sha256=xe98T3nowcOK2VJ6gZpJqTxwH0qhLzdQz3yeJbKzdJU,71313
|
|
130
|
+
fuzzy_dl_owl2/fuzzyowl2/fuzzyowl2_java.py,sha256=doOKO57CflVr3z2t_H5flZ6pP8rf6AMJ9dsm3DAHBAw,64476
|
|
131
|
+
fuzzy_dl_owl2/fuzzyowl2/fuzzyowl2_to_fuzzydl.py,sha256=yWMhk3mpAmGfLSg6buEo8pC2G-Jczy1pgiy3riaZsZY,37033
|
|
132
|
+
fuzzy_dl_owl2/fuzzyowl2/fuzzyowl2_to_fuzzydl_java.py,sha256=m7jHxW6zi0Nn1apJ8vsoibboFl4wvfDfbxVXC5phvM4,38171
|
|
133
|
+
fuzzy_dl_owl2/fuzzyowl2/owl_types/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
|
|
134
|
+
fuzzy_dl_owl2/fuzzyowl2/owl_types/choquet_concept.py,sha256=ymnyNfvkvWA3y2UMXyPviD0U98vJ6jrX6zddj09SUoI,671
|
|
135
|
+
fuzzy_dl_owl2/fuzzyowl2/owl_types/concept_definition.py,sha256=d5ZsEX8NN-aYJohXGzeJFhrnufCJ6AZ1YLGiclwysDc,324
|
|
136
|
+
fuzzy_dl_owl2/fuzzyowl2/owl_types/fuzzy_datatype.py,sha256=hgwLDROjJjevl8IUxRMSw1s_HX0Ooww3MaXYrwvF7n4,464
|
|
137
|
+
fuzzy_dl_owl2/fuzzyowl2/owl_types/fuzzy_modifier.py,sha256=LOqjKDz6_Gi0vXzz9oKagSBnlHqUS_PDwIFYFbb6ne0,50
|
|
138
|
+
fuzzy_dl_owl2/fuzzyowl2/owl_types/fuzzy_nominal_concept.py,sha256=reEvK6IS-rerO5wnIUWNg49mohh5irAEQ0teopztjMo,565
|
|
139
|
+
fuzzy_dl_owl2/fuzzyowl2/owl_types/fuzzy_property.py,sha256=AK_L-JtEwTN_gjmDRnY5i4i3w7lGDVtT4Ba7ryVPz38,52
|
|
140
|
+
fuzzy_dl_owl2/fuzzyowl2/owl_types/left_shoulder_function.py,sha256=xeiJGisZSwWbHp4a9indXmu-IOJsR-qMDYLBzw2c1UI,470
|
|
141
|
+
fuzzy_dl_owl2/fuzzyowl2/owl_types/linear_function.py,sha256=3MZR09E0AhUTEHQZY_RUpucYqIBZPiP84rBj4EMQOyo,457
|
|
142
|
+
fuzzy_dl_owl2/fuzzyowl2/owl_types/linear_modifier.py,sha256=CIm4rlSuvcI9dqLscASFHexjHKcJ06Wg3fZy__tw7H4,340
|
|
143
|
+
fuzzy_dl_owl2/fuzzyowl2/owl_types/modified_concept.py,sha256=JdjSemKb-mnVtVQhHnk_OAU8cvB3YRRmmEF0DLrtdXk,555
|
|
144
|
+
fuzzy_dl_owl2/fuzzyowl2/owl_types/modified_function.py,sha256=3_GFKWMU4YrPrMC7bhEm7GDUKtCko8H5wx2dpGdXGZc,428
|
|
145
|
+
fuzzy_dl_owl2/fuzzyowl2/owl_types/modified_property.py,sha256=uA7PlBGCbHcrjqYHIDWgsIvI_x3dpzTEJKtEfNRivwA,384
|
|
146
|
+
fuzzy_dl_owl2/fuzzyowl2/owl_types/owa_concept.py,sha256=rQNp8zSQ-tQYwcJsc3sCVhG1chtZ7Ev1MumSBOPbOwI,659
|
|
147
|
+
fuzzy_dl_owl2/fuzzyowl2/owl_types/property_definition.py,sha256=5NZd22GcaPQKCrIZwCGzPgx1M5h41A3tH9qKI_m2WVc,268
|
|
148
|
+
fuzzy_dl_owl2/fuzzyowl2/owl_types/qowa_concept.py,sha256=yfErtkNIWWW-QUgA4T6F7tL-sCPC0GXYYkR2xT8LHKk,598
|
|
149
|
+
fuzzy_dl_owl2/fuzzyowl2/owl_types/quasi_sugeno_concept.py,sha256=Ka101yPtThieb7ZYo6we-3fJsG-XwtABmcmad9nyais,701
|
|
150
|
+
fuzzy_dl_owl2/fuzzyowl2/owl_types/right_shoulder_function.py,sha256=_gz1gQ3hWDgl6hQK_OM5-uprQoanhgNr6xSRix4Vpto,472
|
|
151
|
+
fuzzy_dl_owl2/fuzzyowl2/owl_types/sugeno_concept.py,sha256=wFCmrArMKpPO_wYFKlfndP4EuVW6um3pWzg11Q6XpJk,692
|
|
152
|
+
fuzzy_dl_owl2/fuzzyowl2/owl_types/trapezoidal_function.py,sha256=l3KRs7ACesW9MM8xGRG74XQUraRAzHrXsIWyeQ3FYuw,671
|
|
153
|
+
fuzzy_dl_owl2/fuzzyowl2/owl_types/triangular_function.py,sha256=gteNPNUnUheMpNEKnr6t88Lxe5p_ust-oeDrLU51Au4,567
|
|
154
|
+
fuzzy_dl_owl2/fuzzyowl2/owl_types/triangular_modifer.py,sha256=Z7Tc3bDbU9U_LXUGnrdugGHa2PQ81qN91NbQAdaWbXo,552
|
|
155
|
+
fuzzy_dl_owl2/fuzzyowl2/owl_types/weighted_concept.py,sha256=sd_KYs0__df_Zv1P6KGU1oTvz4zi5Y2UyyfF57vYru0,542
|
|
156
|
+
fuzzy_dl_owl2/fuzzyowl2/owl_types/weighted_max_concept.py,sha256=NEIshfx9h4XyvfOOA3pKMGE5dkDWofujnn2LTNg7SNo,510
|
|
157
|
+
fuzzy_dl_owl2/fuzzyowl2/owl_types/weighted_min_concept.py,sha256=_sEao87lwH2fKspVR_NrpilFwuI6g25E1mNDI55dtYk,510
|
|
158
|
+
fuzzy_dl_owl2/fuzzyowl2/owl_types/weighted_sum_concept.py,sha256=TrX3-M-LrG-5XgEo6LY8JESZpYwcaIX4rOCU8wfWE4k,510
|
|
159
|
+
fuzzy_dl_owl2/fuzzyowl2/owl_types/weighted_sum_zero_concept.py,sha256=OJW8-ZJXvYTFHrqC8hpVBTY6SwLCTTIe72MSAO3H7hk,524
|
|
160
|
+
fuzzy_dl_owl2/fuzzyowl2/parser/__init__.py,sha256=fKaME_uuWyG5UB7VKD-nMV-j95lC1jWV6E6vD59yM4M,27
|
|
161
|
+
fuzzy_dl_owl2/fuzzyowl2/parser/owl2_parser.py,sha256=5eGyRbYUQNH5ZTKCjsOYOsw9Ode4lUl8eUNK4jQGZSs,19683
|
|
162
|
+
fuzzy_dl_owl2/fuzzyowl2/util/__init__.py,sha256=81quoggCuIypZjZs3bbf1Ty70KHdva5RGEJxi0oC57E,25
|
|
163
|
+
fuzzy_dl_owl2/fuzzyowl2/util/constants.py,sha256=05eQLYTB4CxxUZ_T-sNG9FsH8hkrBMAh2y24oiQN8xY,3904
|
|
164
|
+
fuzzy_dl_owl2-1.0.0.dist-info/LICENSE,sha256=er4Z7Ju3OzYUG5mbhh0krYVegIuv4PgehMzihVb2wpc,20131
|
|
165
|
+
fuzzy_dl_owl2-1.0.0.dist-info/METADATA,sha256=xz5Hw6uwVNJh-7hb4_xq1VOxUbUFJNT1agINRn5ImIc,11235
|
|
166
|
+
fuzzy_dl_owl2-1.0.0.dist-info/WHEEL,sha256=b4K_helf-jlQoXBBETfwnf4B04YC67LOev0jo4fX5m8,88
|
|
167
|
+
fuzzy_dl_owl2-1.0.0.dist-info/RECORD,,
|