From 6bd0b51aade6ad82dfa4e4d9c78db347bcaaa3a2 Mon Sep 17 00:00:00 2001
From: Federico Igne <federico.igne@cs.ox.ac.uk>
Date: Mon, 7 Dec 2020 20:04:15 +0000
Subject: Fix bug for data property translation

---
 src/main/scala/uk/ac/ox/cs/rsacomb/converter/RDFoxConverter.scala | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/main/scala/uk/ac/ox/cs/rsacomb/converter/RDFoxConverter.scala b/src/main/scala/uk/ac/ox/cs/rsacomb/converter/RDFoxConverter.scala
index 6c83caf..6193296 100644
--- a/src/main/scala/uk/ac/ox/cs/rsacomb/converter/RDFoxConverter.scala
+++ b/src/main/scala/uk/ac/ox/cs/rsacomb/converter/RDFoxConverter.scala
@@ -225,7 +225,7 @@ trait RDFoxConverter {
         * @see [[org.semanticweb.owlapi.model.OWLDataPropertyAssertionAxiom OWLDataPropertyAssertionAxiom]]
         */
       case a: OWLDataPropertyAssertionAxiom =>
-        if (!a.getSubject.isNamed || !a.getObject.isNamed)
+        if (!a.getSubject.isNamed)
           Result()
         else {
           val subj = a.getSubject.asOWLNamedIndividual.getIRI
-- 
cgit v1.2.3