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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
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
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
There have been many studies on termination analysis of logic programs but little has been done to analyze their non-termination… Expand
2013
2013
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
  • 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
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
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
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
\(\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
Reification and anonymous resources are two of the more interesting features of RDF -- an emerging standard for representing… Expand