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 Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

In this paper, we show our results on the bi-directional data exchangebetween the F-logic language supported by the Flora2 system and the OWLlanguage. Most of the TBox and ABox axioms are translated preserving thesemantics between the two representations, such as: proper inclusion,individual definition, functional properties, while some axioms andrestrictions require a change in the semantics, such as: numbered and qualifiedcardinality restrictions. For the second case, we translate the OWL definitestyle inference rules into F-logic style constraints. We also describe a set ofreasoning examples using the above translation, including the reasoning inFlora2 of a variety of ABox queries.

Initial Results on the F-logic to OWL Bi-directional Translation on a Tabled Prolog Engine