| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | ApproxProgram.java | 3246 | logplainblame |
| -rw-r--r-- | DatalogProgram.java | 2477 | logplainblame |
| -rw-r--r-- | DisjunctiveProgram.java | 459 | logplainblame |
| -rw-r--r-- | EqualityAxiomatiser.java | 3468 | logplainblame |
| -rw-r--r-- | ExistConstantApproximator.java | 841 | logplainblame |
| -rw-r--r-- | ExistentialProgram.java | 450 | logplainblame |
| -rw-r--r-- | ExistentialToDisjunctive.java | 2341 | logplainblame |
| -rw-r--r-- | GeneralProgram.java | 1226 | logplainblame |
| -rw-r--r-- | IncrementalProgram.java | 292 | logplainblame |
| -rw-r--r-- | LowerDatalogProgram.java | 7555 | logplainblame |
| -rw-r--r-- | Program.java | 13967 | logplainblame |
| -rw-r--r-- | UpperDatalogProgram.java | 1219 | logplainblame |
| -rw-r--r-- | UpperProgram.java | 251 | logplainblame |
| d--------- | approximators | 362 | logplain |
| d--------- | clauses | 39 | logplain |
 |
index : ACQuA | |
| OWL reasoner for CQ answering combining RSAComb, PAGOdA and a sprinkle of HermiT. | Federico Igne |
| aboutsummaryrefslogtreecommitdiff |