Enhancing context knowledge repositories with justifiable exceptions
From MaRDI portal
Recommendations
- Reasoning with justifiable exceptions in \(\mathcal{EL}_\bot\) contextualized knowledge repositories
- Preferential tableaux for contextual defeasible \(\mathcal{ALC}\)
- Reasoning on multirelational contextual hierarchies via answer set programming with algebraic measures
- Revision of ontologies to accommodate exceptions: a typicality-based approach
- scientific article; zbMATH DE number 1315582
Cites work
- scientific article; zbMATH DE number 25190 (Why is no real title available?)
- scientific article; zbMATH DE number 465753 (Why is no real title available?)
- scientific article; zbMATH DE number 592370 (Why is no real title available?)
- scientific article; zbMATH DE number 1936671 (Why is no real title available?)
- scientific article; zbMATH DE number 1834638 (Why is no real title available?)
- scientific article; zbMATH DE number 839556 (Why is no real title available?)
- A non-monotonic description logic for reasoning about typicality
- Annotated RDF
- Circumscribing DATALOG: expressive power and complexity
- Circumscription - a form of non-monotonic reasoning
- Combining answer set programming with description logics for the semantic web
- Complete Problems Involving Boolean Labelled Structures and Projection Transactions
- Defeasible inclusions in low-complexity DLs
- Disjunctive logic programs with inheritance
- Efficient inferencing for OWL EL
- Introducing role defeasibility in description logics
- Local Models Semantics, or contextual reasoning = locality + compatibility
- Logics in artificial intelligence. 12th European conference, JELIA 2010, Helsinki, Finland, September 13--15, 2010. Proceedings
- Multilanguage hierarchical logics, or: How we can do without modal logics
- Rational Closure for Defeasible Description Logics
- Reconciling description logics and rules
- Relational information exchange and aggregation in multi-context systems
- Scalable reasoning by abstraction beyond DL-Lite
- Semantic characterization of rational closure: from propositional logic to description logics
- Tractable reasoning and efficient query answering in description logics: The DL-Lite family
- Tractable reasoning with DL-programs over Datalog-rewritable description logics
Cited in
(8)- Reasoning with justifiable exceptions in \(\mathcal{EL}_\bot\) contextualized knowledge repositories
- A reconstruction of multipreference closure
- Contextual rational closure for defeasible \(\mathcal{ALC} \)
- Reasoning on with Defeasibility in ASP
- An ASP approach for reasoning in a concept-aware multipreferential lightweight DL
- Reasoning on multirelational contextual hierarchies via answer set programming with algebraic measures
- Reasoning about exceptions in ontologies: from the lexicographic closure to the skeptical closure
- Implementation of choice of jurisdiction and law in private international law by PROLEG meta-interpreter
This page was built for publication: Enhancing context knowledge repositories with justifiable exceptions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1749389)
