Pages that link to "Item:Q2881079"

The following pages link to Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog (Q2881079):

Displaying 1 item.

• Datalog rewritability of disjunctive Datalog programs and non-Horn ontologies (Q286087) (← links)