Topic
Flora-2
About: Flora-2 is a research topic. Over the lifetime, 5 publications have been published within this topic receiving 58 citations. The topic is also known as: Ergo Lite.
Papers
Proceedings Article•
27 Jun 2011
TL;DR: A deductive system for database normalization is implemented by using a Flora-2 reasoning engine that allows for checking a relational schema up to Boyce-Codd normal form (BCNF) and functional independentnormal form (FINF).
Abstract: A deductive system for database normalization is implemented by using a Flora-2 reasoning engine. The system allows for checking a relational schema up to Boyce-Codd normal form (BCNF) and functional independent normal form (FINF). Examples of system usage are presented and discussed.
6 citations
8 Aug 2007
TL;DR: A solution that aims on this target using F-Logic (particularly FLORA-2), which syntax is much more compatible with the Python language than traditional Prolog syntax is presented.
Abstract: Python is an object-oriented scripting language known for its ability to support various programming paradigms. In Python one can write procedural, functional, object-oriented, and thanks to metaclasses even aspect-oriented code. Even if some efforts were done to support the last major programming paradigm, logic programming is still not supported in a Python programmer friendly way. In this paper a solution that aims on this target using F-Logic (particularly FLORA-2), which syntax is much more compatible with the Python language than traditional Prolog syntax, is presented. In order to make such an integration useful ZODB (Zope object base) is used to facilitate permanent storage of Python objects, while the FLORA-2 engine built on XSB is used for reasoning facilities. To take advantage of logic programming concepts like facts, rules, variables or queries, special logical Python object are introduced. In the end some examples of usage are shown and future development guidelines are given.
5 citations
1 Jan 2016
TL;DR: A novel concise specification of semantic web services conforming to the WSMO standard using the Flora-2 language, as well as a precise logical definition of what it means for a goal to match a web service are proposed.
Abstract: We propose a novel concise specification of semantic web services conforming to the WSMO standard using the Flora-2 language, as well as a precise logical definition of what it means for a goal to match a web service. Our innovative usage of Flora-2 allows very short but expressive descriptions of both goals and web service capabilities, which are then used by a matching engine to discover which web services can satisfy a given goal. The matching engine, using the meta-level F-logic inferencing capabilities of the underlying Flora-2 reasoner, is very efficient and has a very concise definition itself.
2 citations
5 Sep 2005
TL;DR: An overview of the theoretical foundations of the system and of some of the aspects of nonmonotonic reasoning in FLORA-2, including scoped default negation, behavioral inheritance, and nonmonotonicity that stems from database dynamics are given.
Abstract: FLORA-2 is an advanced knowledge representation system that integrates F-logic, HiLog, and Transaction Logic. In this paper we give an overview of the theoretical foundations of the system and of some of the aspects of nonmonotonic reasoning in FLORA-2. These include scoped default negation, behavioral inheritance, and nonmonotonicity that stems from database dynamics.
22 Jul 2008
TL;DR: A comparison between other semantic wiki systems and the developed TaOPis semantic wiki system based on F-Logic is given as well as guidelines for future research.
Abstract: In this paper we present the TaOPis semantic wiki system based on F-Logic that we implemented The system uses the FLORA-2 reasoning engine and supports the dynamic creation of queries in restricted FLORA-2 syntax We show how we were able to apply a simple tagging system in order to support the creation of an object oriented ontology In the end we give a comparison between other semantic wiki systems and the developed system as well as give guidelines for future research
Related Topics (5)
Performance Metrics
| Year | Papers |
|---|---|
| 2016 | 1 |
| 2011 | 1 |
| 2008 | 1 |
| 2007 | 1 |
| 2005 | 1 |