Pages that link to "Item:Q4558797"
From MaRDI portal
The following pages link to Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions (Q4558797):
Displaying 8 items.
- Consequence-based and fixed-parameter tractable reasoning in description logics (Q490523) (← links)
- OWL reasoning: subsumption test hardness and modularity (Q1655485) (← links)
- Pay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \) (Q2238693) (← links)
- Indirect disjunctive belief rule base modeling using limited conjunctive rules: two possible means (Q2330024) (← links)
- Reasoning in description logics by a reduction to disjunctive datalog (Q2462648) (← links)
- Type-elimination-based reasoning for the description logic \(\mathcal {SHIQ}b_s\) using decision diagrams and disjunctive Datalog (Q2881079) (← links)
- Hypertableau Reasoning for Description Logics (Q3651485) (← links)
- Classical algorithms for reasoning and explanation in description logics (Q6535980) (← links)
