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

TL;DR

This paper presents initial results on translating between F-logic and OWL languages, enabling bi-directional data exchange and reasoning, with most axioms preserved semantically and some requiring semantic adjustments.

Contribution

It introduces a translation approach between F-logic and OWL, including handling of various axioms and inference rules, facilitating interoperability and reasoning across the two frameworks.

Findings

Most axioms are translated preserving semantics

Some axioms require semantic changes, like cardinality restrictions

The translation enables reasoning and querying in Flora2

Abstract

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