Generating Armstrong ABoxes for \(\mathcal{ALC}\) TBoxes (Q1623135)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Generating Armstrong ABoxes for \(\mathcal{ALC}\) TBoxes |
scientific article; zbMATH DE number 6983509
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Generating Armstrong ABoxes for \(\mathcal{ALC}\) TBoxes |
scientific article; zbMATH DE number 6983509 |
Statements
Generating Armstrong ABoxes for \(\mathcal{ALC}\) TBoxes (English)
0 references
23 November 2018
0 references
0.81401217
0 references
0.80393106
0 references
0 references
0 references
0 references
0.79304326
0 references
0 references
0 references
