Skip to search formSkip to main contentSkip to account menu

Flora-2

Flora-2 is an open source rule-based system for knowledge representation and reasoning.The language of the system is derived from F-logic, HiLog, and… 
Wikipedia (opens in a new tab)

Related topics

Related topics

11 relations
F-logicHiLogKnowledge representation and reasoningLogic programming

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
PSOA2Prolog: Object-Relational Rule Interoperation and Implementation by Translation from PSOA RuleML to ISO Prolog
PSOA2Prolog consists of a multi-step source-to-source normalizer followed by a mapper to a pure (Horn) subset of ISO Prolog. We… 
2015
2015
Verification of the CD2RDBMS Transformation Case in Flora-2
Model transformations play a key role in model-driven development. They are used to generate, refactor, synthesize, reverse… 
2015
2015
Verication of the CD2RDBMS Transformation Case in Flora-2: VOLT 2015 Case Study Technical Report
Model transformations are the enablers of models, which are the rst class entities of MDE. Transformations are used to generate… 
2015
2015
A Novel Concise Specification and Efficient F-Logic Based Matching of Semantic Web Services in Flora-2
We propose a novel concise specification of semantic web services conforming to the WSMO standard using the Flora-2 language, as… 
2015
2015
Representing Flexible Role-Based Access Control Policies Using Objects and Defeasible Reasoning
Access control systems often use rule based frameworks to express access policies. These frameworks not only simplify the… 
2014
2014
An implementation of multi-level modelling in F-logic
Multi-level modelling is currently regaining attention in the database and software engineering community with different emerging… 
2012
2012
Efficient Query Answering over Fuzzy EL-OWL Based on Crisp Datalog Rewritable Fuzzy EL ++
OWL EL is an extension of the tractable EL ++ description logic. Despite their inference capabilities over TBoxes, DL reasoners… 
2012
2012
Semantic Matching Using Concept Lattice
This paper describes how a concept lattice that represents semantic relations (synonymy, hyponymy, hypernymy) in a set of words… 
2011
2011
Monolingual Dictionary Semantic Capturing Using Concept Lattice
This paper proposes an approach for retrieving semantic relationships between semantic units in a monolingual dictionary. The… 
2008
2008
FLORA-2: User's Manual Version 0.95 (Androcymbium)
code Coder (flrcoder.P) 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)