| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | CanonicalModel.scala | 6864 | logplainblame |
| -rw-r--r-- | FilteringProgram.scala | 12120 | 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 | 2357 | logplainblame |
| -rw-r--r-- | RSA.scala | 1657 | logplainblame |
| -rw-r--r-- | RSAAxiom.scala | 5605 | logplainblame |
| -rw-r--r-- | RSAOntology.scala | 11571 | logplainblame |
| -rw-r--r-- | RSASuffix.scala | 327 | logplainblame |
| -rw-r--r-- | SkolemStrategy.scala | 1781 | logplainblame |
 |
index : RSAComb | |
| Re-implementation of the combined approach for CQ answering over RSA ontologies | Federico Igne |
| aboutsummaryrefslogtreecommitdiff |