Pages that link to "Item:Q5387895"
From MaRDI portal
The following pages link to A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes (Q5387895):
Displaying 14 items.
- Tractable approximate deduction for OWL (Q274420) (← links)
- Consequence-based and fixed-parameter tractable reasoning in description logics (Q490523) (← links)
- Deciding expressive description logics in the framework of resolution (Q924723) (← links)
- A resolution-based decision procedure for \({\mathcal{SHOIQ}}\). (Q928657) (← links)
- Exploiting conjunctive queries in description logic programs (Q1028641) (← links)
- On the scalability of description logic instance retrieval (Q1040773) (← links)
- Magic sets for disjunctive Datalog programs (Q1761296) (← links)
- Combining answer set programming with description logics for the semantic web (Q2389666) (← links)
- Reasoning in description logics by a reduction to disjunctive datalog (Q2462648) (← links)
- Completeness guarantees for incomplete ontology reasoners: theory and practice (Q2887081) (← links)
- Two phase description logic reasoning for efficient information retrieval (Q2909176) (← links)
- Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web (Q3638227) (← links)
- (Q4539598) (← links)
- Simple and Efficient Clause Subsumption with Feature Vector Indexing (Q4913860) (← links)