Pages that link to "Item:Q2865009"

The following pages link to Defeasible Inheritance-Based Description Logics (Q2865009):

Displaying 21 items.

• 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)
• Reasoning in the defeasible description logic \(\mathcal{EL}_{\bot}\) -- computing standard inferences under rational and relevant semantics (Q1726275) (← links)
• A reconstruction of multipreference closure (Q2046040) (← 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)
• Contextual rational closure for defeasible \(\mathcal{ALC} \) (Q2278101) (← links)
• On rational entailment for propositional typicality logic (Q2289021) (← 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)
• Preferential Reasoning for Modal Logics (Q2825407) (← links)
• Reasoning about Exceptions in Ontologies: from the Lexicographic Closure to the Skeptical Closure (Q4988945) (← links)
• An ASP Approach for Reasoning on Neural Networks under a Finitely Many-Valued Semantics for Weighted Conditional Knowledge Bases (Q5038463) (← links)
• An ASP approach for reasoning in a concept-aware multipreferential lightweight DL (Q5140012) (← links)
• Decidability of Circumscribed Description Logics Revisited (Q5172610) (← links)
• Situated conditional reasoning (Q6161506) (← links)
• Defeasible RDFS via rational closure (Q6490339) (← links)
• Classical algorithms for reasoning and explanation in description logics (Q6535980) (← links)
• Syntax splitting and reasoning from weakly consistent conditional belief bases with c-inference (Q6630188) (← links)