A resolution based description logic calculus (Q3074460)
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: A resolution based description logic calculus |
scientific article; zbMATH DE number 5848601
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A resolution based description logic calculus |
scientific article; zbMATH DE number 5848601 |
Statements
8 February 2011
0 references
DL calculus
0 references
SHQ language
0 references
0.797057032585144
0 references
0.7956246733665466
0 references
0.7888592481613159
0 references
0.7870677709579468
0 references
