An introduction to description logic
From MaRDI portal
Recommendations
Cited in
(only showing first 100 items - show all)- \texttt{OWL2Vec}*: embedding of OWL ontologies
- The Description Logic Handbook
- An Occurrence Description Logic
- scientific article; zbMATH DE number 4101143 (Why is no real title available?)
- scientific article; zbMATH DE number 7561483 (Why is no real title available?)
- Towards contingent world descriptions in description logics
- Enhancing cooperativity in controlled query evaluation over ontologies
- Combining UML and ontology: an exploratory survey
- The adjacent fragment and Quine's limits of decision
- Description logics for ontologies
- scientific article; zbMATH DE number 1531967 (Why is no real title available?)
- Non-distributive description logic
- Classical algorithms for reasoning and explanation in description logics
- R-calculus. V: Description logics
- Ontology-mediated probabilistic model checking
- Non-classical logics in satisfiability modulo theories
- Non-normal Modal description logics
- Fuzzy lattice-based description logic
- Query answering in lattice-based description logic
- Description logics vs. first order logic as KBMS interaction languages
- A survey on approximability of traveling salesman problems using the TSP-T3CO definition scheme
- Non-standard inferences in description logics
- Deciding the word problem for ground and strongly shallow identities w.r.t. extensional symbols
- Logical separability of labeled data examples under ontologies
- Deciding the word problem for ground identities with commutative and extensional symbols
- Beyond \(\mathcal{ALC}_{\textsf{reg}} \): exploring non-regular extensions of PDL with description logics features
- Concept combination in weighted DL
- Deciding subsumption in defeasible \(\mathcal{ELI}_\bot\) with typicality models
- First steps towards taming description logics with strings
- Merge, explain, iterate: a combination of MHS and MXP in an ABox abduction solver
- Optimal repairs in the description logic \(\mathcal{EL}\) revisited
- Strong inconsistency
- Description logic rules
- Combining description logics, description graphs, and rules
- Reasoning in the defeasible description logic \(\mathcal{EL}_{\bot}\) -- computing standard inferences under rational and relevant semantics
- Logic Programming
- Actions over core-closed knowledge bases
- Connection-minimal abduction in \(\mathcal{EL}\) via translation to FOL
- Evonne: interactive proof visualization for description logics (system description)
- Combining event calculus and description logic reasoning via logic programming
- First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries
- Mining ℰℒ⊥ Bases with Adaptable Role Depth
- Exploring non-regular extensions of propositional dynamic logic with description-logics features
- A characterisation theorem for two-way bisimulation-invariant monadic least fixpoint logic over finite structures
- Omitting types theorem in hybrid dynamic first-order logic with rigid symbols
- The Probabilistic Description Logic
- Finite-model reasoning for graph queries and description logics
- Datalog rewritability and data complexity of \(\mathcal{ALCHOIQ}\) with closed predicates
- scientific article; zbMATH DE number 1936671 (Why is no real title available?)
- Fixpoint semantics for recursive \textsc{shacl}
- How to tell easy from hard: complexities of conjunctive query entailment in extensions of \(\mathcal{ALC}\)
- Efficient TBox Reasoning with Value Restrictions using the wer Reasoner
- 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
- Part-whole reasoning in an object-centered framework.
- Decidability of querying first-order theories via countermodels of finite width
- Description Logics
- A NEUTROSOPHIC DESCRIPTION LOGIC
- Reasoning in expressive description logics
- A note on a description logic of concept and role typicality for defeasible reasoning over ontologies
- Presburger Büchi tree automata with applications to logics with expressive counting
- Pay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \)
- Optimal fixed-premise repairs of \(\mathcal{E}\mathcal{L}\) TBoxes
- About description logics and ontology
- Morph Moulder: Teaching Software for HPSG and Description Logics
- Efficient ontology-mediated query answering: extending DL-Lite\(_{\mathcal{R}}\) and linear \(\mathcal{ELH}\)
- Computing optimal repairs of quantified ABoxes w.r.t. static \(\mathcal{EL}\) TBoxes
- The Fusemate logic programming system
- On two-variable guarded fragment logic with expressive local Presburger constraints
- Rewritability in monadic disjunctive Datalog, MMSNP, and expressive description logics
- The data complexity of ontology-mediated queries with closed predicates
- Towards World Identification in Description Logics
- Reasoning in Description Logics: Basics, Extensions, and Relatives
- On reasoning about access to knowledge
- Finding small proofs for description logic entailments: theory and practice
- Querying the unary negation fragment with regular path expressions
- A complete classification of the complexity and rewritability of ontology-mediated queries based on the description logic \(\mathcal{EL}\)
- Languages for probabilistic modeling over structured and relational domains
- Reasoning with ontologies
- The Description Logic Handbook
- Statistical \(\mathcal{EL}\) is \textsc{ExpTime}-complete
- DESCRIPTION LOGICS OVER LATTICES
- Exact learning of lightweight description logic ontologies
- Description logics for relative terminologies
- Unification in the description logic \(\mathcal{ELH}_{\mathcal{R}^+}\) without the top concept modulo cycle-restricted ontologies
- Consistent query answering for primary keys in Datalog
- Conjunctive queries: unique characterizations and exact learnability
- Answer counting under guarded TGDs
- Mechanizing Mathematical Reasoning
- Temporal Minimal-World Query Answering over Sparse ABoxes
- An introduction to ontology engineering
- Involving cognitive science in model transformation for description logics
- Completing the Picture: Complexity of Graded Modal Logics with Converse
- scientific article; zbMATH DE number 6697175 (Why is no real title available?)
- A tetrachotomy of ontology-mediated queries with a covering axiom
- SHACL validation in the presence of ontologies: semantics and rewriting techniques
- Reasoning and query answering in description logics
- Answer Counting under Guarded TGDs
- Semantic machine learning and slow thinking
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)
