| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | CanonicalModel.scala | 8594 | logplainblame |
| -rw-r--r-- | FilteringProgram.scala | 11265 | logplainblame |
| -rw-r--r-- | Main.scala | 6024 | logplainblame |
| -rw-r--r-- | RSAOntology.scala | 11161 | logplainblame |
| d--------- | converter | 267 | logplain |
| d--------- | implicits | 171 | logplain |
| d--------- | suffix | 43 | logplain |
| d--------- | util | 83 | logplain |
 |
index : RSAComb | |
| Re-implementation of the combined approach for CQ answering over RSA ontologies | Federico Igne |
| aboutsummaryrefslogtreecommitdiff |