Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | FilteringProgram.scala | 12136 | logplainblame |
-rw-r--r-- | Main.scala | 1820 | logplainblame |
-rw-r--r-- | RDFTriple.scala | 1934 | logplainblame |
-rw-r--r-- | RDFoxAxiomConverter.scala | 2778 | logplainblame |
-rw-r--r-- | RDFoxClassExprConverter.scala | 4975 | logplainblame |
-rw-r--r-- | RDFoxPropertyExprConverter.scala | 983 | logplainblame |
-rw-r--r-- | RDFoxRuleShards.scala | 149 | logplainblame |
-rw-r--r-- | RDFoxUtil.scala | 1832 | logplainblame |
-rw-r--r-- | RSA.scala | 1890 | logplainblame |
-rw-r--r-- | RSAAxiom.scala | 5389 | logplainblame |
-rw-r--r-- | RSAOntology.scala | 6712 | logplainblame |
-rw-r--r-- | SkolemStrategy.scala | 1781 | logplainblame |