Pages that link to "Item:Q2881079"
From MaRDI portal
The following pages link to Type-elimination-based reasoning for the description logic \(\mathcal {SHIQ}b_s\) using decision diagrams and disjunctive Datalog (Q2881079):
Displaying 3 items.