fuzzy-dl-owl2 1.0.0__py3-none-any.whl

fuzzy_dl_owl2/fuzzydl/concept/modified/linearly_modified_concept.py

@@ -0,0 +1,32 @@
+from __future__ import annotations
+
+import typing
+
+from fuzzy_dl_owl2.fuzzydl.concept.concept import Concept
+from fuzzy_dl_owl2.fuzzydl.concept.modified.modified_concept import ModifiedConcept
+from fuzzy_dl_owl2.fuzzydl.concept.operator_concept import OperatorConcept
+from fuzzy_dl_owl2.fuzzydl.modifier.modifier import Modifier
+
+
+class LinearlyModifiedConcept(ModifiedConcept):
+
+    def __init__(self, c: Concept, mod: Modifier) -> None:
+        super().__init__(c, mod)
+
+    def clone(self) -> typing.Self:
+        return LinearlyModifiedConcept(self.curr_concept, self.modifier)
+
+    def replace(self, a: Concept, c: Concept) -> typing.Self:
+        return -LinearlyModifiedConcept(self.curr_concept.replace(a, c), self.modifier)
+
+    def __neg__(self) -> Concept:
+        return OperatorConcept.not_(self)
+
+    def __and__(self, value: typing.Self) -> typing.Self:
+        return OperatorConcept.and_(self, value)
+
+    def __or__(self, value: typing.Self) -> typing.Self:
+        return OperatorConcept.or_(self, value)
+
+    def __hash__(self) -> int:
+        return hash(str(self))

fuzzy_dl_owl2/fuzzydl/concept/modified/modified_concept.py

@@ -0,0 +1,59 @@
+from __future__ import annotations
+
+import typing
+from abc import ABC
+
+from fuzzy_dl_owl2.fuzzydl.concept.concept import Concept
+from fuzzy_dl_owl2.fuzzydl.concept.interface.has_concept_interface import (
+    HasConceptInterface,
+)
+from fuzzy_dl_owl2.fuzzydl.concept.operator_concept import OperatorConcept
+from fuzzy_dl_owl2.fuzzydl.modifier.modifier import Modifier
+from fuzzy_dl_owl2.fuzzydl.util.constants import ConceptType
+
+
+class ModifiedConcept(Concept, HasConceptInterface, ABC):
+
+    def __init__(self, c: Concept, mod: Modifier) -> None:
+        Concept.__init__(self, ConceptType.MODIFIED)
+        HasConceptInterface.__init__(self, c)
+
+        self._modifier: Modifier = mod
+
+    @property
+    def modifier(self) -> Modifier:
+        return self._modifier
+
+    @modifier.setter
+    def modifier(self, value: Modifier) -> None:
+        self._modifier = value
+
+    def compute_name(self) -> str | None:
+        return f"({self.modifier} {self.curr_concept})"
+
+    def compute_atomic_concepts(self) -> set[typing.Self]:
+        return self.curr_concept.compute_atomic_concepts()
+
+    def get_roles(self) -> set[str]:
+        return self.curr_concept.get_roles()
+
+    def is_concrete(self) -> bool:
+        return self.curr_concept.is_concrete()
+
+    def replace(self, concept1: Concept, concept2: Concept) -> Concept:
+        return self
+
+    def __neg__(self) -> typing.Self:
+        return OperatorConcept.not_(self)
+
+    def __and__(self) -> typing.Self:
+        return OperatorConcept.and_(self)
+
+    def __or__(self) -> typing.Self:
+        return OperatorConcept.or_(self)
+
+    def __repr__(self) -> str:
+        return str(self)
+
+    def __str__(self) -> str:
+        return self.compute_name()

fuzzy_dl_owl2/fuzzydl/concept/modified/triangularly_modified_concept.py

@@ -0,0 +1,33 @@
+from __future__ import annotations
+
+import typing
+
+from fuzzy_dl_owl2.fuzzydl.concept.concept import Concept
+from fuzzy_dl_owl2.fuzzydl.concept.modified.modified_concept import ModifiedConcept
+from fuzzy_dl_owl2.fuzzydl.concept.operator_concept import OperatorConcept
+from fuzzy_dl_owl2.fuzzydl.modifier.modifier import Modifier
+
+
+class TriangularlyModifiedConcept(ModifiedConcept):
+    def __init__(self, c: Concept, mod: Modifier) -> None:
+        super().__init__(c, mod)
+
+    def clone(self) -> typing.Self:
+        return TriangularlyModifiedConcept(self.curr_concept, self.modifier)
+
+    def replace(self, a: Concept, c: Concept) -> Concept:
+        return -TriangularlyModifiedConcept(
+            self.curr_concept.replace(a, c), self.modifier
+        )
+
+    def __neg__(self) -> Concept:
+        return OperatorConcept.not_(self)
+
+    def __and__(self, value: typing.Self) -> typing.Self:
+        return OperatorConcept.and_(self, value)
+
+    def __or__(self, value: typing.Self) -> typing.Self:
+        return OperatorConcept.or_(self, value)
+
+    def __hash__(self) -> int:
+        return hash(str(self))

fuzzy_dl_owl2/fuzzydl/concept/negated_nominal.py

@@ -0,0 +1,42 @@
+import typing
+
+from fuzzy_dl_owl2.fuzzydl.concept.concept import Concept
+from fuzzy_dl_owl2.fuzzydl.concept.operator_concept import OperatorConcept
+from fuzzy_dl_owl2.fuzzydl.exception.fuzzy_ontology_exception import (
+    FuzzyOntologyException,
+)
+from fuzzy_dl_owl2.fuzzydl.util.constants import ConceptType
+
+
+class NegatedNominal(Concept):
+
+    def __init__(self, ind_name: str) -> None:
+        super().__init__(ConceptType.ATOMIC)
+        self._ind_name: str = ind_name
+        self.name: str = f"(not {{ {ind_name} }} )"
+
+    @property
+    def ind_name(self) -> str:
+        return self._ind_name
+
+    @ind_name.setter
+    def ind_name(self, value: str) -> None:
+        self._ind_name = value
+
+    def clone(self) -> typing.Self:
+        return NegatedNominal(self.ind_name)
+
+    def compute_name(self) -> str | None:
+        return self.name
+
+    def __neg__(self) -> typing.Self:
+        raise FuzzyOntologyException("Negated nominals cannot be complemented")
+
+    def __hash__(self) -> int:
+        return hash(str(self))
+
+    def __and__(self, value: typing.Self) -> typing.Self:
+        return OperatorConcept.and_(self, value)
+
+    def __or__(self, value: typing.Self) -> typing.Self:
+        return OperatorConcept.or_(self, value)