Reasoning and Query Answering in Description Logics
From MaRDI portal
Publication:4647812
DOI10.1007/978-3-642-33158-9_1zbMath1251.68228OpenAlexW166892013MaRDI QIDQ4647812
Mantas Šimkus, Magdalena Ortiz
Publication date: 8 November 2012
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-33158-9_1
Related Items
Reasoning in Expressive Description Logics under Infinitely Valued Gödel Semantics ⋮ Ontology-Mediated Query Answering with Data-Tractable Description Logics ⋮ OWL 2 Profiles: An Introduction to Lightweight Ontology Languages ⋮ CTL\(^\ast\) with graded path modalities ⋮ Statistical \(\mathcal{EL}\) is \textsc{ExpTime}-complete
Cites Work
- Conjunctive query answering in the description logic \(\mathcal S \mathcal H\) using knots
- Decidable containment of recursive queries
- Rewriting of regular expressions and regular path queries
- Data complexity of query answering in expressive description logics via tableaux
- Tractable query answering and rewriting under description logic constraints
- Automata-theoretic techniques for modal logics of programs
- Combining Horn rules and description logics in CARIN
- Information integration using logical views
- Data-complexity of the two-variable fragment with counting quantifiers
- Tractable reasoning and efficient query answering in description logics: The DL-Lite family
- Terminological reasoning is inherently intractable
- Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is your Friend!
- Data Complexity in the $\mathcal{EL}$ Family of Description Logics
- Query Answering in the Description Logic Horn- $\mathcal{SHIQ}$
- The Complexity of Enriched Mu-Calculi
- The Complexity of Conjunctive Query Answering in Expressive Description Logics
- Query Answering in Description Logics: The Knots Approach
- The DL-Lite Family and Relations
- Expressibility and Parallel Complexity
- Practical reasoning for very expressive description logics
- Datalog and Its Extensions for Semantic Web Databases
- OWL 2 Profiles: An Introduction to Lightweight Ontology Languages
- Optimized Query Rewriting for OWL 2 QL
- Conjunctive query containment and answering under description logic constraints
- The Description Logic Handbook
- Linking Data to Ontologies
- Role Conjunctions in Expressive Description Logics
- Logic for Programming, Artificial Intelligence, and Reasoning
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item