| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | AnswerTuplesWriter.java | 1384 | logplainblame |
| -rw-r--r-- | BottomFragmentManager.java | 3878 | logplainblame |
| -rw-r--r-- | QueryTracker.java | 17530 | logplainblame |
| -rw-r--r-- | TrackingRuleEncoder.java | 13271 | logplainblame |
| -rw-r--r-- | TrackingRuleEncoderDisj.java | 6736 | logplainblame |
| -rw-r--r-- | TrackingRuleEncoderDisj1.java | 6372 | logplainblame |
| -rw-r--r-- | TrackingRuleEncoderDisj2.java | 3792 | logplainblame |
| -rw-r--r-- | TrackingRuleEncoderDisjVar1.java | 16763 | logplainblame |
| -rw-r--r-- | TrackingRuleEncoderDisjVar2.java | 8571 | logplainblame |
| -rw-r--r-- | TrackingRuleEncoderWithGap.java | 4339 | logplainblame |
| -rw-r--r-- | TrackingRuleEncoderWithoutGap.java | 4097 | logplainblame |
 |
index : ACQuA | |
| OWL reasoner for CQ answering combining RSAComb, PAGOdA and a sprinkle of HermiT. | Federico Igne |
| aboutsummaryrefslogtreecommitdiff |