Pages that link to "Item:Q1274681"
From MaRDI portal
The following pages link to Combining Horn rules and description logics in CARIN (Q1274681):
Displaying 21 items.
- Conjunctive query answering in the description logic \(\mathcal S \mathcal H\) using knots (Q414848) (← links)
- Local closed world reasoning with description logics under the well-founded semantics (Q646502) (← links)
- Methods and algorithms for verification of knowledge bases in integrated expert systems (Q733569) (← links)
- Representing ontologies using description logics, description graphs, and rules (Q840831) (← links)
- Extended RDF: computability and complexity issues (Q905991) (← links)
- Data complexity of query answering in expressive description logics via tableaux (Q945056) (← links)
- Probabilistic description logic programs (Q997050) (← links)
- Answering regular path queries in expressive description logics via alternating tree-automata (Q2252521) (← links)
- Combining answer set programming with description logics for the semantic web (Q2389666) (← links)
- Tractable reasoning and efficient query answering in description logics: The DL-Lite family (Q2462646) (← links)
- A hybrid reasoning system for terminologies and first-order clauses in knowledge bases (Q2493276) (← links)
- Query Answering with DBoxes is Hard (Q2825409) (← links)
- Ontology-Mediated Query Answering with Data-Tractable Description Logics (Q2970310) (← links)
- Foundations of Onto-Relational Learning (Q3543274) (← links)
- The role of semantics in mining frequent patterns from knowledge bases in description logics with rules (Q3577710) (← links)
- Inductive Logic Programming in Databases: From <scp>Datalog</scp> to (Q3577712) (← links)
- Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web (Q3638227) (← links)
- Combining Description Logics, Description Graphs, and Rules (Q3655191) (← links)
- On the relation between SPARQL1.1 and Answer Set Programming (Q4583314) (← links)
- Reasoning and Query Answering in Description Logics (Q4647812) (← links)
- Semantic web (Q6602270) (← links)
