From 208c92536c6e54133ca07174f18c1a5290e6d8cb Mon Sep 17 00:00:00 2001 From: Luke Friedrichs Date: Thu, 7 Nov 2024 22:23:54 +0100 Subject: [PATCH] changing _values to frozenset to allow for hashing --- owlapy/class_expression/restriction.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/owlapy/class_expression/restriction.py b/owlapy/class_expression/restriction.py index 911a718..cce981a 100644 --- a/owlapy/class_expression/restriction.py +++ b/owlapy/class_expression/restriction.py @@ -403,7 +403,7 @@ def __init__(self, values: OWLIndividual | Iterable[OWLIndividual]): else: for _ in values: assert isinstance(_, OWLIndividual) - self._values = {i for i in values} + self._values = frozenset(values) def individuals(self) -> Iterable[OWLIndividual]: """Gets the individuals that are in the oneOf. These individuals represent the exact instances (extension)