Skip to search form
Skip to main content
>
Semantic Scholar
Semantic Scholar's Logo
Search
Sign In
Create Free Account
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
Create 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.
2017
2017
Modification Operations for Context-Aware Business Rule Management
Felix Burgstaller
,
Bernd Neumayr
,
C. G. Schütz
,
M. Schrefl
IEEE 21st International Enterprise Distributed…
2017
Corpus ID: 26295167
The increasing number, complexity, and variability of business rules in today's enterprises introduces the need for their…
Expand
2016
2016
An integrated multi-level modeling approach for industrial-scale data interoperability
Muzaffar Igamberdiev
,
G. Grossmann
,
Matt Selway
,
M. Stumptner
Software & 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
PADL
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
2013
2013
Knowledge management in semantic social networks
Markus Schatten
Comput. Math. Organ. Theory
2013
Corpus ID: 2147760
An object-oriented model of semantic social networks is proposed and formally analyzed. Methods for project, role, and team…
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
Rodrigo Ramos
,
Olivier Barais
,
J. Jézéquel
MODELS'07
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
J. Data Semant.
2006
Corpus ID: 5794948
Knowledge representation languages that combine rules with object-oriented features akin to frame systems have recently attracted…
Expand
Highly Cited
2003
Highly Cited
2003
Reasoning about Anonymous Resources and Meta Statements on the Semantic Web
Guizhen Yang
,
M. Kifer
J. Data Semant.
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
CoopIS/DOA/ODBASE
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
CoopIS/DOA/ODBASE
2002
Corpus ID: 830498
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