| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | ApproxProgram.java | 3317 | logplainblame |
| -rw-r--r-- | Approximator.java | 1518 | logplainblame |
| -rw-r--r-- | DatalogProgram.java | 1594 | logplainblame |
| -rw-r--r-- | DisjunctiveProgram.java | 396 | logplainblame |
| -rw-r--r-- | EqualityAxiomatiser.java | 3468 | logplainblame |
| -rw-r--r-- | ExistentialProgram.java | 390 | logplainblame |
| -rw-r--r-- | ExistentialToDisjunctive.java | 2416 | logplainblame |
| -rw-r--r-- | GeneralProgram.java | 1160 | logplainblame |
| -rw-r--r-- | IncrementalProgram.java | 292 | logplainblame |
| -rw-r--r-- | LowerDatalogProgram.java | 7314 | logplainblame |
| -rw-r--r-- | OverApproxBoth.java | 773 | logplainblame |
| -rw-r--r-- | OverApproxDisj.java | 3048 | logplainblame |
| -rw-r--r-- | OverApproxExist.java | 9135 | logplainblame |
| -rw-r--r-- | Program.java | 14031 | logplainblame |
| -rw-r--r-- | UpperDatalogProgram.java | 1160 | logplainblame |
| -rw-r--r-- | UpperProgram.java | 185 | logplainblame |
 |
index : ACQuA | |
| OWL reasoner for CQ answering combining RSAComb, PAGOdA and a sprinkle of HermiT. | Federico Igne |
| aboutsummaryrefslogtreecommitdiff |