| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Improved the statistics that are generated for evaluating the system; ↵ | RncLsn | 2015-09-11 | 1 | -0/+13 |
| configuration file: now default and user-specified. | |||||
![]() |
index : ACQuA | |
| OWL reasoner for CQ answering combining RSAComb, PAGOdA and a sprinkle of HermiT. | Federico Igne |
| aboutsummaryrefslogtreecommitdiff |
| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Improved the statistics that are generated for evaluating the system; ↵ | RncLsn | 2015-09-11 | 1 | -0/+13 |
| configuration file: now default and user-specified. | |||||