Pages that link to "Item:Q3651476"
From MaRDI portal
The following pages link to The Complexity of Circumscription in DLs (Q3651476):
Displayed 21 items.
- Making the right exceptions (Q309916) (← links)
- Data repair of inconsistent nonmonotonic description logic programs (Q322065) (← links)
- Query answering in circumscribed OWL2 profiles (Q825008) (← links)
- Semantic characterization of rational closure: from propositional logic to description logics (Q898736) (← links)
- A note on a description logic of concept and role typicality for defeasible reasoning over ontologies (Q1632047) (← links)
- On the KLM properties of a fuzzy DL with typicality (Q2146055) (← links)
- A polynomial time subsumption algorithm for nominal safe \(\mathcal{ELO}_\bot\) under rational closure (Q2224833) (← links)
- Formalizing GDPR provisions in reified I/O logic: the DAPRECO knowledge base (Q2228447) (← links)
- Contextual rational closure for defeasible \(\mathcal{ALC} \) (Q2278101) (← links)
- Rational closure for all description logics (Q2321316) (← links)
- Typicalities and probabilities of exceptions in nonmotonic description logics (Q2329599) (← links)
- On the logical properties of the nonmonotonic description logic \(\mathcal{DL}^{\operatorname{N}}\) (Q2407461) (← links)
- A Tableau Calculus for Minimal Modal Model Generation (Q2825415) (← links)
- Introducing Role Defeasibility in Description Logics (Q2835870) (← 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)
- Revisiting Grounded Circumscription in Description Logics (Q5268432) (← links)
- The Distributed Ontology, Modeling and Specification Language – DOL (Q5350348) (← links)
- On combining ontologies and rules (Q6166577) (← links)