Erratum to: A resolution-based decision procedure for \({\mathcal{SHOIQ}}\) (Q928674)
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: Erratum to: A resolution-based decision procedure for \({\mathcal{SHOIQ}}\) |
scientific article; zbMATH DE number 5287726
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Erratum to: A resolution-based decision procedure for \({\mathcal{SHOIQ}}\) |
scientific article; zbMATH DE number 5287726 |
Statements
Erratum to: A resolution-based decision procedure for \({\mathcal{SHOIQ}}\) (English)
0 references
11 June 2008
0 references
Description logics
0 references
Resolution decision procedures
0 references
Nominals
0 references
0.724518895149231
0 references
0.7186794281005859
0 references
0.7110968232154846
0 references
0.7075516581535339
0 references
