fixes #347

d3fend · Dec 31, 2024 · de219fd · de219fd
1 parent 72a7b8e
commit de219fd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/ontology/d3fend-protege.ttl b/src/ontology/d3fend-protege.ttl
@@ -33472,7 +33472,7 @@ This specification defines the Trusted Platform Module (TPM) a device that enabl
 :Reference-TypeSystems_Princeton a :ExternalKnowledgeBase,
         owl:NamedIndividual ;
     rdfs:label "Reference - Type Systems" ;
-    :has-link "https://www.cs.princeton.edu/courses/archive/fall98/cs441/mainus/node4.html "^^xsd:anyURI ;
+    :has-link "https://www.cs.princeton.edu/courses/archive/fall98/cs441/mainus/node4.html"^^xsd:anyURI ;
     :kb-organization "Princeton University" ;
     :kb-reference-of :VariableTypeValidation ;
     :kb-reference-title "Why type checking?" .