| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | CanonicalModel.scala | 7938 | logplainblame |
| -rw-r--r-- | FilteringProgram.scala | 10964 | logplainblame |
| -rw-r--r-- | Main.scala | 2944 | logplainblame |
| -rw-r--r-- | RSAOntology.scala | 16412 | logplainblame |
| d--------- | converter | 186 | logplain |
| d--------- | implicits | 171 | logplain |
| d--------- | sparql | 107 | logplain |
| d--------- | suffix | 43 | logplain |
| d--------- | util | 120 | logplain |
 |
index : RSAComb | |
| Re-implementation of the combined approach for CQ answering over RSA ontologies | Federico Igne |
| aboutsummaryrefslogtreecommitdiff |