FLORA-2 is an advanced knowledge representation system that integrates F-logic, HiLog, and Transaction Logic. In this paper we give an overview of the theoretical foundations of the system and of some of the aspects of nonmonotonic reasoning in FLORA-2. These include scoped default negation, behavioral inheritance, and nonmonotonicity that stems from database dynamics.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Angele, J., Lausen, G.: Ontologies in F-logic. In: Staab, S., Studer, R. (eds.) Handbook on Ontologies in Information Systems, pp. 29–50. Springer, Heidelberg (2004)Google Scholar
  2. 2.
    Berardi, D., Boley, H., Grosof, B., Gruninger, M., Hull, R., Kifer, M., Martin, D., McIlraith, S., Su, J., Tabet, S.: SWSL: Semantic Web Services Language. Technical report, Semantic Web Services Initiative (April 2005), http://www.daml.org/services/swsl/
  3. 3.
    Berners-Lee, T.: Primer: Getting into RDF & Semantic Web using N3 (2004), http://www.w3.org/2000/10/swap/Primer.html
  4. 4.
    Bonner, A., Kifer, M.: An overview of transaction logic. Theoretical Comput. Sci. 133, 205–265 (1994)MATHCrossRefMathSciNetGoogle Scholar
  5. 5.
    Bonner, A., Kifer, M.: Transaction logic programming (or a logic of declarative and procedural knowledge). Technical Report CSRI-323, University of Toronto (November 1995), http://www.cs.toronto.edu/~bonner/transaction-logic.html
  6. 6.
    Bonner, A., Kifer, M.: A logic for programming database transactions. In: Chomicki, J., Saake, G. (eds.) Logics for Databases and Information Systems, ch. 5, March 1998, pp. 117–166. Kluwer Academic Publishers, Dordrecht (1998)Google Scholar
  7. 7.
    Bonner, A., Kifer, M.: Results on reasoning about action in transaction logic. In: [15]. Springer, Heidelberg (1998)Google Scholar
  8. 8.
    Chen, W., Kifer, M., Warren, D.: HiLog: A foundation for higher-order logic programming. Journal of Logic Programming 15(3), 187–230 (1993)MATHCrossRefMathSciNetGoogle Scholar
  9. 9.
    Clark, K.: Negation as failure. In: Gallaire, H., Minker, J. (eds.) Logic and Data Bases, pp. 292–322. Plenum Press, New York (1978)Google Scholar
  10. 10.
    Davulcu, H., Kifer, M., Ramakrishnan, C., Ramakrishnan, I.: Logic based modeling and analysis of workflows. In: ACM Symposium on Principles of Database Systems, Seattle, Washington, June 1998, pp. 25–33 (1998)Google Scholar
  11. 11.
    de Bruijn, J., Lausen, H., Krummenacher, R., Polleres, A., Predoiu, L., Fensel, D.: The WSML family of representation languages. Technical report, DERI (March 2005), http://www.wsmo.org/TR/d16/d16.1/
  12. 12.
    Decker, S., Brickley, D., Saarela, J., Angele, J.: A query and inference service for RDF. In: QL 1998 - The Query Languages Workshop (December 1998)Google Scholar
  13. 13.
    Etzioni, O., Golden, K., Weld, D.: Sound and effcient closed-world reasoning for planning Artificial Intelligence. Artificial Intelligence 89(1-2), 113–148 (1997)MATHCrossRefMathSciNetGoogle Scholar
  14. 14.
    Fensel, D., Erdmann, M., Studer, R.: OntoBroker: How to make the WWW intelligent. In: Proceedings of the 11th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop, Banff, Canada (1998)Google Scholar
  15. 15.
    Freitag, B., Decker, H., Kifer, M., Voronkov, A.: Transactions and Change in Logic Databases. LNCS, vol. 1472. Springer, Heidelberg (1998)MATHCrossRefGoogle Scholar
  16. 16.
    Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Logic Programming: Proceedings of the Fifth Conference and Symposium, pp. 1070–1080 (1988)Google Scholar
  17. 17.
    Hawke, S., Tabet, S., de Sainte Marie, C.: Rule Language Standardization: Report from the W3C Workshop on Rule Languages for Interoperability (May 2005), http://www.w3.org/2004/12/rules-ws/report/
  18. 18.
    Kifer, M.: Deductive and object-oriented data languages: A quest for integration. In: Ling, T.-W., Vieille, L., Mendelzon, A.O. (eds.) DOOD 1995. LNCS, vol. 1013, pp. 187–212. Springer, Heidelberg (1995)Google Scholar
  19. 19.
    Kifer, M., Lara, R., Polleres, A., Zhao, C.: A logical framework for web service discovery. In: ISWC 2004 Semantic Web Services Workshop. CEUR Workshop Proceedings (November 2004)Google Scholar
  20. 20.
    Kifer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and frame-based languages. Journal of ACM 42, 741–843 (1995)MATHCrossRefMathSciNetGoogle Scholar
  21. 21.
    Kowalski, R.: Database updates in event calculus. Journal of Logic Programming 12(1&2), 121–146 (1992)CrossRefMathSciNetGoogle Scholar
  22. 22.
    Lausen, G., Ludäscher, B.: Updates by reasoning about states. In: 2-nd International East/West Database Workshop, Klagenfurt, Austria (September 1994)Google Scholar
  23. 23.
    Lloyd, J.W.: Foundations of Logic Programming, 2nd extended edn. Springer series in symbolic computation. Springer, Heidelberg (1987)MATHGoogle Scholar
  24. 24.
    Ontoprise, GmbH. OntoBroker Manual, http://www.ontoprise.com/
  25. 25.
    Reiter, R.: On closed world databases. In: Gallaire, H., Minker, J. (eds.) Logic and Databases, pp. 55–76. Plenum Press, New York (1978)Google Scholar
  26. 26.
    Reiter, R.: Formalizing database evolution in the situation calculus. In: Conference on Fifth Generation Computer Systems (1992)Google Scholar
  27. 27.
    Staab, S., Maedche, A.: Knowledge portals: Ontologies at work. The AI Magazine 22(2), 63–75 (2000)Google Scholar
  28. 28.
    Van Gelder, A., Ross, K., Schlipf, J.S.: The well-founded semantics for general logic programs. J. ACM 38(3), 620–650 (1991)MATHGoogle Scholar
  29. 29.
    Yang, G., Kifer, M.: Well-founded optimism: Inheritance in frame-based knowledge bases. In: Intl. Conference on Ontologies, DataBases, and Applications of Semantics for Large Scale Information Systems (ODBASE) (October 2002)Google Scholar
  30. 30.
    Yang, G., Kifer, M.: Inheritance and rules in object-oriented semantic Web languages. In: Schröder, M., Wagner, G. (eds.) RuleML 2003. LNCS, vol. 2876, pp. 95–110. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  31. 31.
    Yang, G., Kifer, M.: Reasoning about anonymous resources and meta statements on the Semantic Web. In: Spaccapietra, S., March, S., Aberer, K. (eds.) Journal on Data Semantics I. LNCS, vol. 2800, pp. 69–97. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  32. 32.
    Yang, G., Kifer, M., Zhao, C.: FLORA-2: A rule-based knowledge representation and inference infrastructure for the Semantic Web. In: International Conference on Ontologies, Databases and Applications of Semantics (ODBASE 2003) (November 2003)Google Scholar
  33. 33.
    Yang, G., Kifer, M., Zhao, C.: FLORA-2: User’s Manual (March 2005), http://flora.sourceforge.net/documentation.php

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Michael Kifer
    • 1
  1. 1.Department of Computer ScienceState University of New Your at Stony BrookStong BrookUSA

Personalised recommendations