Related Work

Rules on the Web:

• Rule Interchange Format (RIF). This is a W3C standard for exchanging rules over the Web. It is based in large part on F-logic and HiLog, especially its Basic Logic Dialect (RIF-BLD) and the Framework for Logic Dialects (RIF-FLD).
• Rules and Ontologies in F-logic. Reasoning Web, Springer LNCS 3565, 2005.

Web information systems:

• On the Relationship between Description Logic-based and F-Logic-based Ontologies. Fundamenta Informaticae 82:3, 2008, pp. 213-236.
• Ontobroker: How to Make the WWW Intelligent. European Conference on Digital Libraries, 1998.
• TRIPLE---A Query, Inference, and Transformation Language for the Semantic Web
• A Layered Architecture for Querying Dynamic Web. Proceedings of SIGMOD 1999.
• Design and implementation of the physical layer in webbases: The XRover experience. In Int'l Conference on Computational Logic (DOOD-2000 Stream), July 2000.
• Querying the Web with FLORID

Semantic Web Services:

• Publications of the Web Services Modeling Ontology project.
• CTR-S: A Logic for Specifying Contracts in Semantic Web Services Proceedings of the 13-th World Wide Web Conference (WWW2004), May 2004.
• Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic. Proceedings of VLDB 2007.
• WSMO Choreography: From Abstract State Machines to Concurrent Transaction Logic. European Semantic Web Conference, June 2008, Tenerife, Spain.
• Semantic Web Service Choreography: Contracting and Enactment. International Semantic Web Conference (ISWC), October 2008, Karlsruhe, Germany.

Workflow modeling:

• Logic-based modeling and analysis of workflows. Proceedings of PODS 1998.
• Workflows, Transactions, and Datalog. Proceedings of PODS 1999.
• A Logical Framework for Scheduling Workflows Under Resource Allocation Constraints. Proceedings of VLDB 2002.

Biocomputing:

• Knowledge-Based Integration of Neuroscience Data Sources

Reasoning:

• The F-Logic Approach for Description Languages. Annals of Mathematics and Artificial Intelligence, 1993.
• DFL - a dialog based integration of concept and rule reasoners. Data and Knowledge Engineering 38:3, September 2001, pp. 301-334, Elsevier.
• Results on Reasoning about Updates in Transaction Logic . LNCS 1472, Springer Verlag, 1998.
• Specifying and Reasoning about actions in open-worlds using Transaction Logic. ECAI 2000: Workshop on Cognitive Robotics, Berlin, Germany, August 21-22, 2000.

Robotics:

• Sensor Data Assimilation as Database Transactions. The AAAI Spring Symposium on Logical Formalization of Commonsense Reasoning, Stanford University in Palo Alto, California, March 24-26, 2003.
• Approaching the Plans are Programs Paradigm Using Transaction Logic. Fourth European Conference on Planning ECP '97, Toulouse, Sep. 24-26, 1997.
• Actions as Prolog Programs. 1996 IEEE International Joint Symposia on Intelligence and Systems (IJSIS '96) November 04 - 05, 1996 Rockville, MD.

Information integration and warehousing:

• A Rule Based Language for Ordered Multidimentional Databases
• Amalgamation of Heterogeneous Data Sources Using Amalgamated Annotated HiLog, Lovrencic, A. and M. Cubrilo. EEE International Conference on Intelligent Engineering Systems, Stara Lesna, Slovakia, 1999., pp. 285 - 290.
• Semantic Integration of Disparate Information Sources over the Internet using Constraint Propagation
• SEAL - Tying Up Information Integration and Web Site Management
• XPathLog and LoPiX: a Logical Approach to XML and XML Data Integration

Other implementations of F-logic:

• FLORID: A Prototype for F-Logic