Pages that link to "Item:Q490523"
From MaRDI portal
The following pages link to Consequence-based and fixed-parameter tractable reasoning in description logics (Q490523):
Displaying 8 items.
- Fixed-parameter tractability of disjunction-free default reasoning (Q1400063) (← links)
- Tractable reasoning using logic programs with intensional concepts (Q2055806) (← links)
- Pay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \) (Q2238693) (← links)
- Effective method for detecting error causes from incoherent biological ontologies (Q2686869) (← links)
- A Tractable Rule Language in the Modal and Description Logic that Combines CPDL with Regular Grammar Logic (Q2968856) (← links)
- A Modal-Layered Resolution Calculus for K (Q3455770) (← links)
- Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions (Q4558797) (← links)
- (Q4576256) (← links)
