Reconciling description logics and rules
From MaRDI portal
Recommendations
- DFL -- a dialog based integration of concept and rule reasoners
- A goal-directed implementation of query answering for hybrid MKNF knowledge bases
- Description logics of minimal knowledge and negation as failure
- Local closed world reasoning with description logics under the well-founded semantics
- Guarded hybrid knowledge bases
Cited in
(59)- Combining Horn rules and description logics in CARIN
- Bringing existential variables in answer set programming and bringing non-monotony in existential rules: two sides of the same coin
- Three-valued semantics for hybrid MKNF knowledge bases revisited
- Distributed first order logic
- Reactive multi-context systems: heterogeneous reasoning in dynamic environments
- Enhancing context knowledge repositories with justifiable exceptions
- Active integrity constraints for general-purpose knowledge bases
- Tractable reasoning using logic programs with intensional concepts
- A polynomial time subsumption algorithm for nominal safe \(\mathcal{ELO}_\bot\) under rational closure
- Determining inference semantics for disjunctive logic programs
- Polynomial rewritings from expressive description logics with closed predicates to variants of Datalog
- Typicalities and probabilities of exceptions in nonmotonic description logics
- Integrity constraints in OWL ontologies based on grounded circumscription
- FLP answer set semantics without circular justifications for general logic programs
- Towards provenance in heterogeneous knowledge bases
- DFL -- a dialog based integration of concept and rule reasoners
- Flexible approximators for approximating fixpoint theory
- Evaluating epistemic negation in answer set programming
- Description logics, rules and multi-context systems
- Simulating production rules using ACTHEX
- MKNF knowledge bases in multi-context systems
- A Unifying Perspective on Knowledge Updates
- Query-driven procedures for hybrid MKNF knowledge bases
- A Tractable Rule Language in the Modal and Description Logic that Combines CPDL with Regular Grammar Logic
- Normative systems represented as hybrid knowledge bases
- Data repair of inconsistent nonmonotonic description logic programs
- Linking open-world knowledge bases using nonmonotonic rules
- Logic programming with graded modality
- Reconciling OWL and non-monotonic rules for the semantic web
- Combining description logics, description graphs, and rules
- Well-founded operators for normal hybrid MKNF knowledge bases
- ASP for minimal entailment in a rational extension of SROEL
- Reasoning on the web with assumption-based argumentation
- Reasoning with inconsistencies in hybrid MKNF knowledge bases
- Semantic DMN: formalizing and reasoning about decisions in the presence of background knowledge
- Reasoning about exceptions in ontologies: from the lexicographic closure to the skeptical closure
- Semantic DMN: formalizing decision models with domain knowledge
- An ASP approach for reasoning in a concept-aware multipreferential lightweight DL
- Adding Metalogic Features to Knowledge Representation Languages*
- From description-logic programs to multi-context systems
- Decidability of circumscribed description logics revisited
- Reasoning About Prescription and Description Using Prioritized Default Rules
- The data complexity of ontology-mediated queries with closed predicates
- A goal-directed implementation of query answering for hybrid MKNF knowledge bases
- FO(ID) as an extension of DL with rules
- Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT
- On combining ontologies and rules
- A fixpoint characterization of three-valued disjunctive hybrid MKNF knowledge bases
- An iterative fixpoint semantics for MKNF hybrid knowledge bases with function symbols
- Local closed world reasoning with description logics under the well-founded semantics
- Defeasible RDFS via rational closure
- Reasoning about action and change
- Semantic web
- A semantics for probabilistic hybrid knowledge bases with function symbols
- Complexity and scalability of defeasible reasoning in many-valued weighted knowledge bases with typicality
- The loop formula based semantics of description logic programs
- Semantic characterization of rational closure: from propositional logic to description logics
- On updates of hybrid knowledge bases composed of ontologies and rules
- Extended RDF: computability and complexity issues
This page was built for publication: Reconciling description logics and rules
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3579631)
