Add script for counting Abox axioms.

INCATools · Jul 1, 2024 · 97b870b · 97b870b
1 parent f0c876d
commit 97b870b
Showing 1 changed file with 15 additions and 0 deletions.
diff --git a/scala/abox-axioms.sc b/scala/abox-axioms.sc
@@ -0,0 +1,15 @@
+//> using scala "2.13"
+//> using dep "net.sourceforge.owlapi:owlapi-distribution:4.5.29"
+
+import org.semanticweb.owlapi.model.parameters.Imports
+import org.semanticweb.owlapi.apibinding.OWLManager
+import java.io.File
+
+val modelsFolder = args(0)
+val manager = OWLManager.createOWLOntologyManager()
+val models = new File(modelsFolder)
+  .listFiles()
+  .foreach { file =>
+    val model = manager.loadOntologyFromOntologyDocument(file)
+    println(model.getLogicalAxiomCount(Imports.EXCLUDED))
+  }