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.
2016
2016
An integrated multi-level modeling approach for industrial-scale data interoperability
Multi-level modeling is currently regaining attention in the database and software engineering community with different emerging… 
2013
2013
Terminyzer: An Automatic Non-termination Analyzer for Large Logic Programs
There have been many studies on termination analysis of logic programs but little has been done to analyze their non-termination… 
2010
2010
A Guide to the Basic Logic Dialect for Rule Interchange on the Web
  • H. BoleyM. Kifer
  • IEEE Transactions on Knowledge and Data…
  • 2010
  • Corpus ID: 9689339
The W3C Rule Interchange Format (RIF) is a forthcoming standard for exchanging rules among different systems and developing… 
2007
2007
Matching model-snippets
An important demand in Model-Driven Development is the simple and efficient expression of model patterns. Current approaches tend… 
2006
2006
Inheritance in Rule-Based Frame Systems: Semantics and Inference
Knowledge representation languages that combine rules with object-oriented features akin to frame systems have recently attracted… 
Review
2005
Review
2005
Nonmonotonic Reasoning in FLORA-2
  • M. Kifer
  • International Conference on Logic Programming and…
  • 2005
  • Corpus ID: 9474239
FLORA-2 is an advanced knowledge representation system that integrates F-logic, HiLog, and Transaction Logic. In this paper we… 
Highly Cited
2003
Highly Cited
2003
Reasoning about Anonymous Resources and Meta Statements on the Semantic Web
Anonymous resources and meta statements are two of the more interesting features of RDF — an emerging standard for representing… 
Highly Cited
2003
Highly Cited
2003
Flora-2: A Rule-Based Knowledge Representation and Inference Infrastructure for the Semantic Web
\(\mathcal{F}\) lora-2 is a rule-based object-oriented knowledge base system designed for a variety of automated tasks on the… 
2002
2002
On the Semantics of Anonymous Identity and Reification
Reification and anonymous resources are two of the more interesting features of RDF -- an emerging standard for representing… 
Review
2001
Review
2001
FLORA-2: User's Manual
code Coder (flrcoder.P) Macro program GPP preprocessor XSB Program XSB Byte code Generator Intermediate Code (flrcompiler.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)