Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Related topics

Related topics

11 relations
F-logicHiLogKnowledge representation and reasoningLogic programming
Expand

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Modification Operations for Context-Aware Business Rule Management
The increasing number, complexity, and variability of business rules in today's enterprises introduces the need for their… Expand
  • figure 1
  • figure 2
  • table 1
  • figure 3
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… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
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… Expand
2013
2013
Knowledge management in semantic social networks
An object-oriented model of semantic social networks is proposed and formally analyzed. Methods for project, role, and team… Expand
  • table 1
  • figure 1
  • figure 2
  • figure 3
  • figure 4
2010
2010
A Guide to the Basic Logic Dialect for Rule Interchange on the Web
  • H. Boley, M. 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… Expand
2007
2007
Matching model-snippets
An important demand in Model-Driven Development is the simple and efficient expression of model patterns. Current approaches tend… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
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… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
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… Expand
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… Expand
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… Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE