FAME(Q): an automated tool for forgetting in description logics with qualified number restrictions (Q2305440)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | FAME(Q): an automated tool for forgetting in description logics with qualified number restrictions |
scientific article |
Statements
FAME(Q): an automated tool for forgetting in description logics with qualified number restrictions (English)
0 references
10 March 2020
0 references
