Skip to main content
SpringerLink
Log in

\(\mathcal{F}\) lora-2: A Rule-Based Knowledge Representation and Inference Infrastructure for the Semantic Web

  • Conference paper
On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE (OTM 2003)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2888))

Abstract

\(\mathcal{F}\) lora-2 is a rule-based object-oriented knowledge base system designed for a variety of automated tasks on the Semantic Web, ranging from meta-data management to information integration to intelligent agents. The \(\mathcal{F}\) lora-2 system integrates F-logic, HiLog, and Transaction Logic into a coherent knowledge representation and inference language. The result is a flexible and natural framework that combines rule-based and object-oriented paradigms. This paper discusses the principles underlying the design of the \(\mathcal{F}\) lora-2 system and describes its salient features, including meta-programming, reification, logical database updates, encapsulation, and support for dynamic modules.

This work was supported in part by NSF grants IIS-0072927 and CCR-0311512.

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

Access this chapter

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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Bernstein, A., Grosof, B.N.: Beyond monotonic inheritance: Towards semantic web process ontologies (2003) (unpublished manuscript)

    Google Scholar 

  2. Blair, H., Subrahmanian, V.: Paraconsistent logic programming. Theoretical Computer Science 68, 135–154 (1989)

    Article  MATH  MathSciNet  Google Scholar 

  3. Bonner, A.J.: Workflow, transactions, and datalog. In: ACM International Symposium on Principles of Database Systems, PODS (1999)

    Google Scholar 

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

    Article  MATH  MathSciNet  Google Scholar 

  5. Bonner, A.J., Kifer, M.: A logic for programming database transactions. In: Chomicki, J., Saake, G. (eds.) Logics for Databases and Information Systems, March 1998, vol. ch. 5, pp. 117–166. Kluwer Academic Publishers, Dordrecht (1998)

    Google Scholar 

  6. Bonner, A.J., Kifer, M.: Results on reasoning about action in transaction logic. In: [13], Springer, Heidelberg (1998)

    Google Scholar 

  7. Bugliesi, M., Jamil, H.M.: A stable model semantics for behavioral inheritance in deductive object oriented languages. In: International Conference on Database Theory, ICDT (1995)

    Google Scholar 

  8. Carsi, J., Letelier, P., Palma, P.: A dood system for treating the schema evolution problem (1998)

    Google Scholar 

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

    Article  MATH  MathSciNet  Google Scholar 

  10. Davulcu, H., Kifer, M., Ramakrishnan, C., Ramakrishnan, I.: Logic based modeling and analysis of workflows. In: ACM International Symposium on Principles of Database Systems, PODS (1998)

    Google Scholar 

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

  12. Decker, S., Erdmann, M., Fensel, D., Studer, R.: Ontobroker: Ontology based access to distributed and semi-structured information. In: R.M., et al. (eds.) Database Semantics, Semantic Issues in Multimedia Systems, pp. 351–369. Kluwer Academic Publisher, Boston (1999)

    Google Scholar 

  13. Freitag, B., Decker, H., Kifer, M., Voronkov, A. (eds.): Dagstuhl Seminar 1997, DYNAMICS 1997, and ILPS-WS 1997. LNCS, vol. 1472. Springer, Berlin (1998)

    MATH  Google Scholar 

  14. Frohn, J., Himmeröder, R., Lausen, G., May, W., Schlepphorst, C.: Managing semistructured data with FLORID: A deductive object-oriented perspective. Information Systems 23(8), 589–613 (1998)

    Article  Google Scholar 

  15. Frohn, J., Lausen, G., Uphoff, H.: Access to objects by path expressions and rules. In: International Conference on Very Large Data Bases, VLDB (1994)

    Google Scholar 

  16. Grosof, B.N.: Prioritized conflict handling for logic programs. In: International Logic Programming Symposium (1997)

    Google Scholar 

  17. Jamil, H.M.: Implementing abstract objects with inheritance in Datalogneg. In: International Conference on Very Large Data Bases, VLDB (1997)

    Google Scholar 

  18. Jamil, H.M.: A logic-based language for parametric inheritance. In: Cohn, A.G., Giunchiglia, F., Selman, B. (eds.) KR2000: Principles of Knowledge Representation and Reasoning. Morgan Kaufmann, San Francisco (2000)

    Google Scholar 

  19. 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. Springer, Heidelberg (1995); Keynote Address at the 3rd International Conference on Deductive and Object-Oriented databases

    Google Scholar 

  20. Kifer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and framebased languages. Journal of ACM (JACM) 42, 741–843 (1995)

    Article  MATH  MathSciNet  Google Scholar 

  21. Kifer, M., Lozinskii, E.: A logic for reasoning with inconsistency. Journal of Automated Reasoning 9(2), 179–215 (1992)

    Article  MATH  MathSciNet  Google Scholar 

  22. Kifer, M., Subrahmanian, V.: Theory of generalized annotated logic programming and its applications. Journal of Logic Programming 12(4), 335–368 (1992)

    Article  MathSciNet  Google Scholar 

  23. Kim, H.-G.: Pragmatics of the semantic web. In: Semantic Web Workshop at WWW-2002 (2002)

    Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  25. Lakshmanan, L.V.S., Thirunarayan, K.: Declarative frameworks for inheritance. In: Chomicki, J., Saake, G. (eds.) Logics for Databases and Information Systems, pp. 357–388. Kluwer Academic Publishers, Dordrecht (1998)

    Google Scholar 

  26. Lasilla, O., Swick, R. (eds.): Resource description framework (RDF) model and syntax specification. Technical report, W3C (February 1999), http://www.w3.org/TR/1999/REC-rdf-syntax-19990222/

  27. Lausen, G., Ludäscher, B.: Updates by reasoning about states. In: Second International East/West Database Workshop, Klagenfurt, Austria (September 1994)

    Google Scholar 

  28. Ludäscher, B.: The FLIP system (F-logic to XSB-Prolog compiler) (1994), http://www.informatik.uni-freiburg.de/~ludaesch/flip/

  29. May, W., Kandzia, P.: Nonmonotonic inheritance in object-oriented deductive database languages. Journal of Logic and Computation 11(4) (2001)

    Google Scholar 

  30. May, W., Ludäscher, B., Lausen, G.: Well-founded semantics for deductive object-oriented database languages. In: Bry, F., Ramamohanarao, K. (eds.) DOOD 1997. LNCS, vol. 1341. Springer, Heidelberg (1997)

    Chapter  Google Scholar 

  31. Ng, R., Subrahmanian, V.: Probabilistic logic programming. Information and Computation 101(2), 150–201 (1992)

    Article  MATH  MathSciNet  Google Scholar 

  32. Rabitti, F., Bertino, E., Kim, W., Woelk, D.: A model of authorization for nextgeneration database systems. ACM Transactions on Database Systems 16(1), 88–131 (1991)

    Article  Google Scholar 

  33. Reiter, R.: Formalizing database evolution in the situation calculus. In: Conference on Fifth Generation Computer Systems (1992)

    Google Scholar 

  34. Sintek, M., Decker, S.: TRIPLE – a query, inference, and transformation language for the semantic web. In: International Semantic Web Conference (2002)

    Google Scholar 

  35. Smith, M.K., Welty, C., McGuinness, D.L.: OWL web ontology language guide (2003), http://www.w3.org/TR/owl-guide/

  36. Touretzky, D.S.: The Mathematics of Inheritance. Morgan Kaufmann, Los Altos (1986)

    MATH  Google Scholar 

  37. Yang, G.: A Model Theory for Nonmonotonic Multiple Value and Code Inheritance in Object-OrientedKnow ledge Bases. PhD thesis, SUNY at Stony Brook (December 2002)

    Google Scholar 

  38. Yang, G., Kifer, M.: Implementing an efficient DOOD system using a tabling logic engine. In: First International Conference on Computational Logic, DOOD 2000 Stream (July 2000)

    Google Scholar 

  39. Yang, G., Kifer, M.: Well-founded optimism: Inheritance in frame-based knowledge bases. In: International Conference on Ontologies, DataBases, and Applications of Semantics (ODBASE) (October 2002)

    Google Scholar 

  40. Yang, G., Kifer, M.: Inheritance and rules in object-oriented semantic web languages. In: International Workshop on Rules and Rule Markup Languages for the Semantic Web, RuleML (2003)

    Google Scholar 

  41. Yang, G., Kifer, M.: Reasoning about anonymous resources and meta statements on the semantic web. Journal of Data Semantics (2004) (to appear)

    Google Scholar 

  42. Yang, G., Kifer, M., Zhao, C.: \(\mathcal{F}\)LORA-2: User’s Manual (June 2002), http://flora.sourceforge.net/

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science and Engineering, University at Buffalo, Buffalo, NY, 14260-2000, USA

    Guizhen Yang

  2. Department of Computer Science, Stony Brook University, Stony Brook, NY, 11794-4400, USA

    Michael Kifer & Chang Zhao

Authors
  1. Guizhen Yang
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Michael Kifer
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Chang Zhao
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. STARLab, Vrije Universiteit Brussel (VUB), Bldg G/10, Pleinlaan 2, 1050, Brussels, Belgium

    Robert Meersman

  2. School of Computer Science and Information Technology, RMIT University, Bld 10.10, 376-392 Swanston Street, VIC 3001, Melbourne, Australia

    Zahir Tari

  3. Department of Electrical Engineering and Computer Science, Vanderbilt University, TN 37203, Nashville, USA

    Douglas C. Schmidt

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Yang, G., Kifer, M., Zhao, C. (2003). \(\mathcal{F}\) lora-2: A Rule-Based Knowledge Representation and Inference Infrastructure for the Semantic Web. In: Meersman, R., Tari, Z., Schmidt, D.C. (eds) On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE. OTM 2003. Lecture Notes in Computer Science, vol 2888. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39964-3_43

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-39964-3_43

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-20498-5

  • Online ISBN: 978-3-540-39964-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation