Initial Results on the F-logic to OWL Bi-directional Translation on a Tabled Prolog Engine
| dc.creator | Fodor, Paul | |
| dc.date | 2008-08-12 | |
| dc.date.accessioned | 2026-07-07T09:56:15Z | |
| dc.date.available | 2026-07-07T09:56:15Z | |
| dc.description | 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. | |
| dc.identifier | https://arxiv.org/abs/0808.1721 | |
| dc.identifier | http://arxiv.org/abs/0808.1721 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/166914 | |
| dc.subject | Artificial Intelligence | |
| dc.subject | Software Engineering | |
| dc.title | Initial Results on the F-logic to OWL Bi-directional Translation on a Tabled Prolog Engine | |
| dc.type | text |