Skip to search formSkip to main contentSkip to account menu

F-logic

Known as: FLogic 
F-logic (frame logic) is a knowledge representation and ontology language. F-logic combines the advantages of conceptual modeling with object… 
Wikipedia (opens in a new tab)

Related topics

Related topics

17 relations
Defeasible reasoningDescription logicFlora-2HiLog

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2008
Highly Cited
2008
Rule Interchange Format: The Framework
  • M. Kifer
  • International Web Rule Symposium
  • 2008
  • Corpus ID: 1421937
The Rule Interchange Format (RIF) is an activity within the World Wide Web Consortium aimed at developing a Web standard for… 
Highly Cited
2005
Highly Cited
2005
Ontology-Based Policy Specification and Management
The World Wide Web makes it easy to share information and resources, but offers few ways to limit the manner in which these… 
Highly Cited
2004
Highly Cited
2004
AGENTWORK: a workflow system supporting rule-based workflow adaptation
2004
2004
On Spatial Ontologies
Highly Cited
2002
Highly Cited
2002
Description logics of minimal knowledge and negation as failure
We present description logics of minimal knowledge and negation as failure (MKNF-DLs), which augment description logics with… 
Highly Cited
2000
Highly Cited
2000
A Roadmap to Ontology Specification Languages
The interchange of ontologies across the World Wide Web (WWW) and the cooperation among heterogeneous agents placed on it is the… 
Highly Cited
2000
Highly Cited
2000
Evaluating Knowledge Representation and Reasoning Capabilites of Ontology Specification Languages
The interchange of ontologies across the World Wide Web (WWW) and the cooperation among heterogeneous agents placed on it is the… 
Highly Cited
1995
Highly Cited
1995
Procedures in Object-Oriented Query Languages
We follow the stack-baaed approach to query languages which is a new formal and intellectual paradigm for integrating querying… 
Highly Cited
1992
Highly Cited
1992
Querying object-oriented databases
1 Introduction Recent yeara saw several proposals for languages for querying object-oriented databases [2, 3, 4, 5, 13, 6]. None… 
Highly Cited
1989
Highly Cited
1989
F-logic: a higher-order language for reasoning about objects, inheritance, and scheme
We propose a database logic which accounts in a clean declarative fashion for most of the “object-oriented” features such as… 
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)