An introduction to description logic
From MaRDI portal
Recommendations
Cited in
(only showing first 100 items - show all)- A note on a description logic of concept and role typicality for defeasible reasoning over ontologies
- Reasoning in the defeasible description logic \(\mathcal{EL}_{\bot}\) -- computing standard inferences under rational and relevant semantics
- Part-whole reasoning in an object-centered framework.
- Object models and distributed knowledge systems
- Statistical \(\mathcal{EL}\) is \textsc{ExpTime}-complete
- Consistent query answering for primary keys in Datalog
- Exploiting forwardness: satisfiability and query-entailment in forward guarded fragment
- An algebraic view on p-admissible concrete domains for lightweight description logics
- ReAD: AD-based modular ontology classification
- Finding good proofs for description logic entailments using recursive quality measures
- Computing optimal repairs of quantified ABoxes w.r.t. static \(\mathcal{EL}\) TBoxes
- The Fusemate logic programming system
- Enhancing probabilistic model checking with ontologies
- \texttt{OWL2Vec}*: embedding of OWL ontologies
- Deciding the word problem for ground and strongly shallow identities w.r.t. extensional symbols
- Using model theory to find decidable and tractable description logics with concrete domains
- Logical separability of labeled data examples under ontologies
- Deciding the word problem for ground identities with commutative and extensional symbols
- Description logics with concrete domains and general concept inclusions revisited
- Connection-minimal abduction in \(\mathcal{EL}\) via translation to FOL
- Evonne: interactive proof visualization for description logics (system description)
- Actions over core-closed knowledge bases
- Omitting types theorem in hybrid dynamic first-order logic with rigid symbols
- A complete classification of the complexity and rewritability of ontology-mediated queries based on the description logic \(\mathcal{EL}\)
- A tetrachotomy of ontology-mediated queries with a covering axiom
- Combining UML and ontology: an exploratory survey
- Pay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \)
- Conjunctive query pattern structures: a relational database model for formal concept analysis
- Most specific consequences in the description logic \(\mathcal{E} \mathcal{L} \)
- Strong inconsistency
- Answering regular path queries mediated by unrestricted \(\mathcal{SQ}\) ontologies
- Reasoning in expressive description logics
- About description logics and ontology
- scientific article; zbMATH DE number 6697175 (Why is no real title available?)
- Description logic rules
- Querying the unary negation fragment with regular path expressions
- The Description Logic Handbook
- Description logics for relative terminologies
- Reasoning in Description Logics: Basics, Extensions, and Relatives
- Description Logics
- Combining description logics, description graphs, and rules
- scientific article; zbMATH DE number 4101143 (Why is no real title available?)
- scientific article; zbMATH DE number 1936671 (Why is no real title available?)
- scientific article; zbMATH DE number 1531967 (Why is no real title available?)
- Exact learning of lightweight description logic ontologies
- Reasoning and query answering in description logics
- Description logics in multimedia reasoning
- An improved set-based reasoner for the description logic \(\mathcal{DL}_\mathrm{D}^{4,\times\dagger}\)
- Towards contingent world descriptions in description logics
- An Occurrence Description Logic
- Consistent query answering for primary keys in logspace
- Kripke completeness of strictly positive modal logics over meet-semilattices with operators
- An introduction to ontology engineering
- The data complexity of ontology-mediated queries with closed predicates
- DESCRIPTION LOGICS OVER LATTICES
- The Description Logic Handbook
- Rewritability in monadic disjunctive Datalog, MMSNP, and expressive description logics
- Morph Moulder: Teaching Software for HPSG and Description Logics
- Logic Programming
- Automated Reasoning with Analytic Tableaux and Related Methods
- A NEUTROSOPHIC DESCRIPTION LOGIC
- Mechanizing Mathematical Reasoning
- Description logics vs. first order logic as KBMS interaction languages
- First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries
- Towards World Identification in Description Logics
- Description logics for ontologies
- Non-standard inferences in description logics
- Optimal fixed-premise repairs of \(\mathcal{E}\mathcal{L}\) TBoxes
- The Probabilistic Description Logic
- Completing the Picture: Complexity of Graded Modal Logics with Converse
- Efficient TBox Reasoning with Value Restrictions using the wer Reasoner
- Temporal Minimal-World Query Answering over Sparse ABoxes
- Answer Counting under Guarded TGDs
- The notion of abstraction in ontology-based data management
- Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions
- Mining ℰℒ⊥ Bases with Adaptable Role Depth
- Saturation-based Boolean conjunctive query answering and rewriting for the guarded quantification fragments
- Expressiveness of SHACL Features and Extensions for Full Equality and Disjointness Tests
- Extending the description logic \(\mathcal{EL}\) with threshold concepts induced by concept measures
- Presburger Büchi tree automata with applications to logics with expressive counting
- A short introduction to SHACL for logicians
- Analyzing Natural-Language Knowledge Under Uncertainty on the Basis of Description Logics
- How to tell easy from hard: complexities of conjunctive query entailment in extensions of \(\mathcal{ALC}\)
- R-calculus. V: Description logics
- Classical algorithms for reasoning and explanation in description logics
- Ontology-mediated probabilistic model checking
- Non-classical logics in satisfiability modulo theories
- Non-distributive description logic
- Optimal repairs in the description logic \(\mathcal{EL}\) revisited
- Beyond \(\mathcal{ALC}_{\textsf{reg}} \): exploring non-regular extensions of PDL with description logics features
- Non-normal Modal description logics
- First steps towards taming description logics with strings
- Merge, explain, iterate: a combination of MHS and MXP in an ABox abduction solver
- Concept combination in weighted DL
- Deciding subsumption in defeasible \(\mathcal{ELI}_\bot\) with typicality models
- Exploring non-regular extensions of propositional dynamic logic with description-logics features
- Datalog rewritability and data complexity of \(\mathcal{ALCHOIQ}\) with closed predicates
- On two-variable guarded fragment logic with expressive local Presburger constraints
- Reasoning with ontologies
- Languages for probabilistic modeling over structured and relational domains
This page was built for publication: An introduction to description logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2974769)
