1 files changed, 86 insertions, 0 deletions

diff --git a/src/main/scala/rsacomb/RSAAxiom.scala b/src/main/scala/rsacomb/RSAAxiom.scala
new file mode 100644
index 0000000..032b7f9
--- /dev/null
+++ b/src/main/scala/rsacomb/RSAAxiom.scala
@@ -0,0 +1,86 @@
+package rsacomb
+
+/* Java imports */
+// import java.io.File
+// import java.util.stream.{Collectors,Stream}
+
+// import org.semanticweb.owlapi.apibinding.OWLManager
+// import org.semanticweb.owlapi.model.{OWLOntologyManager,OWLOntology}
+// import org.semanticweb.owlapi.model.{OWLAxiom,OWLObjectPropertyExpression}
+import org.semanticweb.owlapi.model.{OWLAxiom,OWLSubClassOfAxiom, OWLEquivalentClassesAxiom}
+import org.semanticweb.owlapi.model.OWLAxiomVisitorEx
+// import org.semanticweb.owlapi.model.parameters.Imports
+// import org.semanticweb.owlapi.reasoner.OWLReasoner
+// import org.semanticweb.owlapi.reasoner.structural.StructuralReasonerFactory
+
+// import tech.oxfordsemantic.jrdfox.logic.Variable
+
+/* Scala imports */
+// import scala.collection.JavaConverters._
+
+/* Local imports */
+// import rsacomb.RSAAxiom 
+
+/* Debug only */
+// import org.semanticweb.owlapi.dlsyntax.renderer.DLSyntaxObjectRenderer
+
+// import java.util.HashMap
+// import java.util.stream.{Stream,Collectors}
+
+// import org.semanticweb.owlapi.model.{AxiomType, ClassExpressionType, OWLObjectSomeValuesFrom}
+// import org.semanticweb.owlapi.model.OWLClassExpression
+// import org.semanticweb.owlapi.model.IRI
+// import org.semanticweb.owlapi.reasoner.{OWLReasonerFactory, OWLReasoner}
+// import uk.ac.manchester.cs.owl.owlapi.OWLObjectPropertyImpl
+
+// import tech.oxfordsemantic.jrdfox.Prefixes
+// import tech.oxfordsemantic.jrdfox.client.{ConnectionFactory, ServerConnection, DataStoreConnection}
+// import tech.oxfordsemantic.jrdfox.client.UpdateType
+// import tech.oxfordsemantic.jrdfox.logic.{Rule, Atom, Literal, Term, Variable}
+// import tech.oxfordsemantic.jrdfox.logic.{BuiltinFunctionCall, TupleTableName}
+// import tech.oxfordsemantic.jrdfox.logic.{LogicFormat}
+
+
+// import rsacomb.SkolemStrategy
+//import org.semanticweb.owlapi.model.{OWLAxiom,OWLObjectPropertyExpression}
+
+trait RSAAxiom {
+
+  sealed trait RSAAxiomType
+  object RSAAxiomType {
+    case object T3 extends RSAAxiomType
+    case object T4 extends RSAAxiomType
+    case object T5 extends RSAAxiomType
+  }
+
+  implicit class RSAAxiom(axiom: OWLAxiom) {
+
+    private class RSAAxiomTypeDetector(t: RSAAxiomType)
+      extends OWLAxiomVisitorEx[Boolean]
+    {
+
+      override
+      def visit(axiom: OWLSubClassOfAxiom): Boolean = {
+        true
+      }
+
+      override
+      def visit(axiom: OWLEquivalentClassesAxiom): Boolean = {
+        true
+      }
+
+      def doDefault(axiom : OWLAxiom): Boolean = false
+
+    }
+
+    private def isOfType(t: RSAAxiomType): Boolean = {
+      val visitor = new RSAAxiomTypeDetector(t)
+      axiom.accept(visitor)
+    }
+
+    def isT3: Boolean = isOfType(RSAAxiomType.T3)
+    def isT4: Boolean = isOfType(RSAAxiomType.T4)
+    def isT5: Boolean = isOfType(RSAAxiomType.T5)
+  }
+
+}