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

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

2008-08-12

arxiv.org/abs/0808.1721v1

Computer Science

Artificial Intelligence

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Initial Results on the F-logic to OWL Bi-directional Translation on a Tabled Prolog Engine does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Initial Results on the F-logic to OWL Bi-directional Translation on a Tabled Prolog Engine, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Initial Results on the F-logic to OWL Bi-directional Translation on a Tabled Prolog Engine will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-203361