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

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

Related topics

Related topics

17 relations
Defeasible reasoningDescription logicFlora-2HiLog
Expand

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2008
Highly Cited
2008
Rule Interchange Format: The Framework
The Rule Interchange Format (RIF) activity within the World Wide Web Consortium (W3C) aims to develop a standard for exchanging… Expand
Highly Cited
2007
Highly Cited
2007
Logical Foundations of (e)RDF(S): Complexity and Reasoning
An important open question in the semantic Web is the precise relationship between the RDF(S) semantics and the semantics of… Expand
  • table 1
  • table 2
  • table 3
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… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Highly Cited
2004
Highly Cited
2004
AGENTWORK: a workflow system supporting rule-based workflow adaptation
Current workflow management systems still lack support for dynamic and automatic workflow adaptations. However, this… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
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… Expand
  • figure 1
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… Expand
  • figure 1
  • table 1
  • table 2
  • table 3
  • table 4
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… Expand
  • figure 1
  • table 1
  • table 6
  • table 7
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… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
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… Expand
  • figure 1
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… Expand
  • figure 1
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