Description Logics
From MaRDI portal
Publication:3638996
DOI10.1007/978-3-642-03754-2_1zbMath1254.68245MaRDI QIDQ3638996
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
Related Items
OWL 2 Profiles: An Introduction to Lightweight Ontology Languages, Similarity-based relaxed instance queries, A Conceptual Framework for Secrecy-preserving Reasoning in Knowledge Bases, Answer Set Programming: A Primer
Uses Software
Cites Work
- ExpTime tableaux for \(\mathcal {ALC}\) using sound global caching
- Attributive concept descriptions with complements
- Data complexity of query answering in expressive description logics via tableaux
- The complexity of existential quantification in concept languages.
- Alternating automata on infinite trees
- A refined architecture for terminological systems: Terminology = Schema + Views
- Reasoning and revision in hybrid representation systems
- Propositional dynamic logic of regular programs
- On the expressivity of feature logics with negation, functional uncertainty, and sort equations
- Reasoning about infinite computations
- Consistency checking reduced to satisfiability of concepts in terminological systems
- Using automata theory for characterizing the semantics of terminological cycles
- Cardinality restrictions on concepts
- EXPtime tableaux for ALC
- Expressiveness of concept expressions in first-order description logics
- Tractable reasoning and efficient query answering in description logics: The DL-Lite family
- Tableau methods of proof for modal logics
- Terminological reasoning is inherently intractable
- Resolution in Modal, Description and Hybrid Logic
- The Complexity of Conjunctive Query Answering in Expressive Description Logics
- Automata for the modal μ-calculus and related results
- A Resolution-Based Decision Procedure for $\mathcal{SHOIQ}$
- On languages with two variables
- A description logic with transitive and inverse roles and role hierarchies
- On the Decision Problem for Two-Variable First-Order Logic
- On the Restraining Power of Guards
- Mechanizing Mathematical Reasoning
- Unification of concept terms in description logics
- An overview of tableau algorithms for description logics
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item