| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | CanonicalModel.scala | 8865 | logplainblame |
| -rw-r--r-- | FilteringProgram.scala | 12838 | logplainblame |
| -rw-r--r-- | Main.scala | 5933 | logplainblame |
| -rw-r--r-- | RDFoxAxiomConverter.scala | 3428 | logplainblame |
| -rw-r--r-- | RDFoxClassExprConverter.scala | 5112 | logplainblame |
| -rw-r--r-- | RDFoxPropertyExprConverter.scala | 1170 | logplainblame |
| -rw-r--r-- | RDFoxRuleShards.scala | 174 | logplainblame |
| -rw-r--r-- | RDFoxUtil.scala | 2790 | logplainblame |
| -rw-r--r-- | RSA.scala | 1680 | logplainblame |
| -rw-r--r-- | RSAAtom.scala | 2780 | logplainblame |
| -rw-r--r-- | RSAAxiom.scala | 5023 | logplainblame |
| -rw-r--r-- | RSAOntology.scala | 10936 | logplainblame |
| -rw-r--r-- | RSASuffix.scala | 836 | logplainblame |
| -rw-r--r-- | SkolemStrategy.scala | 2298 | logplainblame |
 |
index : RSAComb | |
| Re-implementation of the combined approach for CQ answering over RSA ontologies | Federico Igne |
| aboutsummaryrefslogtreecommitdiff |