Minor fix for fact++ (#817)

# Description Minor bugfix. Skip some additional datatypes when running FaCT++ and HermiT. Co-authored-by: Francesca L. Bleken <[email protected]>
emmo-repo · Dec 11, 2024 · de542a3 · de542a3
1 parent 6a0a455
commit de542a3
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/ontopy/ontology.py b/ontopy/ontology.py
@@ -1365,7 +1365,7 @@ def sync_reasoner(
             )
 
         if include_imported:
-            ontologies = self.get_imported_ontologies(recursive=True)
+            ontologies = [self] + self.get_imported_ontologies(recursive=True)
         else:
             ontologies = [self]
 
@@ -1382,6 +1382,8 @@ def sync_reasoner(
                 # Datatype instances that are known to crash the reasoner
                 datatypes = (
                     "http://www.w3.org/2002/07/owl#rational",
+                    "http://www.w3.org/1999/02/22-rdf-syntax-ns#HTML",
+                    "http://www.w3.org/1999/02/22-rdf-syntax-ns#JSON",
                     "http://www.w3.org/2001/XMLSchema#NCName",
                     "http://www.w3.org/2001/XMLSchema#NMTOKEN",
                     "http://www.w3.org/2001/XMLSchema#Name",