The Frame Logic

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

• 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, F-logic: a higher-order language for reasoning about objects, inheritance, and scheme appeared in ACM SIGMOD 1989. In 1999, that paper has won the Test of Time Award from ACM SIGMOD for the most influential paper in the preceeding 10 years.
• Querying object-oriented databases. ACM SIGMOD 1992. This paper describes and SQL-lke language based on F-logic, which is intended for querying object-oriented databases. In 2002, this paper has won the Test of Time Award from ACM SIGMOD for the most influential paper in the preceeding 10 years.
• 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 precursors 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 Semafora's F-logic based deductive engine, called Ontobroker.