SAT encoding of unification in \(\mathcal{ELH}_{{R}^+}\) w.r.t. cycle-restricted ontologies (Q2908475)
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: SAT encoding of unification in ELH_R^+ w.r.t. cycle-restricted ontologies |
scientific article; zbMATH DE number 6076896
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | SAT encoding of unification in \(\mathcal{ELH}_{{R}^+}\) w.r.t. cycle-restricted ontologies |
scientific article; zbMATH DE number 6076896 |
Statements
SAT Encoding of Unification in $\mathcal{ELH}_{{R}^+}$ w.r.t. Cycle-Restricted Ontologies (English)
0 references
5 September 2012
0 references
0.8957896828651428
0 references
0.8346450328826904
0 references
0.8173773884773254
0 references
0.8135512471199036
0 references
0.7999352812767029
0 references
