Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | CanonicalModel.scala | 6841 | logplainblame |
-rw-r--r-- | FilteringProgram.scala | 12136 | logplainblame |
-rw-r--r-- | Main.scala | 1984 | logplainblame |
-rw-r--r-- | RDFTriple.scala | 1934 | logplainblame |
-rw-r--r-- | RDFoxAxiomConverter.scala | 2845 | logplainblame |
-rw-r--r-- | RDFoxClassExprConverter.scala | 5094 | logplainblame |
-rw-r--r-- | RDFoxPropertyExprConverter.scala | 1050 | logplainblame |
-rw-r--r-- | RDFoxRuleShards.scala | 149 | logplainblame |
-rw-r--r-- | RDFoxUtil.scala | 2326 | logplainblame |
-rw-r--r-- | RSA.scala | 1657 | logplainblame |
-rw-r--r-- | RSAAxiom.scala | 5605 | logplainblame |
-rw-r--r-- | RSAOntology.scala | 10081 | logplainblame |
-rw-r--r-- | RSASuffix.scala | 327 | logplainblame |
-rw-r--r-- | SkolemStrategy.scala | 1781 | logplainblame |