From 00599fb297c0f990f5a0abaa7d24d796ac061136 Mon Sep 17 00:00:00 2001
From: Victor Chavez <47216966+vChavezB@users.noreply.github.com>
Date: Thu, 4 Jan 2024 00:17:51 +0100
Subject: [PATCH] Fix missing imports

Added missing imports for correct use with Protege and owlapi
---
 ontologies/math.ttl | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/ontologies/math.ttl b/ontologies/math.ttl
index c3cc76a..5a33cb9 100644
--- a/ontologies/math.ttl
+++ b/ontologies/math.ttl
@@ -8,6 +8,8 @@
 
 <http://openmath.org/vocab/math>
   rdf:type owl:Ontology ;
+  owl:imports <http://www.w3.org/2000/01/rdf-schema> ,
+              <http://www.w3.org/1999/02/22-rdf-syntax-ns> 
 .
 :Application
   rdf:type owl:Class ;
@@ -378,4 +380,4 @@ OpenMath objects can be attributed with OpenMath foreign objects, which are cont
 .
 :variables
   rdf:type owl:ObjectProperty ;
-.
\ No newline at end of file
+.