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

fuzzy_dl_owl2/fuzzydl/query/defuzzify/mom_defuzzify_query.py

@@ -41,6 +41,7 @@ class MomDefuzzifyQuery(DefuzzifyQuery):
             if not s.is_consistent_kb():
                 return s
             d: float = s.get_solution()
+            # LOM
             cloned: KnowledgeBase = kb.clone()
             ind: Individual = cloned.individuals.get(str(self.a))
             cloned.set_dynamic_blocking()
@@ -62,24 +63,30 @@ class MomDefuzzifyQuery(DefuzzifyQuery):
             return None
 
         try:
-            self.ob_expr: Expression = Expression(Term(-1.0, q))
-            sol1: Solution = cloned.optimize(self.obj_expr)
+            obj_expr: Expression = Expression(Term(-1.0, q))
+            sol1: Solution = cloned.optimize(obj_expr)
             if sol1.get_solution() < 0.0:
-                sol1 = Solution(-sol1.get_solution())
-            self.obj_expr: Expression = Expression(Term(1.0, q))
-            sol2: Solution = cloned.optimize(self.obj_expr)
+                sol1 = Solution(sol1.get_solution())
+
+            # SOM
+            obj_expr: Expression = Expression(Term(1.0, q))
+            sol2: Solution = cloned.optimize(obj_expr)
             if sol2.get_solution() < 0.0:
-                sol2 = Solution(-sol2.get_solution())
+                sol2 = Solution(sol2.get_solution())
+
+            # MOM
             if sol1.is_consistent_kb() and sol2.is_consistent_kb():
                 value = (sol1.get_solution() + sol2.get_solution()) / 2.0
                 kb.milp.print_instance_of_labels(self.f_name, str(self.a), value)
                 return Solution(value)
+
+            # Returns an inconsistent KB solution
             return sol1
         except FuzzyOntologyException as e:
             traceback.print_exc()
         except InconsistentOntologyException as e:
             traceback.print_exc()
-        return None
+        return Solution(False)
 
     def get_obj_expression(self, variable: Variable) -> Expression:
         return Expression(Term(-1.0, variable))

fuzzy_dl_owl2/fuzzydl/query/min/min_subsumes_query.py

@@ -30,9 +30,9 @@ class MinSubsumesQuery(SubsumptionQuery):
             conc: Concept = OperatorConcept.lukasiewicz_or(-self.c2, self.c1)
         elif self.type == LogicOperatorType.GOEDEL:
             conc: Concept = ImpliesConcept.goedel_implies(self.c2, self.c1)
-        elif self.type == LogicOperatorType.KLEENE_DIENES:
+        elif self.type == LogicOperatorType.ZADEH:
             conc: Concept = ImpliesConcept.zadeh_implies(self.c2, self.c1)
-        else:  # LogicOperatorType.ZADEH
+        else:  # LogicOperatorType.KLEENE_DIENES
             conc: Concept = OperatorConcept.goedel_or(-self.c2, self.c1)
 
         q: Variable = kb.milp.get_new_variable(VariableType.SEMI_CONTINUOUS)

fuzzy_dl_owl2/fuzzydl/util/config_reader.py

@@ -14,8 +14,6 @@ class ConfigReader:
     NUMBER_DIGITS: int = 2
     OPTIMIZATIONS: int = 1
     RULE_ACYCLIC_TBOXES: bool = True
-    SHOW_VERSION: bool = False
-    AUTHOR: bool = False
 
     @staticmethod
     def load_parameters(config_file: str, args: list[str]) -> None:
@@ -42,14 +40,10 @@ class ConfigReader:
             ConfigReader.NUMBER_DIGITS = int(
                 round(abs(math.log10(ConfigReader.EPSILON) - 1.0))
             )
-            ConfigReader.SHOW_VERSION = config.getboolean("DEFAULT", "showVersion")
 
             if ConfigReader.DEBUG_PRINT:
                 print(f"Debugging mode = {ConfigReader.DEBUG_PRINT}")
 
-            if config.getboolean("DEFAULT", "author"):
-                print("Author of python-fuzzyDL: Giuseppe Filippone")
-
         except FileNotFoundError:
             print(f"Error: File {config_file} not found.")
         except Exception as e:

fuzzy_dl_owl2/fuzzydl/util/constants.py

@@ -1,4 +1,3 @@
-import collections.abc
 import enum
 import os
 import re
@@ -362,12 +361,12 @@ class FuzzyDLKeyword(enum.Enum):
     LUKASIEWICZ = pp.CaselessKeyword("lukasiewicz")
     ZADEH = pp.CaselessKeyword("zadeh")
     CLASSICAL = pp.CaselessKeyword("classical")
-    SUM = pp.CaselessKeyword("+")
-    SUB = pp.CaselessKeyword("-")
-    MUL = pp.CaselessKeyword("*")
-    LESS_THAN_OR_EQUAL_TO = pp.CaselessKeyword("<=")
-    GREATER_THAN_OR_EQUAL_TO = pp.CaselessKeyword(">=")
-    EQUALS = pp.CaselessKeyword("=")
+    SUM = pp.Literal("+")
+    SUB = pp.Literal("-")
+    MUL = pp.Literal("*")
+    LESS_THAN_OR_EQUAL_TO = pp.Literal("<=")
+    GREATER_THAN_OR_EQUAL_TO = pp.Literal(">=")
+    EQUALS = pp.Literal("=")
     STRING = pp.CaselessKeyword("*string*")
     BOOLEAN = pp.CaselessKeyword("*boolean*")
     INTEGER = pp.CaselessKeyword("*integer*")
@@ -376,7 +375,7 @@ class FuzzyDLKeyword(enum.Enum):
     def get_name(self) -> str:
         return re.sub(r"[\"\']+", "", self.value.name.lower())
 
-    def get_value(self) -> pp.CaselessKeyword:
+    def get_value(self) -> typing.Union[pp.CaselessKeyword, pp.Literal]:
         return self.value
 
     def __eq__(self, value: object) -> bool:
@@ -384,6 +383,8 @@ class FuzzyDLKeyword(enum.Enum):
             return self.get_name() == value.lower()
         elif isinstance(value, pp.CaselessKeyword):
             return self.get_name() == value.name.lower()
+        elif isinstance(value, pp.Literal):
+            return self.get_name() == value.name.lower()
         elif isinstance(value, FuzzyDLKeyword):
             return self.get_name() == value.get_name()
         raise NotImplementedError
@@ -419,6 +420,6 @@ class FuzzyLogic(enum.StrEnum):
         return self.value
 
 
-KNOWLEDGE_BASE_SEMANTICS = FuzzyLogic.CLASSICAL
+KNOWLEDGE_BASE_SEMANTICS: FuzzyLogic = FuzzyLogic.CLASSICAL
 MAXVAL: float = 2.147483647e12
 MAXVAL2: float = MAXVAL * 2

fuzzy_dl_owl2/fuzzydl/util/utils.py

@@ -1,18 +1,59 @@
-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
 
+FULL_CLASS_DEBUG_PRINT: bool = False
+
+
+def debugging_wrapper(cls, func):
+    """
+    Debugging wrapper that prints before and after the method call.
+    """
+
+    is_static: bool = False
+    try:
+        is_static = isinstance(inspect.getattr_static(cls, func.__name__), staticmethod)
+    except:
+        pass
+
+    @functools.wraps(func)
+    def wrapped(*args, **kwargs):
+        Util.debug(
+            f"\t\t\t>>>>Entering {cls.__name__}:{func.__name__} with args={args if is_static else args[1:]}, kwargs={kwargs}"
+        )
+        result = func(*args, **kwargs)
+        Util.debug(
+            f"\t\t\t<<<<Leaving {cls.__name__}:{func.__name__} returned {result}"
+        )
+        return result
+
+    return wrapped
+
+
+def class_debugging():
+    """
+    Decorator to wrap all methods of a class using debugging_wrapper.
+    """
+
+    def class_decorator(cls):
+        if FULL_CLASS_DEBUG_PRINT:
+            for attr_name in dir(cls):
+                attr = getattr(cls, attr_name)
+                # Only wrap instance methods
+                if isinstance(attr, types.FunctionType):
+                    # Wrap the method
+                    wrapped_method = debugging_wrapper(cls, attr)
+                    setattr(cls, attr_name, wrapped_method)
+        return cls
+
+    return class_decorator
+
+
 def recursion_unlimited(func: typing.Callable):
     module: types.ModuleType = inspect.getmodule(func)
 
@@ -35,4 +76,4 @@ def recursion_unlimited(func: typing.Callable):
         sys.setrecursionlimit(orig_n)
         return result
 
-    return wrapper
+    return wrapper

fuzzy_dl_owl2/fuzzyowl2/fuzzyowl2.py

@@ -430,7 +430,7 @@ class FuzzyOwl2(object):
         Util.debug(f"Annotation for degree -> {annotation_str}")
         deg: float = FuzzyOwl2Parser.parse_string(annotation_str)[0]
         Util.debug(f"Degree for axiom -> {deg}")
-        if not isinstance(deg, float):
+        if not isinstance(deg, constants.NUMBER):
             raise ValueError
         return deg
 

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

@@ -1,7 +1,7 @@
 Metadata-Version: 2.3
 Name: fuzzy-dl-owl2
-Version: 1.0.2
-Summary: 
+Version: 1.0.3
+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
 Author: Giuseppe Filippone
 Author-email: filipponegiuseppe94@gmail.com
@@ -66,7 +66,7 @@ The directory `dl-examples` contains a few examples of Knowledge Bases written u
 
 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. 
+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
@@ -81,8 +81,6 @@ debugPrint = False
 relaxMilp = False
 epsilon = 0.001
 maxIndividuals = -1
-showVersion = False
-author = False
 ```
 
 | Configuration Variable | Description                       |
@@ -91,8 +89,6 @@ author = False
 | 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 |
 
 ⸻
 
@@ -329,6 +325,12 @@ fuzzy_dl_owl2
     └── util
         └── constants.py
 ```
+⸻
+
+# 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.
 
 ⸻
 

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

@@ -5,7 +5,7 @@ fuzzy_dl_owl2/fuzzydl/assertion/assertion.py,sha256=yk_yjbl6hnpJQDmjEK9EngoHaQah
 fuzzy_dl_owl2/fuzzydl/assertion/atomic_assertion.py,sha256=HfXKJwvEuHPvUVgPo-FlFo7JPPF7IOxg-3EQ2SIUuUs,506
 fuzzy_dl_owl2/fuzzydl/concept/__init__.py,sha256=ydLPXNhHQD0fvwXiCN9tJL67DB04PJFqeDRZD3I1Lgs,557
 fuzzy_dl_owl2/fuzzydl/concept/all_some_concept.py,sha256=dWnzEJNpChFuTowDLQ-_KBzgnMDsWGDxBgSlVcseDqE,2917
-fuzzy_dl_owl2/fuzzydl/concept/approximation_concept.py,sha256=bviAGedhVowsD81oHDm-Fszry3AlpvL9ozXP_aySOiw,5769
+fuzzy_dl_owl2/fuzzydl/concept/approximation_concept.py,sha256=bxDO7rRNrRwoyv21Y6zs-7eytlD3LuZgrjedMP-ED90,6959
 fuzzy_dl_owl2/fuzzydl/concept/atomic_concept.py,sha256=vBOMkv8BuWa6EfRqQlYNZNfBCRM87omMdx0qcZsLTCQ,2648
 fuzzy_dl_owl2/fuzzydl/concept/choquet_integral.py,sha256=_3LJbQe2M1JEoscdiIPbEAixTwdd9JwEAWCmPtDNKy4,2268
 fuzzy_dl_owl2/fuzzydl/concept/concept.py,sha256=kqXDQ9JL5pl2im968Q0oK_FejJwuJlxC0GkDVkz1L3E,6318
@@ -13,16 +13,16 @@ fuzzy_dl_owl2/fuzzydl/concept/concrete/__init__.py,sha256=YFVyrRW4GuPReSC3aF5sAv
 fuzzy_dl_owl2/fuzzydl/concept/concrete/crisp_concrete_concept.py,sha256=QcJryH21vuontpw9TU_xDj9fYTk98U5PQehEuzhksKk,1607
 fuzzy_dl_owl2/fuzzydl/concept/concrete/fuzzy_concrete_concept.py,sha256=0930RSmc_PhPj8ZoPqixuf8lYy20L-Uu2QEnZROQ_4c,1596
 fuzzy_dl_owl2/fuzzydl/concept/concrete/fuzzy_number/__init__.py,sha256=n3F1MfKTr3C-ST1yiRDKdw_b6adqWNQqp26JlPL76KI,58
-fuzzy_dl_owl2/fuzzydl/concept/concrete/fuzzy_number/triangular_fuzzy_number.py,sha256=e0qNd77OkPESAc91KFIG5KauL3lR-IKY606AHzvCmg8,4164
+fuzzy_dl_owl2/fuzzydl/concept/concrete/fuzzy_number/triangular_fuzzy_number.py,sha256=EFEGZKw85LldrddAKJuyU4Dcc2g3iblVp96d9cjT6BI,4212
 fuzzy_dl_owl2/fuzzydl/concept/concrete/left_concrete_concept.py,sha256=YDwk434lYo2RoRbmjr5T5knHLPxZpKOFxse4gQ0vn30,2015
 fuzzy_dl_owl2/fuzzydl/concept/concrete/linear_concrete_concept.py,sha256=8dG1-GqUM_bovYQJ3ckJUvhoB8AUUl3frWiNmPk32vw,2020
 fuzzy_dl_owl2/fuzzydl/concept/concrete/modified_concrete_concept.py,sha256=5PI5wwaRm31DIvOd0ayo5D20BgIUAepaD5Rkzy6lORs,2061
 fuzzy_dl_owl2/fuzzydl/concept/concrete/right_concrete_concept.py,sha256=6017uvh53z3J8SB_ANNMmEs6kpmn1bjv43n_u_9yFbs,1997
-fuzzy_dl_owl2/fuzzydl/concept/concrete/trapezoidal_concrete_concept.py,sha256=7UAFVMK2_phGl6H1ffphZJixcfZNid-jc-aKXZY6Dos,2638
+fuzzy_dl_owl2/fuzzydl/concept/concrete/trapezoidal_concrete_concept.py,sha256=bn6VOa8b8wJ3Tfawpkj3otaedr-rxnNeC-SBTgQOOxo,2669
 fuzzy_dl_owl2/fuzzydl/concept/concrete/triangular_concrete_concept.py,sha256=-QQWFaeZ2TWC0FUmwMWkM8Rfj6Pq-EfZRyL_S67SSFw,2519
 fuzzy_dl_owl2/fuzzydl/concept/ext_threshold_concept.py,sha256=oKJwK9tIuYAxmJxLv7EqMEEUDXfiNYyG3FUzbOGiKBA,2642
 fuzzy_dl_owl2/fuzzydl/concept/has_value_concept.py,sha256=-NsRiaTzh4D1H7P9ZRmIRtvew0wZ_2DQiD7ptSecGB0,1595
-fuzzy_dl_owl2/fuzzydl/concept/implies_concept.py,sha256=jEREWHzWKPPNBTvurxcxl8muEmJEIhOYc1WRIeZVtAk,5184
+fuzzy_dl_owl2/fuzzydl/concept/implies_concept.py,sha256=trEOpaf7CB8ZwDleR6ymhCI1vlGR87i27913OB-k1OU,5285
 fuzzy_dl_owl2/fuzzydl/concept/interface/__init__.py,sha256=Nj9tp2LOd06Ic_o0KUMxFT0sKGRWK_5fPn0nzS87UZM,349
 fuzzy_dl_owl2/fuzzydl/concept/interface/has_concept_interface.py,sha256=UOgqG0mQAm20WhnuGmyVJOhYNbZW-KrUXqLHWRcJmMg,406
 fuzzy_dl_owl2/fuzzydl/concept/interface/has_concepts_interface.py,sha256=7lHlk7OVeG-xDq92-tpWlXdTN-kJmkA6NQtAxXsxVG4,457
@@ -35,7 +35,7 @@ fuzzy_dl_owl2/fuzzydl/concept/modified/linearly_modified_concept.py,sha256=y1VuC
 fuzzy_dl_owl2/fuzzydl/concept/modified/modified_concept.py,sha256=ixCiqjjYJ0TzWGcLYPpq_zra2S4aQqk0v3IivLL7TDw,1712
 fuzzy_dl_owl2/fuzzydl/concept/modified/triangularly_modified_concept.py,sha256=vOfmTfffkk1qJtEwJnM8N3IkBZyrg0v68tG3yvHpZA0,1116
 fuzzy_dl_owl2/fuzzydl/concept/negated_nominal.py,sha256=osALiI91ryAyATdVwnr4BhhK4r5ToomX8UkF_lREvQE,1246
-fuzzy_dl_owl2/fuzzydl/concept/operator_concept.py,sha256=g7MYfJ7VELJXMFOF9FJgmrEhjHmGXMUT2ffIj1-4s1M,27252
+fuzzy_dl_owl2/fuzzydl/concept/operator_concept.py,sha256=gip9Y9D_hDvQbq3UN8uaEK32oEscMM_TZadsZARwTlM,27466
 fuzzy_dl_owl2/fuzzydl/concept/owa_concept.py,sha256=f3qL6qPjLrnpoXkEYwXtFZox5VAFsL1JuxhFwXGlJYo,2092
 fuzzy_dl_owl2/fuzzydl/concept/qowa_concept.py,sha256=ykeY-iubzfHdEQiNMA3bubQnOMhJ8tiQYkCYJo7T788,2143
 fuzzy_dl_owl2/fuzzydl/concept/quasi_sugeno_integral.py,sha256=G8lwIrkeWZNx3SdVsYx4lq_0DIlwnsSYR-OTCD4HW1Y,1629
@@ -44,14 +44,14 @@ fuzzy_dl_owl2/fuzzydl/concept/string_concept.py,sha256=ghsBgO1N1_9g1xxHyQ8UUiwd9
 fuzzy_dl_owl2/fuzzydl/concept/sugeno_integral.py,sha256=pJ4UNGs1de9dGGEHDYL8SpQWCkOouBseus47POe0-E0,2827
 fuzzy_dl_owl2/fuzzydl/concept/threshold_concept.py,sha256=DgcqkGJncVBWq8ibvPWW3AfFt0DG6yq44DUtRm9tZJg,2678
 fuzzy_dl_owl2/fuzzydl/concept/truth_concept.py,sha256=ck0s0djtQKvAC0O95daW0Wj-jqnv67zdbl8UrByXUHw,2414
-fuzzy_dl_owl2/fuzzydl/concept/value_concept.py,sha256=JIrTG0cTlJV51Sj5DuOv0Dyo_LlQVhVCxNdV60UAMYE,2202
+fuzzy_dl_owl2/fuzzydl/concept/value_concept.py,sha256=M5FDKsoZ3yqpRJWvjKc_knh3s7XSRzuhUbc2Jr8lH7U,2201
 fuzzy_dl_owl2/fuzzydl/concept/weighted_concept.py,sha256=CU9QD1wxB83RzFCRvY5f7vW-sB6FmStLYF2AlJeoJgg,1750
 fuzzy_dl_owl2/fuzzydl/concept/weighted_max_concept.py,sha256=sJC-llTM22k3MyIdWr2ts2yyQD0EpsIVOcrPIrm_E2U,2230
 fuzzy_dl_owl2/fuzzydl/concept/weighted_min_concept.py,sha256=S_0spN_ijtAYNq-CuKgurVuC7J9tefXG_45BMqbGoQw,2102
 fuzzy_dl_owl2/fuzzydl/concept/weighted_sum_concept.py,sha256=efVD_Cy60nd0is72pAjO6DnzWRsLg0q6cPvo5VwB0RU,2232
 fuzzy_dl_owl2/fuzzydl/concept/weighted_sum_zero_concept.py,sha256=hdQUkWA_xn-fD7F3a37KCtJrgJx3gUB9qCvGcgm59-A,2253
 fuzzy_dl_owl2/fuzzydl/concept_equivalence.py,sha256=sVzwJU0-rpDJwNG5gGjgelmqKujOPoVBsWl1ZfHDOTg,458
-fuzzy_dl_owl2/fuzzydl/concrete_feature.py,sha256=EBw9tlIHR0FvPVQUGAekkiItqeLo94TanUkGO0t_J3A,3276
+fuzzy_dl_owl2/fuzzydl/concrete_feature.py,sha256=tWn9A1yaz2q97xGj1nF2lt15aNlPsemnzdSEWF6-28w,3434
 fuzzy_dl_owl2/fuzzydl/degree/__init__.py,sha256=dJiMu650kkRKaIbY_GHKnuF0TsiBvzvdeOe6hus8Ac4,273
 fuzzy_dl_owl2/fuzzydl/degree/degree.py,sha256=NelWpfw7UeCjc713m6tINo_fTyDMwdvVJbV0F11eTO8,1859
 fuzzy_dl_owl2/fuzzydl/degree/degree_expression.py,sha256=hfXdvJL4z0115xfLcKuFU32cAZtCqERv9kKQbZp-9DA,1597
@@ -61,29 +61,29 @@ fuzzy_dl_owl2/fuzzydl/domain_axiom.py,sha256=qPjeqmA7zQt6VT-bLtT82F74fiORPegQytd
 fuzzy_dl_owl2/fuzzydl/exception/__init__.py,sha256=IoYY5IQoU4UYyoB-dFOVLZyDvJN20kgZVBqWkF6J30w,135
 fuzzy_dl_owl2/fuzzydl/exception/fuzzy_ontology_exception.py,sha256=eH1ybBCx1QoZaf8PLCq1rC_3tiBRA-gKCwECTcUUuro,122
 fuzzy_dl_owl2/fuzzydl/exception/inconsistent_ontology_exception.py,sha256=ez0RQN4KGlNRcfB7IXfPz3bM86CFLl6zo-RRTBRpa_o,129
-fuzzy_dl_owl2/fuzzydl/feature_function.py,sha256=MXN8rU5moY4dWfXlfEAokEiWl_dpmcyY6OZOSN_-RaI,5898
-fuzzy_dl_owl2/fuzzydl/fuzzydl_to_owl2.py,sha256=6W8RA5LZ-Y2XOuA_yGlDzP1Xot4WsBprTSBVPOouS14,44978
+fuzzy_dl_owl2/fuzzydl/feature_function.py,sha256=KSQvCSYfJK5N6FFfDlyS1Y7UPHSYZNXzdYYZMWzXF8U,6399
+fuzzy_dl_owl2/fuzzydl/fuzzydl_to_owl2.py,sha256=lr4UTDmYsl8MJVwclBTGLrAyDqLqBl8OgCE4tuTvRRM,44989
 fuzzy_dl_owl2/fuzzydl/general_concept_inclusion.py,sha256=Noom35WAeJosPrliGd9_gvEtcK4BthazsSuZH-cxfyU,2380
 fuzzy_dl_owl2/fuzzydl/individual/__init__.py,sha256=zBCa24kE2nv08VgtphjLshpbGNEARUJgCdtyv9r6JGc,110
 fuzzy_dl_owl2/fuzzydl/individual/created_individual.py,sha256=HOo_UXjPPPtm7B0a7k90kE1veuR9gOCK5hp2f_aaJnY,7653
 fuzzy_dl_owl2/fuzzydl/individual/individual.py,sha256=FgtOmJwkPUKIOr-o8a1NqHepL-sN5fGe314e895DHYg,3846
 fuzzy_dl_owl2/fuzzydl/individual/representative_individual.py,sha256=C5ZG43Xy0Iz71S5IYPzaBGeT-fWIqQGpg85DPgU1NjM,1070
-fuzzy_dl_owl2/fuzzydl/knowledge_base.py,sha256=E-TSCwwM29LMH_nhyKJZDvMfX4c79FNC_JfnFmB7EGg,381384
+fuzzy_dl_owl2/fuzzydl/knowledge_base.py,sha256=MmzpyLpiAkxZBbRJP2IywuS0A87lmv26lYv9RyTxN74,385654
 fuzzy_dl_owl2/fuzzydl/label.py,sha256=KD39rTIlg0XhDJSVqNC6t0Pu60MVfO8xNGSjrcJFtD0,1023
 fuzzy_dl_owl2/fuzzydl/milp/__init__.py,sha256=g2oFT2Ge8W5Li2kP2CJjpjJ1a0PRI2vDoDdzYDsEtDY,246
-fuzzy_dl_owl2/fuzzydl/milp/expression.py,sha256=uZq4erpPO0ryh6uMlAPMzSFUrU3M_rDvZ75uU1PCIB4,6102
+fuzzy_dl_owl2/fuzzydl/milp/expression.py,sha256=j_77ddxfktzjRCRmjvew6zr5Rj8pmMfL2N0PvdpGfL4,6197
 fuzzy_dl_owl2/fuzzydl/milp/inequation.py,sha256=dQhRXj7xQm6021bUV58WPNnxH7EqsonPrWOCoCBqR5A,1631
-fuzzy_dl_owl2/fuzzydl/milp/milp_helper.py,sha256=65u7acdBJDPKVXiwDsvfCjDqiMs0r2BnBCqy2_uHXr4,30330
+fuzzy_dl_owl2/fuzzydl/milp/milp_helper.py,sha256=Dfeh7eGknCez6Ku5m7wdxsdqJkSq4vtgfH93xth7ILM,30388
 fuzzy_dl_owl2/fuzzydl/milp/show_variables_helper.py,sha256=7y-lfhoERoE8qNSMr0cq_-Ezo46BGsNszp44YSVWA2A,5754
 fuzzy_dl_owl2/fuzzydl/milp/solution.py,sha256=suoE1F2XORwzP4pNm-6Ivf6eK5Z98KFxFUdarh1CjQk,1210
 fuzzy_dl_owl2/fuzzydl/milp/term.py,sha256=IDnmmpXIgewY9NkPwM1YFzkcp21umo4ZoPBzAhGdn8Q,2202
-fuzzy_dl_owl2/fuzzydl/milp/variable.py,sha256=RdxRHAXS5_zKFhqt1lysPlL6qm1rWS7mRZvwxsdmJi8,2662
+fuzzy_dl_owl2/fuzzydl/milp/variable.py,sha256=_qqLZpOkXCaeyguQQWLIQvTPzyPaMNSpPIAL4T0A9C8,2725
 fuzzy_dl_owl2/fuzzydl/modifier/__init__.py,sha256=mgJml-9PVs566EYpwBxfmmiw8oPXiSgJRUyIX9hiSNA,126
 fuzzy_dl_owl2/fuzzydl/modifier/linear_modifier.py,sha256=Rn6q4ytIdTiCI-TRZIK5qjWSA4K3q78fYSrYxlQklVc,2022
 fuzzy_dl_owl2/fuzzydl/modifier/modifier.py,sha256=K1QG_i0eePq49RqyPsOCYRKonmD1QFzE0WwyxOBnymo,816
-fuzzy_dl_owl2/fuzzydl/modifier/triangular_modifier.py,sha256=MAfQ0w91tc1fw0FCdxHyt-RHXoRKo8GOfwBqDoCpUVc,2115
+fuzzy_dl_owl2/fuzzydl/modifier/triangular_modifier.py,sha256=9z_oVC0QidpNCEk0FsN2EDzy7lDWTXl5dNGr3sc04j4,2131
 fuzzy_dl_owl2/fuzzydl/parser/__init__.py,sha256=vs0cN8a1ATeFx1J4evw6k7mWe4zOvba_xMO2eBXZ_gc,32
-fuzzy_dl_owl2/fuzzydl/parser/dl_parser.py,sha256=aJ8VfiAyfHLslKZCKtht4nu8izv7tE40v4Nw4C1VWCs,81810
+fuzzy_dl_owl2/fuzzydl/parser/dl_parser.py,sha256=AonhuzmnFtPS1r1mgsEEzkiepRHCclm-3FJC5NaV3VA,95312
 fuzzy_dl_owl2/fuzzydl/primitive_concept_definition.py,sha256=jQxEqwqt-VuP58i90gfzcOge-rI3BC9zvqXJgUA7eno,2331
 fuzzy_dl_owl2/fuzzydl/query/__init__.py,sha256=4952zUtxF3VDI4TWDkpYdayP71DSowCsJzYAc_fOyGY,405
 fuzzy_dl_owl2/fuzzydl/query/all_instances_query.py,sha256=IgCmHvYMiEW3MWSt-IOr42KXwz-hgCGCC6beSt-lgLM,1867
@@ -91,7 +91,7 @@ fuzzy_dl_owl2/fuzzydl/query/bnp_query.py,sha256=4yosQ3C3sCGOprO4BzZfKwy6_RYggUVl
 fuzzy_dl_owl2/fuzzydl/query/defuzzify/__init__.py,sha256=fUbdT9Q0-5c-ArHS1yxLYuf00NCHyoUPSrjpeBQ25iU,197
 fuzzy_dl_owl2/fuzzydl/query/defuzzify/defuzzify_query.py,sha256=imIHtQ6tHaKas05C4UzavOdw-FeBx716dydBiGK4o8Y,3008
 fuzzy_dl_owl2/fuzzydl/query/defuzzify/lom_defuzzify_query.py,sha256=u9R2x8WtD9eyrYRD398qop83A-bI9TrIxPDztAsHmFQ,833
-fuzzy_dl_owl2/fuzzydl/query/defuzzify/mom_defuzzify_query.py,sha256=U6OVNiTXJHeaizBaHe6tf-_FGDMj6No_qdhoaIp9cN8,3785
+fuzzy_dl_owl2/fuzzydl/query/defuzzify/mom_defuzzify_query.py,sha256=QeplrKFLtAqNxyB0LfXRWdvdtrskGXvJuPACIHbUBMo,3882
 fuzzy_dl_owl2/fuzzydl/query/defuzzify/som_defuzzify_query.py,sha256=7ktMy78qq42lKzt5cTiCXlhPII-E9EANBowkxAkQnSQ,808
 fuzzy_dl_owl2/fuzzydl/query/instance_query.py,sha256=5loSVw5NvTJXN0RC7lDWyVR0GEzagSp3Ts_MhF8WQvE,682
 fuzzy_dl_owl2/fuzzydl/query/kb_satisfiable_query.py,sha256=78tEbsDyCrvrNKV0wCAmPc0nPL-MaPQIVC0J1OHjFE4,1086
@@ -106,7 +106,7 @@ fuzzy_dl_owl2/fuzzydl/query/min/min_instance_query.py,sha256=8TZKQZQcLsbMUFFUwLZ
 fuzzy_dl_owl2/fuzzydl/query/min/min_query.py,sha256=xM5y9w9Q3ejiRZ-uqvuD6krACGRPRyNnaHVQy0JzAhc,996
 fuzzy_dl_owl2/fuzzydl/query/min/min_related_query.py,sha256=PMstZFTXN1VsKXMs6HXb3f3AvOV7RhE7HdGZGfJ0ezM,2263
 fuzzy_dl_owl2/fuzzydl/query/min/min_satisfiable_query.py,sha256=kF-MlpBE74OYT3tv69dThuI9GD6AH85hFXPcm9xePtI,3081
-fuzzy_dl_owl2/fuzzydl/query/min/min_subsumes_query.py,sha256=tqueYtIYtTbJWVuK_XalK7d8CE07oG-0vkQDj40PjWo,2805
+fuzzy_dl_owl2/fuzzydl/query/min/min_subsumes_query.py,sha256=4oj3-2Fx7jBOvgXnl4EwmB9oPGcQNj43aKHmn1sZtm4,2805
 fuzzy_dl_owl2/fuzzydl/query/query.py,sha256=N0Fd6SdHipTNstyfJ-O-d9b4ZWhefGAwgQVwdU_oMe8,1063
 fuzzy_dl_owl2/fuzzydl/query/related_query.py,sha256=fLuUcJr6FoX6ChS2fSR7S9eze02otdWuqWTAcAEABeU,450
 fuzzy_dl_owl2/fuzzydl/query/satisfiable_query.py,sha256=dZ--DKOplSI9Cv72UtRYpRbJpetkmk5HMToOA4RZBZw,1231
@@ -118,12 +118,12 @@ fuzzy_dl_owl2/fuzzydl/restriction/has_value_restriction.py,sha256=DL-50TlD289OXV
 fuzzy_dl_owl2/fuzzydl/restriction/restriction.py,sha256=SyeFvaJeKcTe750eAbLoAVYkWTK_UjdqWr2Lw8OF1S0,948
 fuzzy_dl_owl2/fuzzydl/role_parent_with_degree.py,sha256=1J5dtlVbiascxHBwAJ7uc97IHnJke9RWqxq5rgrrkoA,282
 fuzzy_dl_owl2/fuzzydl/util/__init__.py,sha256=44tug6cK4CwfOR865-q1FOVN34TEDzfLlaevh5YMiGo,84
-fuzzy_dl_owl2/fuzzydl/util/config_reader.py,sha256=TQyWZ1EMqS8WteJfHUqQG-aloyxaZ7TJd32ox1k_0CU,2063
-fuzzy_dl_owl2/fuzzydl/util/constants.py,sha256=PV6fSOk8rrVJ_7qnZ9xFCcjBxXpMH3mvHN83XpNaH4I,12749
+fuzzy_dl_owl2/fuzzydl/util/config_reader.py,sha256=8kyrfK-wQaiGrKfrLsiVr77jg1NRaviGniWOtQwrZRU,1797
+fuzzy_dl_owl2/fuzzydl/util/constants.py,sha256=_BM9maPkVPzz-GjWjVHjPEtNOA72c5R4qjP9w-2bAdQ,12817
 fuzzy_dl_owl2/fuzzydl/util/util.py,sha256=5COC79TAJz8fNrRzXLbNpAT9rLd_0KrRI1OU-hob3oU,1903
-fuzzy_dl_owl2/fuzzydl/util/utils.py,sha256=h18QpDSRjitsVPta_zmRvHC8HUdfFwbFqol4oLANITs,1133
+fuzzy_dl_owl2/fuzzydl/util/utils.py,sha256=TPVLEL9NJXgReuxEIOTEOVYqojSymg_-kyrLETXnYdo,2344
 fuzzy_dl_owl2/fuzzyowl2/__init__.py,sha256=C44P0-Sn35FQdVMqYLzeDWa5qPmokbcs8GPiD_zQaSg,153
-fuzzy_dl_owl2/fuzzyowl2/fuzzyowl2.py,sha256=xe98T3nowcOK2VJ6gZpJqTxwH0qhLzdQz3yeJbKzdJU,71313
+fuzzy_dl_owl2/fuzzyowl2/fuzzyowl2.py,sha256=YYYayCmOPA5mfjMCAFZSiNe1pyn8arr5CIALiTMTGu8,71324
 fuzzy_dl_owl2/fuzzyowl2/fuzzyowl2_to_fuzzydl.py,sha256=yWMhk3mpAmGfLSg6buEo8pC2G-Jczy1pgiy3riaZsZY,37033
 fuzzy_dl_owl2/fuzzyowl2/owl_types/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 fuzzy_dl_owl2/fuzzyowl2/owl_types/choquet_concept.py,sha256=ymnyNfvkvWA3y2UMXyPviD0U98vJ6jrX6zddj09SUoI,671
@@ -156,7 +156,7 @@ fuzzy_dl_owl2/fuzzyowl2/parser/__init__.py,sha256=fKaME_uuWyG5UB7VKD-nMV-j95lC1j
 fuzzy_dl_owl2/fuzzyowl2/parser/owl2_parser.py,sha256=5eGyRbYUQNH5ZTKCjsOYOsw9Ode4lUl8eUNK4jQGZSs,19683
 fuzzy_dl_owl2/fuzzyowl2/util/__init__.py,sha256=81quoggCuIypZjZs3bbf1Ty70KHdva5RGEJxi0oC57E,25
 fuzzy_dl_owl2/fuzzyowl2/util/constants.py,sha256=05eQLYTB4CxxUZ_T-sNG9FsH8hkrBMAh2y24oiQN8xY,3904
-fuzzy_dl_owl2-1.0.2.dist-info/LICENSE,sha256=er4Z7Ju3OzYUG5mbhh0krYVegIuv4PgehMzihVb2wpc,20131
-fuzzy_dl_owl2-1.0.2.dist-info/METADATA,sha256=UT7XY4U9-ZDxqYAB2NKl4hw7sBhFjKipW95ADW5d7pY,12777
-fuzzy_dl_owl2-1.0.2.dist-info/WHEEL,sha256=b4K_helf-jlQoXBBETfwnf4B04YC67LOev0jo4fX5m8,88
-fuzzy_dl_owl2-1.0.2.dist-info/RECORD,,
+fuzzy_dl_owl2-1.0.3.dist-info/LICENSE,sha256=er4Z7Ju3OzYUG5mbhh0krYVegIuv4PgehMzihVb2wpc,20131
+fuzzy_dl_owl2-1.0.3.dist-info/METADATA,sha256=a39NDTTTe5Fq035nuUf-yCLjoB-dTTyLMeTSHzlR_Io,13057
+fuzzy_dl_owl2-1.0.3.dist-info/WHEEL,sha256=b4K_helf-jlQoXBBETfwnf4B04YC67LOev0jo4fX5m8,88
+fuzzy_dl_owl2-1.0.3.dist-info/RECORD,,