Description Logics
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 3986613 (Why is no real title available?)
- scientific article; zbMATH DE number 67500 (Why is no real title available?)
- scientific article; zbMATH DE number 67502 (Why is no real title available?)
- scientific article; zbMATH DE number 67503 (Why is no real title available?)
- scientific article; zbMATH DE number 140381 (Why is no real title available?)
- scientific article; zbMATH DE number 140398 (Why is no real title available?)
- scientific article; zbMATH DE number 3639144 (Why is no real title available?)
- scientific article; zbMATH DE number 1341607 (Why is no real title available?)
- scientific article; zbMATH DE number 1149405 (Why is no real title available?)
- scientific article; zbMATH DE number 1936671 (Why is no real title available?)
- scientific article; zbMATH DE number 2063024 (Why is no real title available?)
- scientific article; zbMATH DE number 1507191 (Why is no real title available?)
- scientific article; zbMATH DE number 1765664 (Why is no real title available?)
- scientific article; zbMATH DE number 1765711 (Why is no real title available?)
- scientific article; zbMATH DE number 1405450 (Why is no real title available?)
- scientific article; zbMATH DE number 1405451 (Why is no real title available?)
- scientific article; zbMATH DE number 6606365 (Why is no real title available?)
- A Resolution-Based Decision Procedure for $\mathcal{SHOIQ}$
- A description logic with transitive and inverse roles and role hierarchies
- A refined architecture for terminological systems: Terminology = Schema + Views
- Alternating automata on infinite trees
- An overview of tableau algorithms for description logics
- Attributive concept descriptions with complements
- Automata for the modal -calculus and related results
- Cardinality restrictions on concepts
- Conjunctive query answering for the description logic SHIQ
- Consistency checking reduced to satisfiability of concepts in terminological systems
- Data complexity of query answering in expressive description logics via tableaux
- EXPtime tableaux for ALC
- ExpTime tableaux for \(\mathcal {ALC}\) using sound global caching
- Expressiveness of concept expressions in first-order description logics
- Mechanizing Mathematical Reasoning
- Modal logic
- On languages with two variables
- On the Decision Problem for Two-Variable First-Order Logic
- On the Restraining Power of Guards
- On the expressivity of feature logics with negation, functional uncertainty, and sort equations
- Propositional dynamic logic of regular programs
- Reasoning about infinite computations
- Reasoning and revision in hybrid representation systems
- Resolution in modal, description and hybrid logic
- Tableau methods of proof for modal logics
- Terminological reasoning is inherently intractable
- The Complexity of Conjunctive Query Answering in Expressive Description Logics
- The complexity of existential quantification in concept languages.
- Tractable reasoning and efficient query answering in description logics: The DL-Lite family
- Unification of concept terms in description logics
- Using automata theory for characterizing the semantics of terminological cycles
Cited in
(67)- Description logic rules
- Efficient inferencing for OWL EL
- Practical reasoning for very expressive description logics
- scientific article; zbMATH DE number 2246078 (Why is no real title available?)
- Logic Programming
- scientific article; zbMATH DE number 6902546 (Why is no real title available?)
- \(\mathcal {BCDL}\): Basic constructive description logic
- Representing ontologies using description logics, description graphs, and rules
- Description logics in knowledge representation
- scientific article; zbMATH DE number 1936671 (Why is no real title available?)
- scientific article; zbMATH DE number 2196595 (Why is no real title available?)
- A conceptual framework for secrecy-preserving reasoning in knowledge bases
- Justifications for Description Logic Knowledge Bases Under the Fixed-Domain Semantics
- Answer Set Programming: A Primer
- Second-order reasoning in description logics
- On reasoning about structural equality in XML: a description logic approach
- OWL 2 profiles: an introduction to lightweight ontology languages
- scientific article; zbMATH DE number 1753135 (Why is no real title available?)
- A NEUTROSOPHIC DESCRIPTION LOGIC
- Reasoning with prototypes in the description logic \({\mathcal {ALC}}\) using weighted tree automata
- Rough Pragmatic Description Logic
- Description logics with aggregates and concrete domains.
- About description logics and ontology
- OBDD-based reasoning for terminological cycles of the description logic \(\mathcal{EL}\)
- BEACON: an efficient SAT-based tool for debugging \(\mathcal {EL}^+\) ontologies
- Morph Moulder: Teaching Software for HPSG and Description Logics
- Hybrid logics and ontology languages
- Extensions of non-standard inferences to description logics with transitive roles
- Dual tableau-based decision procedures for fragments of the logic of binary relations
- Description logics of context
- Complexities of Horn description logics
- Reasoning in Description Logics: Basics, Extensions, and Relatives
- Reasoning with ontologies
- DESCRIPTION LOGICS OVER LATTICES
- Description logics for relative terminologies
- scientific article; zbMATH DE number 1612542 (Why is no real title available?)
- Package-Based Description Logics
- KI 2005: Advances in Artificial Intelligence
- scientific article; zbMATH DE number 6697175 (Why is no real title available?)
- OUP accepted manuscript
- Reasoning and query answering in description logics
- Completion-based generalization inferences for the description logic \(\mathcal{ELOR}\) with subjective probabilities
- A Formally Verified Prover for the $\mathcal{ALC\,}$ Description Logic
- Natural language directed inference from ontologies
- Similarity-based relaxed instance queries
- Reasoning within fuzzy OWL 2 EL revisited
- Consequence-based and fixed-parameter tractable reasoning in description logics
- FO(ID) as an extension of DL with rules
- An approach to exploring description logic knowledge bases
- 15 years of consequence-based reasoning
- Automated Reasoning with Analytic Tableaux and Related Methods
- The Description Logic Handbook
- An Occurrence Description Logic
- SHACL: a description logic in disguise
- scientific article; zbMATH DE number 4101143 (Why is no real title available?)
- Mixing Description Logics in Privacy-Preserving Ontology Publishing
- Mapping of description logic to the relational data model
- Description logics for ontologies
- scientific article; zbMATH DE number 1531967 (Why is no real title available?)
- A Decidable Constructive Description Logic
- Classical algorithms for reasoning and explanation in description logics
- Description logics vs. first order logic as KBMS interaction languages
- scientific article; zbMATH DE number 2090284 (Why is no real title available?)
- Non-standard inferences in description logics
- A parallel deduction for description logics with \(\mathcal{ALC}\) language
- First steps towards taming description logics with strings
- The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies
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)
