Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 209,943,804 papers from all fields of science
Search
Sign In
Create Free Account
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
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
11 relations
F-logic
HiLog
Knowledge representation and reasoning
Logic programming
Expand
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
Muzaffar Igamberdiev
,
G. Grossmann
,
Matt Selway
,
M. Stumptner
Journal of Software and Systems Modeling
2016
Corpus ID: 44057811
Multi-level modeling is currently regaining attention in the database and software engineering community with different emerging…
Expand
2013
2013
Terminyzer: An Automatic Non-termination Analyzer for Large Logic Programs
Senlin Liang
,
M. Kifer
International Symposium on Practical Aspects of…
2013
Corpus ID: 8411704
There have been many studies on termination analysis of logic programs but little has been done to analyze their non-termination…
Expand
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
R. Ramos
,
Olivier Barais
,
J. Jézéquel
ACM/IEEE International Conference on Model Driven…
2007
Corpus ID: 17399239
An important demand in Model-Driven Development is the simple and efficient expression of model patterns. Current approaches tend…
Expand
2006
2006
Inheritance in Rule-Based Frame Systems: Semantics and Inference
Guizhen Yang
,
M. Kifer
Journal on Data Semantics
2006
Corpus ID: 5794948
Knowledge representation languages that combine rules with object-oriented features akin to frame systems have recently attracted…
Expand
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…
Expand
Highly Cited
2003
Highly Cited
2003
Reasoning about Anonymous Resources and Meta Statements on the Semantic Web
Guizhen Yang
,
M. Kifer
Journal on Data Semantics
2003
Corpus ID: 15482700
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
Guizhen Yang
,
M. Kifer
,
Chang Zhao
OTM Conferences / Workshops
2003
Corpus ID: 17579299
\(\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
Guizhen Yang
,
M. Kifer
OTM Conferences / Workshops
2002
Corpus ID: 830498
Reification and anonymous resources are two of the more interesting features of RDF -- an emerging standard for representing…
Expand
Review
2001
Review
2001
FLORA-2: User's Manual
Guizhen Yang
,
M. Kifer
2001
Corpus ID: 60989167
code Coder (flrcoder.P) Macro program GPP preprocessor XSB Program XSB Byte code Generator Intermediate Code (flrcompiler.P…
Expand
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)
ACCEPT & CONTINUE