Reconciling description logics and rules
From MaRDI portal
Publication:3579631
DOI10.1145/1754399.1754403zbMath1327.68257OpenAlexW2045427198WikidataQ64360207 ScholiaQ64360207MaRDI QIDQ3579631
Publication date: 9 August 2010
Published in: Journal of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1754399.1754403
Related Items (41)
Evaluating epistemic negation in answer set programming ⋮ Linking Open-World Knowledge Bases Using Nonmonotonic Rules ⋮ Logic Programming with Graded Modality ⋮ Simulating Production Rules Using ACTHEX ⋮ Data repair of inconsistent nonmonotonic description logic programs ⋮ A Unifying Perspective on Knowledge Updates ⋮ Bringing existential variables in answer set programming and bringing non-monotony in existential rules: two sides of the same coin ⋮ Unnamed Item ⋮ FO(ID) as an extension of DL with rules ⋮ Three-valued semantics for hybrid MKNF knowledge bases revisited ⋮ Integrity constraints in OWL ontologies based on grounded circumscription ⋮ Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT ⋮ Well-founded operators for normal hybrid MKNF knowledge bases ⋮ ASP for minimal entailment in a rational extension of SROEL ⋮ Semantic characterization of rational closure: from propositional logic to description logics ⋮ On updates of hybrid knowledge bases composed of ontologies and rules ⋮ On combining ontologies and rules ⋮ Extended RDF: computability and complexity issues ⋮ Towards provenance in heterogeneous knowledge bases ⋮ Local closed world reasoning with description logics under the well-founded semantics ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A polynomial time subsumption algorithm for nominal safe \(\mathcal{ELO}_\bot\) under rational closure ⋮ An ASP approach for reasoning in a concept-aware multipreferential lightweight DL ⋮ FLP answer set semantics without circular justifications for general logic programs ⋮ Adding Metalogic Features to Knowledge Representation Languages* ⋮ Reactive multi-context systems: heterogeneous reasoning in dynamic environments ⋮ Reasoning on the Web with Assumption-Based Argumentation ⋮ Enhancing context knowledge repositories with justifiable exceptions ⋮ From description-logic programs to multi-context systems ⋮ Decidability of Circumscribed Description Logics Revisited ⋮ Active integrity constraints for general-purpose knowledge bases ⋮ Determining inference semantics for disjunctive logic programs ⋮ Semantic DMN: Formalizing and Reasoning About Decisions in the Presence of Background Knowledge ⋮ Flexible Approximators for Approximating Fixpoint Theory ⋮ Polynomial rewritings from expressive description logics with closed predicates to variants of Datalog ⋮ Tractable reasoning using logic programs with intensional concepts ⋮ Normative Systems Represented as Hybrid Knowledge Bases ⋮ The loop formula based semantics of description logic programs ⋮ Reasoning about Exceptions in Ontologies: from the Lexicographic Closure to the Skeptical Closure ⋮ Typicalities and probabilities of exceptions in nonmotonic description logics
This page was built for publication: Reconciling description logics and rules
