From 8b7472fe17f623cb25ef10fb76bf36918aaafe85 Mon Sep 17 00:00:00 2001
From: Alkid <alkid1baci@gmail.com>
Date: Fri, 26 Apr 2024 22:25:56 +0200
Subject: [PATCH] fixed bug for type assertion when converting OWLDataHasValue

---
 owlapy/converter.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/owlapy/converter.py b/owlapy/converter.py
index 8ad9393..c83dbe5 100644
--- a/owlapy/converter.py
+++ b/owlapy/converter.py
@@ -498,7 +498,7 @@ def _(self, ce: OWLDataAllValuesFrom):
     def _(self, ce: OWLDataHasValue):
         property_expression = ce.get_property()
         value = ce.get_filler()
-        assert isinstance(value, OWLDataProperty)
+        assert isinstance(value, OWLLiteral)
         self.append_triple(self.current_variable, property_expression, value)
 
     @process.register