| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | CanonicalModel.scala | 7335 | logplainblame |
| -rw-r--r-- | FilteringProgram.scala | 13463 | logplainblame |
| -rw-r--r-- | Main.scala | 1938 | logplainblame |
| -rw-r--r-- | RDFTriple.scala | 2100 | logplainblame |
| -rw-r--r-- | RDFoxAxiomConverter.scala | 2853 | logplainblame |
| -rw-r--r-- | RDFoxClassExprConverter.scala | 5205 | logplainblame |
| -rw-r--r-- | RDFoxPropertyExprConverter.scala | 1178 | logplainblame |
| -rw-r--r-- | RDFoxRuleShards.scala | 174 | logplainblame |
| -rw-r--r-- | RDFoxUtil.scala | 2548 | logplainblame |
| -rw-r--r-- | RSA.scala | 1569 | logplainblame |
| -rw-r--r-- | RSAAxiom.scala | 5605 | logplainblame |
| -rw-r--r-- | RSAOntology.scala | 11732 | logplainblame |
| -rw-r--r-- | RSASuffix.scala | 327 | logplainblame |
| -rw-r--r-- | SkolemStrategy.scala | 1792 | logplainblame |
 |
index : RSAComb | |
| Re-implementation of the combined approach for CQ answering over RSA ontologies | Federico Igne |
| aboutsummaryrefslogtreecommitdiff |