| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | CanonicalModel.scala | 8385 | logplainblame |
| -rw-r--r-- | FilteringProgram.scala | 11193 | logplainblame |
| -rw-r--r-- | Main.scala | 6012 | logplainblame |
| -rw-r--r-- | RDFoxAxiomConverter.scala | 3436 | logplainblame |
| -rw-r--r-- | RDFoxClassExprConverter.scala | 4933 | logplainblame |
| -rw-r--r-- | RDFoxPropertyExprConverter.scala | 1164 | logplainblame |
| -rw-r--r-- | RDFoxRuleShards.scala | 174 | logplainblame |
| -rw-r--r-- | RSA.scala | 2695 | logplainblame |
| -rw-r--r-- | RSAAtom.scala | 2769 | logplainblame |
| -rw-r--r-- | RSAAxiom.scala | 5286 | logplainblame |
| -rw-r--r-- | RSAOntology.scala | 10988 | logplainblame |
| -rw-r--r-- | RSASuffix.scala | 836 | logplainblame |
| -rw-r--r-- | SkolemStrategy.scala | 2298 | logplainblame |
| d--------- | implicits | 88 | logplain |
| d--------- | util | 46 | logplain |
 |
index : RSAComb | |
| Re-implementation of the combined approach for CQ answering over RSA ontologies | Federico Igne |
| aboutsummaryrefslogtreecommitdiff |