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.
This work was supported in part by NSF grant IIS-0072927.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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)
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)
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)
Gelder, A.V.: The alternating fixpoint of logic programs with negation. In: ACM Symposium on Principles of Database Systems, pp. 1–10 (1989)
Gelder, A.V., Ross, K., Schlipf, J.S.: The well-founded semantics for general logic programs. Journal of ACM 38(3), 620–650 (1991)
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)
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)
Horrocks, I.: DAML+OIL: A description logic for the Semantic Web. IEEE Bulletin of the Technical Committee on Data Engineering 25(1) (March 2002)
Horrocks, I., Tessaris, S.: Querying the semantic web: A formal approach. In: International Semantic Web Conference (2002)
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)
Jamil, H.M.: Implementing abstract objects with inheritance in Datalogneg. In: International Conference on Very Large Data Bases, pp. 56–65 (1997)
Kifer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and framebased languages. Journal of ACM 42, 741–843 (1995)
Magkanaraki, A., Alexaki, S., Christophides, V., Plexousakis, D.: Benchmarking RDF schemas for the semantic web. In: International Semantic Web Conference (2002)
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)
May, W., Kandzia, P.: Nonmonotonic inheritance in object-oriented deductive database languages. Journal of Logic and Computation 11(4) (2001)
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)
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)
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)
The rule markup initiative, http://www.dfki.uni-kl.de/ruleml/
Sintek, M., Decker, S.: TRIPLE – a query, inference, and transformation language for the semantic web. In: International Semantic Web Conference (2002)
Vardi, M.: The complexity of relational query languages. In: ACM Symposium on Theory of Computing, pp. 137–145 (1982)
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/
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)
Yang, G., Kifer, M.: Flora-2: User’s Manual (June 2002), http://flora.sourceforge.net/
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Yang, G., Kifer, M. (2003). Inheritance and Rules in Object-Oriented Semantic Web Languages. In: Schröder, M., Wagner, G. (eds) Rules and Rule Markup Languages for the Semantic Web. RuleML 2003. Lecture Notes in Computer Science, vol 2876. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39715-1_7
Download citation
DOI: https://doi.org/10.1007/978-3-540-39715-1_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20361-2
Online ISBN: 978-3-540-39715-1
eBook Packages: Springer Book Archive