Inheritance and Rules in Object-Oriented Semantic Web Languages

  • Guizhen Yang
  • Michael Kifer
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2876)

Abstract

Rule-based and object-oriented techniques are rapidly making their way into the infrastructure for representing and reasoning about semantic information on the Web. Combining these two paradigms has been an important objective and F-logic is a widely adopted formalism that achieves this goal. However, the original F-logic was lacking the notion of instance methods – one of the most common object-oriented modeling tools. Extending F-logic with instance methods poses new, nontrivial problems. It requires a different kind of nonmonotonic inheritance and impacts much of the semantics of the logic. In this paper we incorporate instance methods into F-logic and develop a complete model theory as well as a computation framework for the extended language.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Decker, S., Melnik, S., Harmelen, F.V., Fensel, D., Klein, M., Broekstra, J., Erdmann, M., Horrocks, I.: The Semantic Web: The roles of XML and RDF. IEEE Internet Computing 15(3), 63–74 (2000)CrossRefGoogle Scholar
  2. 2.
    Fensel, D., Decker, S., Erdmann, M., Studer, R.: Ontobroker: Or how to enable intelligent access to the WWW. In: Proceedings of the 11th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop, Banff, Canada (1998)Google Scholar
  3. 3.
    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
  4. 4.
    Gelder, A.V.: The alternating fixpoint of logic programs with negation. In: ACM Symposium on Principles of Database Systems, pp. 1–10 (1989) Google Scholar
  5. 5.
    Gelder, A.V., Ross, K., Schlipf, J.S.: The well-founded semantics for general logic programs. Journal of ACM 38(3), 620–650 (1991)MATHGoogle Scholar
  6. 6.
    Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R.A., Bowen, K. (eds.) Proceedings of the Fifth International Conference on Logic Programming, pp. 1070–1080. The MIT Press, Cambridge (1988)Google Scholar
  7. 7.
    Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description logic programms: Combining logic programs with description logic. In: International World Wide Web Conference (2003)Google Scholar
  8. 8.
    Horrocks, I.: DAML+OIL: A description logic for the Semantic Web. IEEE Bulletin of the Technical Committee on Data Engineering 25(1) (March 2002)Google Scholar
  9. 9.
    Horrocks, I., Tessaris, S.: Querying the semantic web: A formal approach. In: International Semantic Web Conference (2002)Google Scholar
  10. 10.
    Jajodia, S., Samarati, P., Sapino, M.L., Subrahmanian, V.S.: Flexible support for multiple access control policies. ACM Transactions on Database Systems 26(2), 214–260 (2001)MATHCrossRefGoogle Scholar
  11. 11.
    Jamil, H.M.: Implementing abstract objects with inheritance in Datalogneg. In: International Conference on Very Large Data Bases, pp. 56–65 (1997) Google Scholar
  12. 12.
    Kifer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and framebased languages. Journal of ACM 42, 741–843 (1995)MATHCrossRefMathSciNetGoogle Scholar
  13. 13.
    Magkanaraki, A., Alexaki, S., Christophides, V., Plexousakis, D.: Benchmarking RDF schemas for the semantic web. In: International Semantic Web Conference (2002)Google Scholar
  14. 14.
    May, W.: A rule-based querying and updating language for XML. In: Ghelli, G., Grahne, G. (eds.) DBPL 2001. LNCS, vol. 2397, pp. 165–181. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  15. 15.
    May, W., Kandzia, P.: Nonmonotonic inheritance in object-oriented deductive database languages. Journal of Logic and Computation 11(4) (2001)Google Scholar
  16. 16.
    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, pp. 320–336. Springer, Heidelberg (1997)CrossRefGoogle Scholar
  17. 17.
    Przymusinski, T.C.: Every logic program has a natural stratification and an iterated least fixed point model. In: ACM Symposium on Principles of Database Systems, pp. 11–21 (1989)Google Scholar
  18. 18.
    Rabitti, F., Bertino, E., Kim, W., Woelk, D.: A model of authorization for next generation database systems. ACM Transactions on Database Systems 16(1), 88–131 (1991)CrossRefGoogle Scholar
  19. 19.
    The rule markup initiative, http://www.dfki.uni-kl.de/ruleml/
  20. 20.
    Sintek, M., Decker, S.: TRIPLE – a query, inference, and transformation language for the semantic web. In: International Semantic Web Conference (2002)Google Scholar
  21. 21.
    Vardi, M.: The complexity of relational query languages. In: ACM Symposium on Theory of Computing, pp. 137–145 (1982)Google Scholar
  22. 22.
    Yang, G.: A Model Theory for Nonmonotonic Multiple Value and Code Inheritance in Object-Oriented Knowledge Bases. PhD thesis, SUNY at Stony Brook (December 2002), http://www.cs.sunysb.edu/~guizyang/
  23. 23.
    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
  24. 24.
    Yang, G., Kifer, M.: Flora-2: User’s Manual (June 2002), http://flora.sourceforge.net/
  25. 25.
    Yang, G., Kifer, M.: Well-founded optimism: Inheritance in frame-based knowledge bases. In: International Conference on Ontologies, DataBases, and Applications of Semantics (October 2002)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Guizhen Yang
    • 1
  • Michael Kifer
    • 2
  1. 1.Department of Compuber Science and EngineeringUniversity at BuffaloBuffaloUSA
  2. 2.Department of Computer Science Stony Brook UniversityStony BrookUSA

Personalised recommendations