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

fuzzy_dl_owl2/fuzzydl/fuzzydl_to_owl2.py

@@ -4,8 +4,9 @@ import os
 import sys
 import typing
 from functools import partial
+import urllib.parse
 
-from rdflib import RDF, XSD, Literal, Namespace, URIRef
+from rdflib import RDF, RDFS, XSD, Literal, Namespace, URIRef
 
 from fuzzy_dl_owl2.fuzzydl.assertion.assertion import Assertion
 from fuzzy_dl_owl2.fuzzydl.concept.all_some_concept import AllSomeConcept
@@ -61,6 +62,7 @@ from fuzzy_dl_owl2.fuzzydl.primitive_concept_definition import (
     PrimitiveConceptDefinition,
 )
 from fuzzy_dl_owl2.fuzzydl.util import constants
+from fuzzy_dl_owl2.fuzzydl.util.config_reader import ConfigReader
 from fuzzy_dl_owl2.fuzzydl.util.constants import ConceptType, ConcreteFeatureType
 from fuzzy_dl_owl2.fuzzydl.util.util import Util
 from fuzzy_dl_owl2.fuzzyowl2.util.constants import FuzzyOWL2Keyword
@@ -128,8 +130,7 @@ from pyowl2.expressions.object_property import OWLObjectProperty
 from pyowl2.individual.named_individual import OWLNamedIndividual
 from pyowl2.literal.literal import OWLLiteral
 from pyowl2.ontology import OWLOntology
-
-from fuzzy_dl_owl2.fuzzydl.util.config_reader import ConfigReader
+import urllib
 
 
 # @utils.timer_decorator
@@ -143,10 +144,12 @@ class FuzzydlToOwl2:
         # base_iri: str = "http://www.semanticweb.org/ontologies/fuzzydl_ontology.owl",
         base_iri: str = "http://www.semanticweb.org/ontologies/fuzzydl_ontology#",
     ) -> None:
+        base_iri = urllib.parse.urlparse(base_iri).geturl().rstrip("/").rstrip("#")
+        
         self.num_classes: int = 0
         self.kb, _ = DLParser.get_kb(input_file)
-        self.ontology_path: str = base_iri
-        self.ontology_iri: IRI = IRI(Namespace(URIRef(base_iri)))
+        self.ontology_path: str = f"{base_iri}#"
+        self.ontology_iri: IRI = IRI(Namespace(URIRef(self.ontology_path)))
         self.ontology: OWLOntology = OWLOntology(
             self.ontology_iri, OWL1_annotations=True
         )
@@ -154,7 +157,19 @@ class FuzzydlToOwl2:
             IRI(self.ontology_iri.namespace, ConfigReader.OWL_ANNOTATION_LABEL)
         )
 
-        self.ontology.add_axiom(OWLDeclaration(self.fuzzyLabel))
+        self.ontology.add_axiom(
+            OWLDeclaration(
+                self.fuzzyLabel,
+                [
+                    OWLAnnotation(
+                        OWLAnnotationProperty(URIRef(RDFS.label)),
+                        OWLLiteral(
+                            Literal(ConfigReader.OWL_ANNOTATION_LABEL, lang="en")
+                        ),
+                    )
+                ],
+            )
+        )
 
         self.concepts: dict[str, OWLClassExpression] = dict()
         self.datatypes: dict[str, OWLDatatype] = dict()
@@ -162,9 +177,46 @@ class FuzzydlToOwl2:
         self.input_FDL: str = input_file
         self.output_FOWL: str = os.path.join(constants.RESULTS_PATH, output_file)
 
-    def iri(self, o: object) -> IRI:
+    def iri(self, o: object, iri_type: type = OWLClass) -> IRI:
         """Convert object to IRI string"""
-        return IRI(self.ontology_iri.namespace, str(o))
+        namespace: URIRef = self.ontology_iri.namespace
+        if iri_type == OWLClass:
+            namespace = Namespace(f"{self.ontology_path[:-1]}/class#")
+        elif iri_type == OWLDataProperty:
+            namespace = Namespace(f"{self.ontology_path[:-1]}/data-property#")
+        elif iri_type == OWLObjectProperty:
+            namespace = Namespace(f"{self.ontology_path[:-1]}/object-property#")
+        elif iri_type == OWLNamedIndividual:
+            namespace = Namespace(f"{self.ontology_path[:-1]}/individual#")
+        elif iri_type == OWLDatatype:
+            namespace = Namespace(f"{self.ontology_path[:-1]}/datatype#")
+        elif iri_type == OWLAnnotationProperty:
+            namespace = Namespace(f"{self.ontology_path[:-1]}/annotation-property#")
+        return IRI(namespace, str(o))
+
+    def individual_iri(self, o: object) -> IRI:
+        """Convert individual object to IRI string"""
+        return self.iri(o, OWLNamedIndividual)
+
+    def class_iri(self, o: object) -> IRI:
+        """Convert class to IRI string"""
+        return self.iri(o, OWLClass)
+
+    def data_property_iri(self, o: object) -> IRI:
+        """Convert data property to IRI string"""
+        return self.iri(o, OWLDataProperty)
+
+    def object_property_iri(self, o: object) -> IRI:
+        """Convert object property to IRI string"""
+        return self.iri(o, OWLObjectProperty)
+
+    def datatype_iri(self, o: object) -> IRI:
+        """Convert datatype to IRI string"""
+        return self.iri(o, OWLDatatype)
+
+    def annotation_property_iri(self, o: object) -> IRI:
+        """Convert datatype to IRI string"""
+        return self.iri(o, OWLAnnotationProperty)
 
     def get_base(self, c: Concept) -> OWLClassExpression:
         """Get the base class for a concept"""
@@ -189,8 +241,18 @@ class FuzzydlToOwl2:
 
     def __get_class_1(self, name: str) -> OWLClassExpression:
         """Get or create an OWL class by name"""
-        cls = OWLClass(self.iri(name))
-        self.ontology.add_axiom(OWLDeclaration(cls))
+        cls = OWLClass(self.class_iri(name))
+        self.ontology.add_axiom(
+            OWLDeclaration(
+                cls,
+                [
+                    OWLAnnotation(
+                        OWLAnnotationProperty(URIRef(RDFS.label)),
+                        OWLLiteral(Literal(name, lang="en")),
+                    )
+                ],
+            )
+        )
         return cls
 
     def __get_class_2(self, c: Concept) -> OWLClassExpression:
@@ -199,7 +261,17 @@ class FuzzydlToOwl2:
         c_type: ConceptType = c.type
         if c_type in (ConceptType.ATOMIC, ConceptType.CONCRETE):
             cls = self.get_class(str(c))
-            self.ontology.add_axiom(OWLDeclaration(cls))
+            self.ontology.add_axiom(
+                OWLDeclaration(
+                    cls,
+                    [
+                        OWLAnnotation(
+                            OWLAnnotationProperty(URIRef(RDFS.label)),
+                            OWLLiteral(Literal(str(c), lang="en")),
+                        )
+                    ],
+                )
+            )
             return cls
         elif c_type == ConceptType.TOP:
             return OWLClass.thing()
@@ -382,8 +454,18 @@ class FuzzydlToOwl2:
             return self.__get_class_weighted(c)
         elif c_type == ConceptType.QUANTIFIED_OWA:
             return self.__get_class_q_owa(c)
-        cls = OWLClass(self.iri(str(c)))
-        self.ontology.add_axiom(OWLDeclaration(cls))
+        cls = OWLClass(self.class_iri(str(c)))
+        self.ontology.add_axiom(
+            OWLDeclaration(
+                cls,
+                [
+                    OWLAnnotation(
+                        OWLAnnotationProperty(URIRef(RDFS.label)),
+                        OWLLiteral(Literal(str(c), lang="en")),
+                    )
+                ],
+            )
+        )
         return cls
 
     def __get_class_weighted_min_max_sum(self, c: Concept) -> OWLClassExpression:
@@ -528,14 +610,24 @@ class FuzzydlToOwl2:
 
         self.num_classes += 1
         Util.debug(f"Creating new atomic concept -> {name}")
-        c2: OWLClass = OWLClass(self.iri(f"class__{self.num_classes}"))
+        c2: OWLClass = OWLClass(self.class_iri(f"class__{self.num_classes}"))
         self.concepts[name] = c2
-        self.ontology.add_axiom(OWLDeclaration(c2))
+        self.ontology.add_axiom(
+            OWLDeclaration(
+                c2,
+                [
+                    OWLAnnotation(
+                        OWLAnnotationProperty(URIRef(RDFS.label)),
+                        OWLLiteral(Literal(name, lang="en")),
+                    )
+                ],
+            )
+        )
         return c2
 
     def exist_object_property(self, role: str) -> bool:
         """Check if an object property exists"""
-        iri: IRI = self.iri(role)
+        iri: IRI = self.object_property_iri(role)
         return self.ontology.getter.exists_object_property(iri.to_uriref())
         # return any(
         #     typing.cast(OWLObjectProperty, typing.cast(OWLDeclaration, prop).entity).iri
@@ -545,7 +637,7 @@ class FuzzydlToOwl2:
 
     def exist_data_property(self, role: str) -> bool:
         """Check if a data property exists"""
-        iri: IRI = self.iri(role)
+        iri: IRI = self.data_property_iri(role)
         return self.ontology.getter.exists_data_property(iri.to_uriref())
         # return any(
         #     typing.cast(OWLDataProperty, typing.cast(OWLDeclaration, prop).entity).iri
@@ -560,8 +652,18 @@ class FuzzydlToOwl2:
         Util.debug(f"Getting object property -> {role}")
         if self.exist_data_property(role):
             return self.get_data_property(role)
-        obj = OWLObjectProperty(self.iri(role))
-        self.ontology.add_axiom(OWLDeclaration(obj))
+        obj = OWLObjectProperty(self.object_property_iri(role))
+        self.ontology.add_axiom(
+            OWLDeclaration(
+                obj,
+                [
+                    OWLAnnotation(
+                        OWLAnnotationProperty(URIRef(RDFS.label)),
+                        OWLLiteral(Literal(role, lang="en")),
+                    )
+                ],
+            )
+        )
         return obj
 
     def get_data_property(
@@ -571,15 +673,35 @@ class FuzzydlToOwl2:
         Util.debug(f"Getting data property -> {role}")
         if self.exist_object_property(role):
             return self.get_object_property(role)
-        data = OWLDataProperty(self.iri(role))
-        self.ontology.add_axiom(OWLDeclaration(data))
+        data = OWLDataProperty(self.data_property_iri(role))
+        self.ontology.add_axiom(
+            OWLDeclaration(
+                data,
+                [
+                    OWLAnnotation(
+                        OWLAnnotationProperty(URIRef(RDFS.label)),
+                        OWLLiteral(Literal(role, lang="en")),
+                    )
+                ],
+            )
+        )
         return data
 
     def get_individual(self, name: str) -> OWLNamedIndividual:
         """Get or create a named individual"""
         Util.debug(f"Getting individual -> {name}")
-        ind = OWLNamedIndividual(self.iri(f"{name}_Individual"))
-        self.ontology.add_axiom(OWLDeclaration(ind))
+        ind = OWLNamedIndividual(self.individual_iri(f"{name}"))
+        self.ontology.add_axiom(
+            OWLDeclaration(
+                ind,
+                [
+                    OWLAnnotation(
+                        OWLAnnotationProperty(URIRef(RDFS.label)),
+                        OWLLiteral(Literal(name, lang="en")),
+                    )
+                ],
+            )
+        )
         return ind
 
     def to_owl_annotation(self, annotation: str) -> OWLAnnotation:
@@ -890,7 +1012,7 @@ class FuzzydlToOwl2:
     def _process_concrete_concept(self, c: FuzzyConcreteConcept) -> None:
         """Process a concrete concept"""
         Util.debug(f"Process concrete concept -> {c}")
-        current_datatype: OWLDatatype = OWLDatatype(self.iri(c))
+        current_datatype: OWLDatatype = OWLDatatype(self.datatype_iri(c))
         self.datatypes[str(c)] = current_datatype
 
         # specific: str = self._get_concrete_concept_specifics(c)
@@ -921,7 +1043,17 @@ class FuzzydlToOwl2:
         definition: OWLDatatypeDefinition = OWLDatatypeDefinition(
             current_datatype, unit_interval
         )
-        self.ontology.add_axiom(OWLDeclaration(current_datatype))
+        self.ontology.add_axiom(
+            OWLDeclaration(
+                current_datatype,
+                [
+                    OWLAnnotation(
+                        OWLAnnotationProperty(URIRef(RDFS.label)),
+                        OWLLiteral(Literal(str(c), lang="en")),
+                    )
+                ],
+            )
+        )
         self.ontology.add_axiom(definition)
 
         main_xml = FuzzyXML.build_main_xml(FuzzyOWL2Keyword.DATATYPE.get_str_value())
@@ -1020,9 +1152,19 @@ class FuzzydlToOwl2:
         main_xml.append(modifier_xml)
         annotation: str = FuzzyXML.to_str(main_xml)
 
-        current_datatype: OWLDatatype = OWLDatatype(self.iri(mod))
+        current_datatype: OWLDatatype = OWLDatatype(self.datatype_iri(mod))
         self.modifiers[str(mod)] = current_datatype
-        self.ontology.add_axiom(OWLDeclaration(current_datatype))
+        self.ontology.add_axiom(
+            OWLDeclaration(
+                current_datatype,
+                [
+                    OWLAnnotation(
+                        OWLAnnotationProperty(URIRef(RDFS.label)),
+                        OWLLiteral(Literal(str(mod), lang="en")),
+                    )
+                ],
+            )
+        )
         self.add_entity_annotation(annotation, current_datatype)
 
     def _process_assertion(self, ass: Assertion) -> None:

fuzzy_dl_owl2/fuzzydl/knowledge_base.py

@@ -10139,7 +10139,7 @@ class CreatedIndividualHandler:
     ) -> bool:
         """
         Gets if the individual is indirectly blocked with respect to a fuzzy KB.
-            Case SUBSET or SET blocking.
+        Case SUBSET or SET blocking.
         A node v is indirectly blocked iff one of its ancestors are blocked.
         """
         # Don't test if not deep enough in completion forest
@@ -10353,11 +10353,7 @@ class CreatedIndividualHandler:
     ) -> bool:
         """
         Gets if the individual is directly blocked with respect to a fuzzy KB.
-
-        A node v is directly blocked iff none of its ancestors are blocked
-        and there exists an ancestor w such that
-                                    L(v) = L(w),
-        where L(*) is the set of Concept's labels for a node.
+        A node v is directly blocked iff none of its ancestors are blocked and there exists an ancestor w such that L(v) = L(w), where L(*) is the set of Concept's labels for a node.
         In this case we say that w directly blocks v.
         """
         type: BlockingDynamicType = kb.blocking_type

{fuzzy_dl_owl2-1.0.8.dist-info → fuzzy_dl_owl2-1.0.9.dist-info}/METADATA

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

{fuzzy_dl_owl2-1.0.8.dist-info → fuzzy_dl_owl2-1.0.9.dist-info}/RECORD

@@ -65,13 +65,13 @@ fuzzy_dl_owl2/fuzzydl/exception/__init__.py,sha256=IoYY5IQoU4UYyoB-dFOVLZyDvJN20
 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=DXc2ZgjSqAIK5TauJzhcXgifQOB2ZkPxfElRAhJsGVw,6716
-fuzzy_dl_owl2/fuzzydl/fuzzydl_to_owl2.py,sha256=VjmHtokMAE0jC9jI8WjGeiCTQ-A8YmmUH14FEVTyrDU,53111
+fuzzy_dl_owl2/fuzzydl/fuzzydl_to_owl2.py,sha256=hBYvkfhgwdzhewvAHWUbhie6gNGyfuhVivdnHsDKPvE,57885
 fuzzy_dl_owl2/fuzzydl/general_concept_inclusion.py,sha256=X2gIpmKs0RsU7VoKILxpQdBs2yyLAIqWd5UWOAuk22M,2557
 fuzzy_dl_owl2/fuzzydl/individual/__init__.py,sha256=zBCa24kE2nv08VgtphjLshpbGNEARUJgCdtyv9r6JGc,110
 fuzzy_dl_owl2/fuzzydl/individual/created_individual.py,sha256=lERkUgXkhYJgLJjuEbqLHimd5O2ABuMkMDnNipliJtY,9293
 fuzzy_dl_owl2/fuzzydl/individual/individual.py,sha256=iQIqQvbrQ9XOQABVQTt9UF-3MTc2zrcZgBprNYWJfgA,4408
 fuzzy_dl_owl2/fuzzydl/individual/representative_individual.py,sha256=nayeaoV0B-9xO_I8mttHZTi1CWHs7X7ezhiIjQP7ZBs,1538
-fuzzy_dl_owl2/fuzzydl/knowledge_base.py,sha256=Ep0s4sTUy0cbL6xa9w9OmLfM-RmZXVIYD1nEX-HNJl0,449543
+fuzzy_dl_owl2/fuzzydl/knowledge_base.py,sha256=7KcbsRRUS6rsftknzXkDZKXUvlzH9NeqSw56UI8YQqI,449486
 fuzzy_dl_owl2/fuzzydl/label.py,sha256=gh4V0LTwzucaOWoV2n4JIATjs5EbxIIdtppOZttaiw0,1187
 fuzzy_dl_owl2/fuzzydl/milp/__init__.py,sha256=g2oFT2Ge8W5Li2kP2CJjpjJ1a0PRI2vDoDdzYDsEtDY,246
 fuzzy_dl_owl2/fuzzydl/milp/expression.py,sha256=KBGIBid5kZhOT5l4buWmAtPAvm_8JfK3lUNg10GhANg,7160
@@ -162,7 +162,7 @@ fuzzy_dl_owl2/fuzzyowl2/parser/owl2_xml_parser.py,sha256=qbx6SsrYUdDOn1-qClq-0EC
 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.8.dist-info/LICENSE,sha256=er4Z7Ju3OzYUG5mbhh0krYVegIuv4PgehMzihVb2wpc,20131
-fuzzy_dl_owl2-1.0.8.dist-info/METADATA,sha256=G8aFZIYWtLlCLW7wIYyYyECzzLRSfaATIK42YGLjHKk,43338
-fuzzy_dl_owl2-1.0.8.dist-info/WHEEL,sha256=b4K_helf-jlQoXBBETfwnf4B04YC67LOev0jo4fX5m8,88
-fuzzy_dl_owl2-1.0.8.dist-info/RECORD,,
+fuzzy_dl_owl2-1.0.9.dist-info/LICENSE,sha256=er4Z7Ju3OzYUG5mbhh0krYVegIuv4PgehMzihVb2wpc,20131
+fuzzy_dl_owl2-1.0.9.dist-info/METADATA,sha256=4ZAdUZlkFAlvimwzfmr2c6nwNElsiKGE8x4Ai7l4nI4,43763
+fuzzy_dl_owl2-1.0.9.dist-info/WHEEL,sha256=b4K_helf-jlQoXBBETfwnf4B04YC67LOev0jo4fX5m8,88
+fuzzy_dl_owl2-1.0.9.dist-info/RECORD,,