English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools annual

Global: Zendy Free Plan

Global: Zendy Tools monthly

Global: Zendy Plus monthly

Hybrid Knowledge Bases based on Lifschitz's logic of Minimal Knowledge withNegation as Failure are a successful approach to combine the expressivity ofDescription Logics and Logic Programming in a single language. Their syntax,defined by Motik and Rosati, disallows function symbols. In order to define awell-founded semantics for MKNF HKBs, Knorr et al. define a partition of themodal atoms occurring in it, called the alternating fixpoint partition. In thispaper, we propose an iterated fixpoint semantics for HKBs with functionsymbols. We prove that our semantics extends Knorr et al.'s, in that, for afunction-free HKBs, it coincides with its alternating fixpoint partition. Theproposed semantics lends itself well to a probabilistic extension with adistribution semantic approach, which is the subject of future work.

An Iterative Fixpoint Semantics for MKNF Hybrid Knowledge Bases with Function Symbols