fuzzy-dl-owl2 1.0.5__py3-none-any.whl → 1.0.7__py3-none-any.whl

fuzzy_dl_owl2/fuzzyowl2/util/constants.py

@@ -26,63 +26,149 @@ class ConceptType(enum.StrEnum):
         return self.name
 
 
+# class FuzzyOWL2Keyword(enum.Enum):
+#     OPEN_TAG = pp.Word("<")
+#     CLOSE_TAG = pp.Word(">")
+#     SINGLE_CLOSE_TAG = pp.Word("/>")
+#     SLASH = pp.Word("/")
+#     ONTOLOGY = pp.CaselessKeyword("ontology")
+#     FUZZY_OWL_2 = pp.CaselessKeyword("fuzzyOwl2")
+#     FUZZY_LABEL = pp.CaselessKeyword("fuzzyLabel")
+#     FUZZY_TYPE = pp.CaselessKeyword("fuzzytype")
+#     FUZZY_LOGIC = pp.CaselessKeyword("FuzzyLogic")
+#     TYPE = pp.CaselessKeyword("type")
+#     LOGIC = pp.CaselessKeyword("logic")
+#     DATATYPE = pp.CaselessKeyword("datatype")
+#     CONCEPT = pp.CaselessKeyword("concept")
+#     ROLE = pp.CaselessKeyword("role")
+#     AXIOM = pp.CaselessKeyword("axiom")
+#     DEGREE_DEF = pp.CaselessKeyword("degree")
+#     DEGREE_VALUE = pp.CaselessKeyword("value")
+#     MODIFIED = pp.CaselessKeyword("modified")
+#     WEIGHTED = pp.CaselessKeyword("weighted")
+#     NOMINAL = pp.CaselessKeyword("nominal")
+#     INDIVIDUAL = pp.CaselessKeyword("individual")
+#     WEIGHTED_MAXIMUM = pp.CaselessKeyword("weightedMaximum")
+#     WEIGHTED_MINIMUM = pp.CaselessKeyword("weightedMinimum")
+#     WEIGHTED_SUM = pp.CaselessKeyword("weightedSum")
+#     WEIGHTED_SUMZERO = pp.CaselessKeyword("weightedSumZero")
+#     OWA = pp.CaselessKeyword("owa")
+#     Q_OWA = pp.CaselessKeyword("qowa")
+#     CHOQUET = pp.CaselessKeyword("choquet")
+#     SUGENO = pp.CaselessKeyword("sugeno")
+#     QUASI_SUGENO = pp.CaselessKeyword("quasisugeno")
+#     MODIFIER = pp.CaselessKeyword("modifier")
+#     BASE = pp.CaselessKeyword("base")
+#     CONCEPT_NAMES = pp.CaselessKeyword("names")
+#     NAME = pp.CaselessKeyword("name")
+#     WEIGHT = pp.CaselessKeyword("weight")
+#     WEIGHTS = pp.CaselessKeyword("weights")
+#     QUANTIFIER = pp.CaselessKeyword("quantifier")
+#     CRISP = pp.CaselessKeyword("crisp")
+#     LEFT_SHOULDER = pp.CaselessKeyword("leftshoulder")
+#     RIGHT_SHOULDER = pp.CaselessKeyword("rightshoulder")
+#     TRIANGULAR = pp.CaselessKeyword("triangular")
+#     TRAPEZOIDAL = pp.CaselessKeyword("trapezoidal")
+#     LINEAR = pp.CaselessKeyword("linear")
+#     A = pp.CaselessKeyword("a")
+#     B = pp.CaselessKeyword("b")
+#     C = pp.CaselessKeyword("c")
+#     D = pp.CaselessKeyword("d")
+#     LUKASIEWICZ = pp.CaselessKeyword("lukasiewicz")
+#     GOEDEL = pp.CaselessKeyword("goedel")
+#     ZADEH = pp.CaselessKeyword("zadeh")
+#     PRODUCT = pp.CaselessKeyword("product")
+#     EQUAL = pp.Word("=")
+#     LES = pp.CaselessKeyword("les")
+#     LEQ = pp.CaselessKeyword("leq")
+#     GEQ = pp.CaselessKeyword("geq")
+#     GRE = pp.CaselessKeyword("gre")
+
+#     def get_name(self) -> str:
+#         return re.sub(r"[\"\']+", "", self.value.name.lower())
+
+#     def get_value(self) -> typing.Union[pp.CaselessKeyword, pp.Word]:
+#         return self.value
+
+#     def get_str_value(self) -> str:
+#         return str(self.value).replace('"', "").replace("'", "")
+
+#     def get_tag_name(self) -> str:
+#         return self.get_str_value().capitalize()
+
+#     def __eq__(self, value: object) -> bool:
+#         if isinstance(value, str):
+#             return self.get_name() == value.lower()
+#         elif isinstance(value, pp.CaselessKeyword):
+#             return self.get_name() == value.name.lower()
+#         elif isinstance(value, FuzzyOWL2Keyword):
+#             return self.get_name() == value.get_name()
+#         raise NotImplementedError
+
+#     def __repr__(self) -> str:
+#         return self.name
+
+#     def __str__(self) -> str:
+#         return self.name
+
+
 class FuzzyOWL2Keyword(enum.Enum):
     OPEN_TAG = pp.Word("<")
     CLOSE_TAG = pp.Word(">")
     SINGLE_CLOSE_TAG = pp.Word("/>")
     SLASH = pp.Word("/")
-    ONTOLOGY = pp.CaselessKeyword("ontology")
-    FUZZY_OWL_2 = pp.CaselessKeyword("fuzzyOwl2")
-    FUZZY_LABEL = pp.CaselessKeyword("fuzzyLabel")
-    FUZZY_TYPE = pp.CaselessKeyword("fuzzytype")
-    FUZZY_LOGIC = pp.CaselessKeyword("FuzzyLogic")
-    TYPE = pp.CaselessKeyword("type")
-    LOGIC = pp.CaselessKeyword("logic")
-    DATATYPE = pp.CaselessKeyword("datatype")
-    CONCEPT = pp.CaselessKeyword("concept")
-    ROLE = pp.CaselessKeyword("role")
-    AXIOM = pp.CaselessKeyword("axiom")
-    DEGREE_DEF = pp.CaselessKeyword("degree")
-    DEGREE_VALUE = pp.CaselessKeyword("value")
-    MODIFIED = pp.CaselessKeyword("modified")
-    WEIGHTED = pp.CaselessKeyword("weighted")
-    NOMINAL = pp.CaselessKeyword("nominal")
-    INDIVIDUAL = pp.CaselessKeyword("individual")
-    WEIGHTED_MAXIMUM = pp.CaselessKeyword("weightedMaximum")
-    WEIGHTED_MINIMUM = pp.CaselessKeyword("weightedMinimum")
-    WEIGHTED_SUM = pp.CaselessKeyword("weightedSum")
-    WEIGHTED_SUMZERO = pp.CaselessKeyword("weightedSumZero")
-    OWA = pp.CaselessKeyword("owa")
-    Q_OWA = pp.CaselessKeyword("qowa")
-    CHOQUET = pp.CaselessKeyword("choquet")
-    SUGENO = pp.CaselessKeyword("sugeno")
-    QUASI_SUGENO = pp.CaselessKeyword("quasisugeno")
-    MODIFIER = pp.CaselessKeyword("modifier")
-    BASE = pp.CaselessKeyword("base")
-    CONCEPT_NAMES = pp.CaselessKeyword("names")
-    NAME = pp.CaselessKeyword("name")
-    WEIGHT = pp.CaselessKeyword("weight")
-    WEIGHTS = pp.CaselessKeyword("weights")
-    QUANTIFIER = pp.CaselessKeyword("quantifier")
-    CRISP = pp.CaselessKeyword("crisp")
-    LEFT_SHOULDER = pp.CaselessKeyword("leftshoulder")
-    RIGHT_SHOULDER = pp.CaselessKeyword("rightshoulder")
-    TRIANGULAR = pp.CaselessKeyword("triangular")
-    TRAPEZOIDAL = pp.CaselessKeyword("trapezoidal")
-    LINEAR = pp.CaselessKeyword("linear")
-    A = pp.CaselessKeyword("a")
-    B = pp.CaselessKeyword("b")
-    C = pp.CaselessKeyword("c")
-    D = pp.CaselessKeyword("d")
-    LUKASIEWICZ = pp.CaselessKeyword("lukasiewicz")
-    GOEDEL = pp.CaselessKeyword("goedel")
-    ZADEH = pp.CaselessKeyword("zadeh")
-    PRODUCT = pp.CaselessKeyword("product")
+    ONTOLOGY = pp.Keyword("ontology")
+    FUZZY_OWL_2 = pp.Keyword("fuzzyOwl2")
+    FUZZY_LABEL = pp.Keyword("fuzzyLabel")
+    FUZZY_TYPE = pp.Keyword("fuzzyType")
+    FUZZY_LOGIC = pp.Keyword("FuzzyLogic")
+    TYPE = pp.Keyword("type")
+    LOGIC = pp.Keyword("logic")
+    DATATYPE = pp.Keyword("datatype")
+    CONCEPT = pp.Keyword("concept")
+    ROLE = pp.Keyword("role")
+    AXIOM = pp.Keyword("axiom")
+    DEGREE_DEF = pp.Keyword("degree")
+    DEGREE_VALUE = pp.Keyword("value")
+    MODIFIED = pp.Keyword("modified")
+    WEIGHTED = pp.Keyword("weighted")
+    NOMINAL = pp.Keyword("nominal")
+    INDIVIDUAL = pp.Keyword("individual")
+    WEIGHTED_MAXIMUM = pp.Keyword("weightedMaximum")
+    WEIGHTED_MINIMUM = pp.Keyword("weightedMinimum")
+    WEIGHTED_SUM = pp.Keyword("weightedSum")
+    WEIGHTED_SUMZERO = pp.Keyword("weightedSumZero")
+    OWA = pp.Keyword("owa")
+    Q_OWA = pp.Keyword("qowa")
+    CHOQUET = pp.Keyword("choquet")
+    SUGENO = pp.Keyword("sugeno")
+    QUASI_SUGENO = pp.Keyword("quasisugeno")
+    MODIFIER = pp.Keyword("modifier")
+    BASE = pp.Keyword("base")
+    CONCEPT_NAMES = pp.Keyword("names")
+    NAME = pp.Keyword("name")
+    WEIGHT = pp.Keyword("weight")
+    WEIGHTS = pp.Keyword("weights")
+    QUANTIFIER = pp.Keyword("quantifier")
+    CRISP = pp.Keyword("crisp")
+    LEFT_SHOULDER = pp.Keyword("leftshoulder")
+    RIGHT_SHOULDER = pp.Keyword("rightshoulder")
+    TRIANGULAR = pp.Keyword("triangular")
+    TRAPEZOIDAL = pp.Keyword("trapezoidal")
+    LINEAR = pp.Keyword("linear")
+    A = pp.Keyword("a")
+    B = pp.Keyword("b")
+    C = pp.Keyword("c")
+    D = pp.Keyword("d")
+    LUKASIEWICZ = pp.Keyword("lukasiewicz")
+    GOEDEL = pp.Keyword("goedel")
+    ZADEH = pp.Keyword("zadeh")
+    PRODUCT = pp.Keyword("product")
     EQUAL = pp.Word("=")
-    LES = pp.CaselessKeyword("les")
-    LEQ = pp.CaselessKeyword("leq")
-    GEQ = pp.CaselessKeyword("geq")
-    GRE = pp.CaselessKeyword("gre")
+    LES = pp.Keyword("les")
+    LEQ = pp.Keyword("leq")
+    GEQ = pp.Keyword("geq")
+    GRE = pp.Keyword("gre")
 
     def get_name(self) -> str:
         return re.sub(r"[\"\']+", "", self.value.name.lower())
@@ -99,7 +185,7 @@ class FuzzyOWL2Keyword(enum.Enum):
     def __eq__(self, value: object) -> bool:
         if isinstance(value, str):
             return self.get_name() == value.lower()
-        elif isinstance(value, pp.CaselessKeyword):
+        elif isinstance(value, pp.Keyword):
             return self.get_name() == value.name.lower()
         elif isinstance(value, FuzzyOWL2Keyword):
             return self.get_name() == value.get_name()

fuzzy_dl_owl2/fuzzyowl2/util/fuzzy_xml.py

@@ -0,0 +1,107 @@
+from __future__ import annotations
+
+import re
+import typing
+from xml.dom import minidom
+from xml.etree.ElementTree import Element, tostring
+
+from fuzzy_dl_owl2.fuzzyowl2.util.constants import FuzzyOWL2Keyword
+from pyowl2.abstracts.class_expression import OWLClassExpression
+
+
+class FuzzyXML(object):
+
+    @staticmethod
+    def build_main_xml(fuzzy_type: str) -> Element:
+        return Element(
+            FuzzyOWL2Keyword.FUZZY_OWL_2.get_str_value(),
+            attrib={FuzzyOWL2Keyword.FUZZY_TYPE.get_str_value(): fuzzy_type},
+        )
+
+    @staticmethod
+    def build_logic_xml(logic: str, attrib: dict[str, str] = dict()) -> Element:
+        full_attrib = {FuzzyOWL2Keyword.LOGIC.get_str_value(): logic}
+        if attrib:
+            full_attrib.update(attrib)
+        return Element(
+            FuzzyOWL2Keyword.FUZZY_LOGIC.get_tag_name(),
+            attrib=full_attrib,
+        )
+
+    @staticmethod
+    def build_datatype_xml(
+        datatype_type: str, attrib: dict[str, str] = dict()
+    ) -> Element:
+        full_attrib = {FuzzyOWL2Keyword.TYPE.get_str_value(): datatype_type}
+        if attrib:
+            full_attrib.update(attrib)
+        return Element(
+            FuzzyOWL2Keyword.DATATYPE.get_tag_name(),
+            attrib=full_attrib,
+        )
+
+    @staticmethod
+    def build_modifier_xml(
+        modifier_type: str, attrib: dict[str, str] = dict()
+    ) -> Element:
+        full_attrib = {FuzzyOWL2Keyword.TYPE.get_str_value(): modifier_type}
+        if attrib:
+            full_attrib.update(attrib)
+        return Element(
+            FuzzyOWL2Keyword.MODIFIER.get_tag_name(),
+            attrib=full_attrib,
+        )
+
+    @staticmethod
+    def build_degree_xml(
+        value: typing.Union[int, float], attrib: dict[str, str] = dict()
+    ) -> Element:
+        full_attrib = {FuzzyOWL2Keyword.DEGREE_VALUE.get_str_value(): str(value)}
+        if attrib:
+            full_attrib.update(attrib)
+        return Element(
+            FuzzyOWL2Keyword.DEGREE_DEF.get_tag_name(),
+            attrib=full_attrib,
+        )
+
+    @staticmethod
+    def build_concept_xml(
+        concept_type: str, attrib: dict[str, str] = dict()
+    ) -> Element:
+        full_attrib = {FuzzyOWL2Keyword.TYPE.get_str_value(): concept_type}
+        if attrib:
+            full_attrib.update(attrib)
+        return Element(
+            FuzzyOWL2Keyword.CONCEPT.get_tag_name(),
+            attrib=full_attrib,
+        )
+
+    @staticmethod
+    def build_weights_xml(weights: list[float]) -> Element:
+        element = Element(FuzzyOWL2Keyword.WEIGHTS.get_tag_name())
+        for w in weights:
+            curr = Element(FuzzyOWL2Keyword.WEIGHT.get_tag_name())
+            curr.text = str(w)
+            element.append(curr)
+        return element
+
+    @staticmethod
+    def build_names_xml(concepts: list[OWLClassExpression]) -> Element:
+        element = Element(FuzzyOWL2Keyword.CONCEPT_NAMES.get_tag_name())
+        for c in concepts:
+            curr = Element(FuzzyOWL2Keyword.NAME.get_tag_name())
+            curr.text = str(c)
+            element.append(curr)
+        return element
+
+    @staticmethod
+    def to_str(element: Element) -> str:
+        return re.sub(
+            "\n+",
+            "\n",
+            "\n".join(
+                minidom.parseString(tostring(element, encoding="unicode", method="xml"))
+                .toprettyxml()
+                .split("\n")[1:]
+            ),
+        )

{fuzzy_dl_owl2-1.0.5.dist-info → fuzzy_dl_owl2-1.0.7.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.3
 Name: fuzzy-dl-owl2
-Version: 1.0.5
+Version: 1.0.7
 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
@@ -11,12 +11,12 @@ Classifier: Programming Language :: Python :: 3
 Classifier: Programming Language :: Python :: 3.11
 Classifier: Programming Language :: Python :: 3.12
 Classifier: Programming Language :: Python :: 3.13
-Requires-Dist: gurobipy (>=12.0.0,<13.0.0)
 Requires-Dist: networkx (>=3.3,<4.0)
 Requires-Dist: owlready2 (>=0.47,<0.48)
 Requires-Dist: pyowl2 (>=1.0.2,<2.0.0)
 Requires-Dist: pyparsing (>=3.2.3,<4.0.0)
 Requires-Dist: rdflib (>=7.1.4,<8.0.0)
+Requires-Dist: setuptools (>=80.8.0,<81.0.0)
 Requires-Dist: sortedcontainers (>=2.4.0,<3.0.0)
 Requires-Dist: trycast (>=1.2.0,<2.0.0)
 Project-URL: Repository, https://github.com/giuseppefilippone/fuzzy_dl_owl2
@@ -78,17 +78,85 @@ The file `CONFIG.ini` is structured as follows:
 ```text
 [DEFAULT]
 debugPrint = False
-relaxMilp = False
 epsilon = 0.001
 maxIndividuals = -1
+owlAnnotationLabel = fuzzyLabel
+milpProvider = mip
 ```
 
 | Configuration Variable | Description                       |
 |----------------------|-----------------------------------|
 | debugPrint        | Enable/disable debugging          |
-| relaxMilp      | Enable/disable MILP constraint relaxation. Important: The solution may be wrong by enabling this flag |
 | epsilon | Define the precision of the solution. For instance, epsilon = 0.001 means that the solution will be calculated with an accuracy to the third decimal place |
 | maxIndividuals | Define the maximal number of individuals to handle. The value -1 indicate that there is no maximum |
+| owlAnnotationLabel | Define the Annotation label used to build the Fuzzy OWL 2 RDF/XML ontology |
+| milpProvider | Define the MILP provider used by the reasoner. The supported providers are listed below. |
+
+Supported MILP Providers:
+| Provider | milpProvider |
+|--------------|----------------------|
+| Gurobi | gurobi |
+| CPLEX | pulp_cplex |
+| CBC | pulp |
+| GLPK | pulp_glpk |
+| HiGHS | pulp_highs |
+| MIP | mip |
+
+⸻
+
+# MILP Provider Usage and Configuration
+
+## GUROBI
+
+- Install [gurobipy](https://pypi.org/project/gurobipy/):
+```python
+pip install gurobipy==12.0.0
+```
+- Download the GUROBI license from their [website](https://www.gurobi.com/solutions/licensing/).
+- Add Gurobi to the PATH
+
+## MIP
+
+- Install python [MIP](https://www.python-mip.com/):
+```python
+pip install mip==1.16rc0
+```
+
+## GLPK
+
+- Install [GLPK](https://www.gnu.org/software/glpk/) v5.0 and [GMP](https://gmplib.org/) v6.3.0
+- Install python [pulp](https://github.com/coin-or/PuLP?tab=readme-ov-file):
+```python
+pip install pulp==3.2.1
+```
+- Add GLPK to the PATH
+
+## CBC
+
+- Install [CBC](https://github.com/coin-or/Cbc)
+- Install python [pulp](https://github.com/coin-or/PuLP?tab=readme-ov-file):
+```python
+pip install pulp==3.2.1
+```
+- Add CBC to the PATH
+
+## CPLEX
+
+- Install [CPLEX](https://www.ibm.com/it-it/products/ilog-cplex-optimization-studio) v22.11
+- Install python [pulp](https://github.com/coin-or/PuLP?tab=readme-ov-file):
+```python
+pip install pulp==3.2.1
+```
+- Add CPLEX to the PATH
+
+## HiGHS
+
+- Install [HiGHS](https://ergo-code.github.io/HiGHS/dev/interfaces/cpp/) v1.10.0
+- Install python [pulp](https://github.com/coin-or/PuLP?tab=readme-ov-file):
+```python
+pip install pulp==3.2.1
+```
+- Add HiGHS to the PATH
 
 ⸻
 

{fuzzy_dl_owl2-1.0.5.dist-info → fuzzy_dl_owl2-1.0.7.dist-info}/RECORD

@@ -61,22 +61,22 @@ 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=KSQvCSYfJK5N6FFfDlyS1Y7UPHSYZNXzdYYZMWzXF8U,6399
-fuzzy_dl_owl2/fuzzydl/fuzzydl_to_owl2.py,sha256=BUt-LUHW9VPtUNT74zPblgbClwuQL8_HN6gXMQ2_X8k,46670
+fuzzy_dl_owl2/fuzzydl/feature_function.py,sha256=Ipfd_UuKWKqCp8jdyV3Hxia0l3yj8jjNu-kOGQ7qf3Y,6525
+fuzzy_dl_owl2/fuzzydl/fuzzydl_to_owl2.py,sha256=VjmHtokMAE0jC9jI8WjGeiCTQ-A8YmmUH14FEVTyrDU,53111
 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=MmzpyLpiAkxZBbRJP2IywuS0A87lmv26lYv9RyTxN74,385654
+fuzzy_dl_owl2/fuzzydl/knowledge_base.py,sha256=ve0NYDz1b2Up-ZoTzJO-JltyupMFhyy9meIzMvFIt-I,385863
 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=j_77ddxfktzjRCRmjvew6zr5Rj8pmMfL2N0PvdpGfL4,6197
-fuzzy_dl_owl2/fuzzydl/milp/inequation.py,sha256=dQhRXj7xQm6021bUV58WPNnxH7EqsonPrWOCoCBqR5A,1631
-fuzzy_dl_owl2/fuzzydl/milp/milp_helper.py,sha256=Dfeh7eGknCez6Ku5m7wdxsdqJkSq4vtgfH93xth7ILM,30388
+fuzzy_dl_owl2/fuzzydl/milp/expression.py,sha256=HTCSk_EGTO7ATIQuV65mKa06eY433PVs_8jyw4kbELg,6596
+fuzzy_dl_owl2/fuzzydl/milp/inequation.py,sha256=4agNmrrT8K1uEnm553nD8OPwVY4l4rF3Dxw-_PBj5lw,2040
+fuzzy_dl_owl2/fuzzydl/milp/milp_helper.py,sha256=aghOzlFqkZUK53lIPXIeDbwgt2E6cCy805bN35DGq0E,58324
 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/term.py,sha256=JIRO3rrMz1e6I3g0tElFbwXyOxtiy8L7Wh6EisQfSuM,2294
 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
@@ -117,13 +117,13 @@ fuzzy_dl_owl2/fuzzydl/restriction/__init__.py,sha256=rpjzuQK3xxYYA3WeXFDdIK9tXbU
 fuzzy_dl_owl2/fuzzydl/restriction/has_value_restriction.py,sha256=DL-50TlD289OXVEEh_tK9Cu0ceP0ANmH-Q3k0oRe5ok,554
 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=8kyrfK-wQaiGrKfrLsiVr77jg1NRaviGniWOtQwrZRU,1797
-fuzzy_dl_owl2/fuzzydl/util/constants.py,sha256=_BM9maPkVPzz-GjWjVHjPEtNOA72c5R4qjP9w-2bAdQ,12817
+fuzzy_dl_owl2/fuzzydl/util/__init__.py,sha256=3GufSMUuWGISGukXM5T5ZGA0BC1WX-5eLFSuttVYueU,109
+fuzzy_dl_owl2/fuzzydl/util/config_reader.py,sha256=dh2Xa1sYVlKavbkKShHkxzA0ieLoQOV1JmzkOvIIVMI,3174
+fuzzy_dl_owl2/fuzzydl/util/constants.py,sha256=tZKlMOZlZD9iKgaLv8NIId5WK04JuFg6FuXyA7zEe8E,12815
 fuzzy_dl_owl2/fuzzydl/util/util.py,sha256=5COC79TAJz8fNrRzXLbNpAT9rLd_0KrRI1OU-hob3oU,1903
 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=EAC_DXYa694h3pUZ9T_4Y_f60DjzPUs4VqIGbpLY5vo,71402
+fuzzy_dl_owl2/fuzzyowl2/fuzzyowl2.py,sha256=TYnSLXK-oR7jsOEFR46WryA0gKVBLbBI0_3Cd-dHUuU,71691
 fuzzy_dl_owl2/fuzzyowl2/fuzzyowl2_to_fuzzydl.py,sha256=egspxTzY4kNvhsQLP0AAaqJgFUqyO6VJuXLLOej06PA,36994
 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
@@ -137,7 +137,7 @@ fuzzy_dl_owl2/fuzzyowl2/owl_types/linear_function.py,sha256=3MZR09E0AhUTEHQZY_RU
 fuzzy_dl_owl2/fuzzyowl2/owl_types/linear_modifier.py,sha256=CIm4rlSuvcI9dqLscASFHexjHKcJ06Wg3fZy__tw7H4,340
 fuzzy_dl_owl2/fuzzyowl2/owl_types/modified_concept.py,sha256=JdjSemKb-mnVtVQhHnk_OAU8cvB3YRRmmEF0DLrtdXk,555
 fuzzy_dl_owl2/fuzzyowl2/owl_types/modified_function.py,sha256=3_GFKWMU4YrPrMC7bhEm7GDUKtCko8H5wx2dpGdXGZc,428
-fuzzy_dl_owl2/fuzzyowl2/owl_types/modified_property.py,sha256=uA7PlBGCbHcrjqYHIDWgsIvI_x3dpzTEJKtEfNRivwA,384
+fuzzy_dl_owl2/fuzzyowl2/owl_types/modified_property.py,sha256=d94ZQRWJ_BoH0lvM_XuwexeAlQGDZDB6Lq0WaO9acaQ,545
 fuzzy_dl_owl2/fuzzyowl2/owl_types/owa_concept.py,sha256=rQNp8zSQ-tQYwcJsc3sCVhG1chtZ7Ev1MumSBOPbOwI,659
 fuzzy_dl_owl2/fuzzyowl2/owl_types/property_definition.py,sha256=5NZd22GcaPQKCrIZwCGzPgx1M5h41A3tH9qKI_m2WVc,268
 fuzzy_dl_owl2/fuzzyowl2/owl_types/qowa_concept.py,sha256=yfErtkNIWWW-QUgA4T6F7tL-sCPC0GXYYkR2xT8LHKk,598
@@ -152,11 +152,13 @@ fuzzy_dl_owl2/fuzzyowl2/owl_types/weighted_max_concept.py,sha256=NEIshfx9h4XyvfO
 fuzzy_dl_owl2/fuzzyowl2/owl_types/weighted_min_concept.py,sha256=_sEao87lwH2fKspVR_NrpilFwuI6g25E1mNDI55dtYk,510
 fuzzy_dl_owl2/fuzzyowl2/owl_types/weighted_sum_concept.py,sha256=TrX3-M-LrG-5XgEo6LY8JESZpYwcaIX4rOCU8wfWE4k,510
 fuzzy_dl_owl2/fuzzyowl2/owl_types/weighted_sum_zero_concept.py,sha256=OJW8-ZJXvYTFHrqC8hpVBTY6SwLCTTIe72MSAO3H7hk,524
-fuzzy_dl_owl2/fuzzyowl2/parser/__init__.py,sha256=fKaME_uuWyG5UB7VKD-nMV-j95lC1jWV6E6vD59yM4M,27
-fuzzy_dl_owl2/fuzzyowl2/parser/owl2_parser.py,sha256=wSE5FBCfv3t-XePJ9Pzyr_EVFTPWtMrtMyqHNgKd9aw,20052
-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.5.dist-info/LICENSE,sha256=er4Z7Ju3OzYUG5mbhh0krYVegIuv4PgehMzihVb2wpc,20131
-fuzzy_dl_owl2-1.0.5.dist-info/METADATA,sha256=uPCNsrud2pSsRiLl4hydpRIAehnILDZcLgZF3iLs3y4,13057
-fuzzy_dl_owl2-1.0.5.dist-info/WHEEL,sha256=b4K_helf-jlQoXBBETfwnf4B04YC67LOev0jo4fX5m8,88
-fuzzy_dl_owl2-1.0.5.dist-info/RECORD,,
+fuzzy_dl_owl2/fuzzyowl2/parser/__init__.py,sha256=HjRhpobpAAB569symjAAoN98RVIqo0P6KtsVLDxC3Ok,60
+fuzzy_dl_owl2/fuzzyowl2/parser/owl2_parser.py,sha256=6rwMT_dGaaaKZQRotGiidbwqCOpLuPkyXaHXGQ5CV1k,20068
+fuzzy_dl_owl2/fuzzyowl2/parser/owl2_xml_parser.py,sha256=qbx6SsrYUdDOn1-qClq-0ECIZ24MKPJCeAuvl6rwk_s,11234
+fuzzy_dl_owl2/fuzzyowl2/util/__init__.py,sha256=4qG4CwkdYoT0vh3uX9N8DlmXh4QfKimVUqR4h2DR8Gg,50
+fuzzy_dl_owl2/fuzzyowl2/util/constants.py,sha256=Oev5Q-H4mhmdvV3nrp0fZKZx8jpo9beXjJwm0dfDUSc,6970
+fuzzy_dl_owl2/fuzzyowl2/util/fuzzy_xml.py,sha256=iYAodtBkZYt3cOvMBA0VEMOU87ljb-06_aUfH14gvwE,3416
+fuzzy_dl_owl2-1.0.7.dist-info/LICENSE,sha256=er4Z7Ju3OzYUG5mbhh0krYVegIuv4PgehMzihVb2wpc,20131
+fuzzy_dl_owl2-1.0.7.dist-info/METADATA,sha256=NM2tQrq1p7MNs5PbRMBl4ECC1qYG1EC-eqmWjTGHyNk,14681
+fuzzy_dl_owl2-1.0.7.dist-info/WHEEL,sha256=b4K_helf-jlQoXBBETfwnf4B04YC67LOev0jo4fX5m8,88
+fuzzy_dl_owl2-1.0.7.dist-info/RECORD,,