Frame Logic

Frame Logic (or F-logic) provides a logical foundation for frame-based and object-oriented languages for data and knowledge representation.

Logical Foundations of Object-Oriented and Frame-Based Languages. Journal of ACM, May 1995.
This is the main reference to F-logic. An earlier paper appeared in ACM SIGMOD 1989.
Access to Objects by Path Expressions and Rules . Proceedings of VLDB 1994.
This paper introduces a sophisticated form of path expressions, which is used in FLORA-2. These path expressions are a precursor to XPath.
Managing Semistructured Data With Florid: A Deductive Object-Oriented Perspective. Information Systems 23(8), 1998.
Shows that FLORID (one of the first implementations of F-logic) is a powerful tool for representing and querying semi-structured data.
Inheritance in Rule-Based Frame Systems: Semantics and Inference Journal on Data Semantics (JoDS), Volume VII, Pages 79-135.
Resolves the problem of semantics and computation of non-monotonic multiple inheritance in the presense of deductive rules. Extends F-logic with code inheritance.
Reasoning about Anonymous Resources and Meta Statements on the Semantic Web Journal on Data Semantics, LCNS 2800, Springer Verlag, 2003
Extends F-logic with the notion of formula reification and anonymous oid. These features are important for being able to properly model RDF in F-logic and FLORA-2.
How to Write F-Logic Programs. A tutorial for the Ontoprise's F-logic based deductive engine, which underlies their semantic Web products.

$Date: 2008/07/28 20:11:29 $