Pages that link to "Item:Q5738954"
From MaRDI portal
The following pages link to Description logics of minimal knowledge and negation as failure (Q5738954):
Displaying 28 items.
- Data repair of inconsistent nonmonotonic description logic programs (Q322065) (← links)
- PS\textsc{pace} tableau algorithms for acyclic modalized \({\mathcal{ALC}}\) (Q352965) (← links)
- Defeasible inheritance with doubt index and its axiomatic characterization (Q622128) (← links)
- Local closed world reasoning with description logics under the well-founded semantics (Q646502) (← links)
- Query answering in circumscribed OWL2 profiles (Q825008) (← links)
- Semantic characterization of rational closure: from propositional logic to description logics (Q898736) (← links)
- An epistemic operator for description logics (Q1128772) (← links)
- A note on a description logic of concept and role typicality for defeasible reasoning over ontologies (Q1632047) (← links)
- Optimizing the computation of overriding in \(\mathcal{DL}^{\mathsf{N}}\) (Q2082509) (← links)
- A polynomial time subsumption algorithm for nominal safe \(\mathcal{ELO}_\bot\) under rational closure (Q2224833) (← links)
- Rational closure for all description logics (Q2321316) (← links)
- Typicalities and probabilities of exceptions in nonmotonic description logics (Q2329599) (← links)
- Combining answer set programming with description logics for the semantic web (Q2389666) (← links)
- On the logical properties of the nonmonotonic description logic \(\mathcal{DL}^{\operatorname{N}}\) (Q2407461) (← links)
- Integrity constraints in OWL ontologies based on grounded circumscription (Q2418659) (← links)
- Introducing Role Defeasibility in Description Logics (Q2835870) (← links)
- A Tableau Calculus for a Nonmonotonic Extension of $\mathcal{EL}^\bot$ (Q3010368) (← links)
- Linking Open-World Knowledge Bases Using Nonmonotonic Rules (Q3449214) (← links)
- Doctoral Consortium Extended Abstract: Default Mappings in Ontology-Based Data Access (Q3449240) (← links)
- Realizing Default Logic over Description Logic Knowledge Bases (Q3638182) (← links)
- ASP for minimal entailment in a rational extension of SROEL (Q4593055) (← links)
- Reasoning about Exceptions in Ontologies: from the Lexicographic Closure to the Skeptical Closure (Q4988945) (← links)
- An ASP approach for reasoning in a concept-aware multipreferential lightweight DL (Q5140012) (← links)
- Decidability of Circumscribed Description Logics Revisited (Q5172610) (← links)
- (Q5232905) (← links)
- Reasoning with Forest Logic Programs and f-hybrid knowledge bases (Q5298799) (← links)
- Datalog rewritability and data complexity of \(\mathcal{ALCHOIQ}\) with closed predicates (Q6566618) (← links)
- Knowledge representation: modalities, conditionals, and nonmonotonic reasoning (Q6602216) (← links)
