From f6da836197b6383845843594f509fad1b48b36ce Mon Sep 17 00:00:00 2001
From: Jesper Friis <jesper.friis@sintef.no>
Date: Sat, 25 May 2024 14:11:05 +0200
Subject: [PATCH] Fixed some misplaced data properties

---
 disciplines/computerscience.ttl | 17 ++++-------------
 disciplines/math.ttl            |  1 +
 2 files changed, 5 insertions(+), 13 deletions(-)

diff --git a/disciplines/computerscience.ttl b/disciplines/computerscience.ttl
index b4481d56..fe8d1678 100644
--- a/disciplines/computerscience.ttl
+++ b/disciplines/computerscience.ttl
@@ -34,10 +34,6 @@
 owl:qualifiedCardinality rdf:type owl:AnnotationProperty .
 
 
-###  https://w3id.org/emmo#EMMO_faf79f53_749d_40b2_807c_d34244c192f4
-:EMMO_faf79f53_749d_40b2_807c_d34244c192f4 rdf:type owl:AnnotationProperty .
-
-
 #################################################################
 #    Datatypes
 #################################################################
@@ -46,6 +42,10 @@ owl:qualifiedCardinality rdf:type owl:AnnotationProperty .
 rdf:JSON rdf:type rdfs:Datatype .
 
 
+###  http://www.w3.org/1999/02/22-rdf-syntax-ns#HTML
+rdf:HTML rdf:type rdfs:Datatype .
+
+
 #################################################################
 #    Object Properties
 #################################################################
@@ -58,10 +58,6 @@ rdf:JSON rdf:type rdfs:Datatype .
                                            :EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9 "Relates a resource to its identifier."@en .
 
 
-###  https://w3id.org/emmo#EMMO_e1097637_70d2_4895_973f_2396f04fa204
-:EMMO_e1097637_70d2_4895_973f_2396f04fa204 rdf:type owl:ObjectProperty .
-
-
 #################################################################
 #    Data properties
 #################################################################
@@ -86,11 +82,6 @@ rdf:JSON rdf:type rdfs:Datatype .
                                            skos:prefLabel "hasURNValue"@en .
 
 
-###  https://w3id.org/emmo#EMMO_faf79f53_749d_40b2_807c_d34244c192f4
-:EMMO_faf79f53_749d_40b2_807c_d34244c192f4 rdf:type owl:DatatypeProperty ;
-                                           rdfs:domain :EMMO_8b305b63_6fa3_44dd_9679_17eb8403a07a .
-
-
 #################################################################
 #    Classes
 #################################################################
diff --git a/disciplines/math.ttl b/disciplines/math.ttl
index c76ff844..8e96cb47 100644
--- a/disciplines/math.ttl
+++ b/disciplines/math.ttl
@@ -71,6 +71,7 @@ owl:qualifiedCardinality rdf:type owl:AnnotationProperty .
                                            rdfs:subPropertyOf :EMMO_b6292331_94af_4f00_976b_ea55960c2f1c ;
                                            rdf:type owl:FunctionalProperty ;
                                            :EMMO_c7b62dd7_063a_4c2a_8504_42f7264ba83f "The owl:dataProperty that provides a serialisation of an EMMO numerical data entity." ;
+                                           rdfs:domain :EMMO_8b305b63_6fa3_44dd_9679_17eb8403a07a ;
                                            skos:prefLabel "hasNumberValue"@en .