Pages that link to "Item:Q1274279"
From MaRDI portal
The following pages link to Verification of knowledge bases based on containment checking (Q1274279):
Displaying 4 items.
- Reductions and saturation reductions of (abstract) knowledge bases (Q276409) (← links)
- Combining Horn rules and description logics in CARIN (Q1274681) (← links)
- \(\ast\)-reductions in a knowledge base (Q1749973) (← links)
- Relationships between knowledge bases and their uncertainty measures (Q2329096) (← links)
