Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | CanonicalModel.scala | 2670 | logplainblame |
-rw-r--r-- | FilteringProgram.scala | 12136 | logplainblame |
-rw-r--r-- | Main.scala | 2477 | logplainblame |
-rw-r--r-- | RDFTriple.scala | 1934 | logplainblame |
-rw-r--r-- | RDFoxAxiomConverter.scala | 2845 | logplainblame |
-rw-r--r-- | RDFoxClassExprConverter.scala | 5085 | logplainblame |
-rw-r--r-- | RDFoxPropertyExprConverter.scala | 1050 | logplainblame |
-rw-r--r-- | RDFoxRuleShards.scala | 149 | logplainblame |
-rw-r--r-- | RDFoxUtil.scala | 2121 | logplainblame |
-rw-r--r-- | RSA.scala | 1524 | logplainblame |
-rw-r--r-- | RSAAxiom.scala | 5389 | logplainblame |
-rw-r--r-- | RSAOntology.scala | 7472 | logplainblame |
-rw-r--r-- | RSASuffix.scala | 327 | logplainblame |
-rw-r--r-- | SkolemStrategy.scala | 1781 | logplainblame |