diff --git a/Types.jrag b/Types.jrag
new file mode 100644
index 0000000000000000000000000000000000000000..3abda036b8bebd7c1eac16ad7d195447a3ae7301
--- /dev/null
+++ b/Types.jrag
@@ -0,0 +1,15 @@
+/* -*-Java-*- */
+
+aspect Types {
+//     syn lazy Class Class.getSuperClass();
+//     eq OwlClassDecl.getSuperClass() {
+// 	for (int i=0; i<getNumElement(); i++) {
+// 	    if (getElement(i) instanceof RdfsSubClassOf) {
+// 		return getElement(i);
+// 	    }
+// 	}
+//     }
+//     eq OwlClassUse.getSuperClass() {
+// 	return null;
+//     }
+}
\ No newline at end of file