Generalized satisfiability for the description logic \(\mathcal{ALC}\) (extended abstract) (Q3010434)
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: Generalized satisfiability for the description logic ALC (extended abstract) |
scientific article; zbMATH DE number 5916993
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Generalized satisfiability for the description logic \(\mathcal{ALC}\) (extended abstract) |
scientific article; zbMATH DE number 5916993 |
Statements
Generalized Satisfiability for the Description Logic $\mathcal{ALC}$ (English)
0 references
1 July 2011
0 references
0 references
0.970700979232788
0 references
0.8156664371490479
0 references
0.7936646938323975
0 references
