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.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
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)
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/
Berners-Lee, T.: Primer: Getting into RDF & Semantic Web using N3 (2004), http://www.w3.org/2000/10/swap/Primer.html
Bonner, A., Kifer, M.: An overview of transaction logic. Theoretical Comput. Sci. 133, 205–265 (1994)
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
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)
Bonner, A., Kifer, M.: Results on reasoning about action in transaction logic. In: [15]. Springer, Heidelberg (1998)
Chen, W., Kifer, M., Warren, D.: HiLog: A foundation for higher-order logic programming. Journal of Logic Programming 15(3), 187–230 (1993)
Clark, K.: Negation as failure. In: Gallaire, H., Minker, J. (eds.) Logic and Data Bases, pp. 292–322. Plenum Press, New York (1978)
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)
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/
Decker, S., Brickley, D., Saarela, J., Angele, J.: A query and inference service for RDF. In: QL 1998 - The Query Languages Workshop (December 1998)
Etzioni, O., Golden, K., Weld, D.: Sound and effcient closed-world reasoning for planning Artificial Intelligence. Artificial Intelligence 89(1-2), 113–148 (1997)
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)
Freitag, B., Decker, H., Kifer, M., Voronkov, A.: Transactions and Change in Logic Databases. LNCS, vol. 1472. Springer, Heidelberg (1998)
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)
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/
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)
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)
Kifer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and frame-based languages. Journal of ACM 42, 741–843 (1995)
Kowalski, R.: Database updates in event calculus. Journal of Logic Programming 12(1&2), 121–146 (1992)
Lausen, G., Ludäscher, B.: Updates by reasoning about states. In: 2-nd International East/West Database Workshop, Klagenfurt, Austria (September 1994)
Lloyd, J.W.: Foundations of Logic Programming, 2nd extended edn. Springer series in symbolic computation. Springer, Heidelberg (1987)
Ontoprise, GmbH. OntoBroker Manual, http://www.ontoprise.com/
Reiter, R.: On closed world databases. In: Gallaire, H., Minker, J. (eds.) Logic and Databases, pp. 55–76. Plenum Press, New York (1978)
Reiter, R.: Formalizing database evolution in the situation calculus. In: Conference on Fifth Generation Computer Systems (1992)
Staab, S., Maedche, A.: Knowledge portals: Ontologies at work. The AI Magazine 22(2), 63–75 (2000)
Van Gelder, A., Ross, K., Schlipf, J.S.: The well-founded semantics for general logic programs. J. ACM 38(3), 620–650 (1991)
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)
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)
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)
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)
Yang, G., Kifer, M., Zhao, C.: FLORA-2: User’s Manual (March 2005), http://flora.sourceforge.net/documentation.php
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)