An iterative fixpoint semantics for MKNF hybrid knowledge bases with function symbols
From MaRDI portal
Recommendations
- Three-valued semantics for hybrid MKNF knowledge bases revisited
- Probabilistic Hybrid Knowledge Bases Under the Distribution Semantics
- Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT
- A fixpoint characterization of three-valued disjunctive hybrid MKNF knowledge bases
- Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT
Cites work
- Foundations of a functional approach to knowledge representation
- scientific article; zbMATH DE number 67490 (Why is no real title available?)
- scientific article; zbMATH DE number 1936671 (Why is no real title available?)
- Local closed world reasoning with description logics under the well-founded semantics
- NoHR: integrating XSB Prolog with the OWL 2 profiles and beyond
- Normative systems represented as hybrid knowledge bases
- On the relative expressiveness of description logics and predicate logics
- Probabilistic DL reasoning with pinpointing formulas: a Prolog-based approach
- Reconciling description logics and rules
- Tableau reasoning for description logics and its extension to probabilities
- The PITA system: tabling and answer subsumption for reasoning under uncertainty
- Three-valued semantics for hybrid MKNF knowledge bases revisited
Cited in
(2)
This page was built for publication: An iterative fixpoint semantics for MKNF hybrid knowledge bases with function symbols
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6182226)
