F-logic
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
- IEEE/WIC/ACM International Conference on Web…
- 2010
In W3C’s Rule Interchange Format (RIF), F-Logic rules have received considerable attention as a major logical rule formalism… (More)
Is this relevant?
2008
2008
- 2008
In this paper we present the TaOP s semantic wiki system based on F-logic that we implemented. The system uses the Flora-2… (More)
Is this relevant?
2006
2006
- International Conference on Intelligent…
- 2006
The paper addresses data integration for heterogeneous knowledge sources in the semantic Web domain. The objective of the works… (More)
Is this relevant?
2004
2004
- FAABS
- 2004
Understanding and using the data and knowledge encoded in semantic web documents requires an inference engine. F-OWL is an… (More)
Is this relevant?
Highly Cited
2002
Highly Cited
2002
- ACM Trans. Comput. Log.
- 2002
We present description logics of minimal knowledge and negation as failure (MKNF-DLs), which augment description logics with… (More)
Is this relevant?
1997
1997
- ICDE
- 1997
FLORID1 F-Logic Reasoning In Databases is a deductive object oriented database system incorporating F-logic [3] as a data… (More)
Is this relevant?
1997
1997
- 1997
The semi-naive evaluation strategy is one of the most common optimization techniques for enhancing bottom-up evaluation in the… (More)
Is this relevant?
Highly Cited
1995
Highly Cited
1995
- J. ACM
- 1995
We propose a novel formalism, called Frame Logic (abbr., F-logic), that accounts in a clean and declarative fashion for most of… (More)
Is this relevant?
1993
1993
- 1993
The Frame-logic (F-logic) approach of [20] is suggested as an underlying framework for description languages. F-logic is shown to… (More)
Is this relevant?
Highly Cited
1989
Highly Cited
1989
- SIGMOD Conference
- 1989
We propose a database logic which accounts in a clean declarative fashion for most of the “object-oriented” features such as… (More)
Is this relevant?