Skip to main content
SpringerLink
Log in
Book cover

International Conference on Logic Programming and Nonmonotonic Reasoning

LPNMR 2005: Logic Programming and Nonmonotonic Reasoning pp 1–12Cite as

Nonmonotonic Reasoning in FLORA-2

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 3662))

Abstract

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.

This work was supported in part by NSF grant CCR-0311512 and by U.S. Army Medical Research Institute under a subcontract through Brookhaven National Lab.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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. 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. Berners-Lee, T.: Primer: Getting into RDF & Semantic Web using N3 (2004), http://www.w3.org/2000/10/swap/Primer.html

  4. Bonner, A., Kifer, M.: An overview of transaction logic. Theoretical Comput. Sci. 133, 205–265 (1994)

    Article  MATH  MathSciNet  Google Scholar 

  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. 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. Bonner, A., Kifer, M.: Results on reasoning about action in transaction logic. In: [15]. Springer, Heidelberg (1998)

    Google Scholar 

  8. Chen, W., Kifer, M., Warren, D.: HiLog: A foundation for higher-order logic programming. Journal of Logic Programming 15(3), 187–230 (1993)

    Article  MATH  MathSciNet  Google Scholar 

  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. 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. 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. 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. Etzioni, O., Golden, K., Weld, D.: Sound and effcient closed-world reasoning for planning Artificial Intelligence. Artificial Intelligence 89(1-2), 113–148 (1997)

    Article  MATH  MathSciNet  Google Scholar 

  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. Freitag, B., Decker, H., Kifer, M., Voronkov, A.: Transactions and Change in Logic Databases. LNCS, vol. 1472. Springer, Heidelberg (1998)

    Book  MATH  Google Scholar 

  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. 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. 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. 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. Kifer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and frame-based languages. Journal of ACM 42, 741–843 (1995)

    Article  MATH  MathSciNet  Google Scholar 

  21. Kowalski, R.: Database updates in event calculus. Journal of Logic Programming 12(1&2), 121–146 (1992)

    Article  MathSciNet  Google Scholar 

  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. Lloyd, J.W.: Foundations of Logic Programming, 2nd extended edn. Springer series in symbolic computation. Springer, Heidelberg (1987)

    MATH  Google Scholar 

  24. Ontoprise, GmbH. OntoBroker Manual, http://www.ontoprise.com/

  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. Reiter, R.: Formalizing database evolution in the situation calculus. In: Conference on Fifth Generation Computer Systems (1992)

    Google Scholar 

  27. Staab, S., Maedche, A.: Knowledge portals: Ontologies at work. The AI Magazine 22(2), 63–75 (2000)

    Google Scholar 

  28. Van Gelder, A., Ross, K., Schlipf, J.S.: The well-founded semantics for general logic programs. J. ACM 38(3), 620–650 (1991)

    MATH  Google Scholar 

  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. 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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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. Yang, G., Kifer, M., Zhao, C.: FLORA-2: User’s Manual (March 2005), http://flora.sourceforge.net/documentation.php

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, State University of New Your at Stony Brook, Stong Brook, NY, 11794, USA

    Michael Kifer

Authors
  1. Michael Kifer
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Computing and Informatics, Arizona State University, 85287-8809, Tempe, AZ

    Chitta Baral

  2. Dipartimento di Matematica, Università della Calabria, I-87036, Rende, CS, Italy

    Gianluigi Greco  & Giorgio Terracina  & 

  3. Department of Mathematics, University of Calabria, 87036, Rende, CS, Italy

    Nicola Leone

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kifer, M. (2005). Nonmonotonic Reasoning in FLORA-2. In: Baral, C., Greco, G., Leone, N., Terracina, G. (eds) Logic Programming and Nonmonotonic Reasoning. LPNMR 2005. Lecture Notes in Computer Science(), vol 3662. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11546207_1

Download citation

  • DOI: https://doi.org/10.1007/11546207_1

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-28538-0

  • Online ISBN: 978-3-540-31827-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation