Description Logics
From MaRDI portal
Publication:3638996
DOI10.1007/978-3-642-03754-2_1zbMATH Open1254.68245OpenAlexW2911529331MaRDI QIDQ3638996FDOQ3638996
Publication date: 28 October 2009
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-03754-2_1
Cites Work
- Title not available (Why is that?)
- Modal logic
- Title not available (Why is that?)
- Tractable reasoning and efficient query answering in description logics: The DL-Lite family
- Propositional dynamic logic of regular programs
- Title not available (Why is that?)
- EXPtime tableaux for ALC
- Title not available (Why is that?)
- Title not available (Why is that?)
- Attributive concept descriptions with complements
- On the Decision Problem for Two-Variable First-Order Logic
- Reasoning about infinite computations
- On languages with two variables
- A description logic with transitive and inverse roles and role hierarchies
- Alternating automata on infinite trees
- Cardinality restrictions on concepts
- Terminological reasoning is inherently intractable
- ExpTime tableaux for \(\mathcal {ALC}\) using sound global caching
- Automata for the modal μ-calculus and related results
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- An overview of tableau algorithms for description logics
- Tableau methods of proof for modal logics
- Unification of concept terms in description logics
- Using automata theory for characterizing the semantics of terminological cycles
- The complexity of existential quantification in concept languages.
- Title not available (Why is that?)
- Data complexity of query answering in expressive description logics via tableaux
- Title not available (Why is that?)
- On the Restraining Power of Guards
- Mechanizing Mathematical Reasoning
- Consistency checking reduced to satisfiability of concepts in terminological systems
- Expressiveness of concept expressions in first-order description logics
- Reasoning and revision in hybrid representation systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- On the expressivity of feature logics with negation, functional uncertainty, and sort equations
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Resolution in modal, description and hybrid logic
- Title not available (Why is that?)
- The Complexity of Conjunctive Query Answering in Expressive Description Logics
- A Resolution-Based Decision Procedure for $\mathcal{SHOIQ}$
- A refined architecture for terminological systems: Terminology = Schema + Views
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (29)
- Title not available (Why is that?)
- Title not available (Why is that?)
- \(\mathcal {BCDL}\): Basic constructive description logic
- Description logics in knowledge representation
- Justifications for Description Logic Knowledge Bases Under the Fixed-Domain Semantics
- Answer Set Programming: A Primer
- Title not available (Why is that?)
- A NEUTROSOPHIC DESCRIPTION LOGIC
- Rough Pragmatic Description Logic
- Description logics with aggregates and concrete domains.
- Dual tableau-based decision procedures for fragments of the logic of binary relations
- DESCRIPTION LOGICS OVER LATTICES
- A Conceptual Framework for Secrecy-preserving Reasoning in Knowledge Bases
- Title not available (Why is that?)
- OUP accepted manuscript
- Title not available (Why is that?)
- Similarity-based relaxed instance queries
- OWL 2 Profiles: An Introduction to Lightweight Ontology Languages
- Mixing Description Logics in Privacy-Preserving Ontology Publishing
- Title not available (Why is that?)
- SHACL: a description logic in disguise
- Mapping of description logic to the relational data model
- Title not available (Why is that?)
- Classical algorithms for reasoning and explanation in description logics
- A Decidable Constructive Description Logic
- Title not available (Why is that?)
- First steps towards taming description logics with strings
- Non-standard inferences in description logics
- Practical reasoning for very expressive description logics
Uses Software
This page was built for publication: Description Logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3638996)
