Advertisement

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

  • Guizhen Yang
  • Michael Kifer
  • Chang Zhao
Part of the Lecture Notes in Computer Science book series (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.

Keywords

Resource Description Framework Logic Programming Path Expression Very Large Data Base Transaction Logic 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Bernstein, A., Grosof, B.N.: Beyond monotonic inheritance: Towards semantic web process ontologies (2003) (unpublished manuscript)Google Scholar
  2. 2.
    Blair, H., Subrahmanian, V.: Paraconsistent logic programming. Theoretical Computer Science 68, 135–154 (1989)zbMATHCrossRefMathSciNetGoogle Scholar
  3. 3.
    Bonner, A.J.: Workflow, transactions, and datalog. In: ACM International Symposium on Principles of Database Systems, PODS (1999)Google Scholar
  4. 4.
    Bonner, A.J., Kifer, M.: An overview of transaction logic. Theoretical Computer Science 133, 205–265 (1994)zbMATHCrossRefMathSciNetGoogle Scholar
  5. 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. 6.
    Bonner, A.J., Kifer, M.: Results on reasoning about action in transaction logic. In: [13], Springer, Heidelberg (1998)Google Scholar
  7. 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. 8.
    Carsi, J., Letelier, P., Palma, P.: A dood system for treating the schema evolution problem (1998)Google Scholar
  9. 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)zbMATHCrossRefMathSciNetGoogle Scholar
  10. 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. 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. 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. 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)zbMATHGoogle Scholar
  14. 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)CrossRefGoogle Scholar
  15. 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. 16.
    Grosof, B.N.: Prioritized conflict handling for logic programs. In: International Logic Programming Symposium (1997)Google Scholar
  17. 17.
    Jamil, H.M.: Implementing abstract objects with inheritance in Datalogneg. In: International Conference on Very Large Data Bases, VLDB (1997)Google Scholar
  18. 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. 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 databasesGoogle Scholar
  20. 20.
    Kifer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and framebased languages. Journal of ACM (JACM) 42, 741–843 (1995)zbMATHCrossRefMathSciNetGoogle Scholar
  21. 21.
    Kifer, M., Lozinskii, E.: A logic for reasoning with inconsistency. Journal of Automated Reasoning 9(2), 179–215 (1992)zbMATHCrossRefMathSciNetGoogle Scholar
  22. 22.
    Kifer, M., Subrahmanian, V.: Theory of generalized annotated logic programming and its applications. Journal of Logic Programming 12(4), 335–368 (1992)CrossRefMathSciNetGoogle Scholar
  23. 23.
    Kim, H.-G.: Pragmatics of the semantic web. In: Semantic Web Workshop at WWW-2002 (2002)Google Scholar
  24. 24.
    Kowalski, R.A.: Database updates in event calculus. Journal of Logic Programming 12(1&2), 121–146 (1992)CrossRefMathSciNetGoogle Scholar
  25. 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. 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. 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. 28.
    Ludäscher, B.: The FLIP system (F-logic to XSB-Prolog compiler) (1994), http://www.informatik.uni-freiburg.de/~ludaesch/flip/
  29. 29.
    May, W., Kandzia, P.: Nonmonotonic inheritance in object-oriented deductive database languages. Journal of Logic and Computation 11(4) (2001)Google Scholar
  30. 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)CrossRefGoogle Scholar
  31. 31.
    Ng, R., Subrahmanian, V.: Probabilistic logic programming. Information and Computation 101(2), 150–201 (1992)zbMATHCrossRefMathSciNetGoogle Scholar
  32. 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)CrossRefGoogle Scholar
  33. 33.
    Reiter, R.: Formalizing database evolution in the situation calculus. In: Conference on Fifth Generation Computer Systems (1992)Google Scholar
  34. 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. 35.
    Smith, M.K., Welty, C., McGuinness, D.L.: OWL web ontology language guide (2003), http://www.w3.org/TR/owl-guide/
  36. 36.
    Touretzky, D.S.: The Mathematics of Inheritance. Morgan Kaufmann, Los Altos (1986)zbMATHGoogle Scholar
  37. 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. 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. 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. 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. 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. 42.
    Yang, G., Kifer, M., Zhao, C.: \(\mathcal{F}\)LORA-2: User’s Manual (June 2002), http://flora.sourceforge.net/

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Guizhen Yang
    • 1
  • Michael Kifer
    • 2
  • Chang Zhao
    • 2
  1. 1.Department of Computer Science and EngineeringUniversity at BuffaloBuffaloUSA
  2. 2.Department of Computer ScienceStony Brook UniversityStony BrookUSA

Personalised recommendations