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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Bernstein, A., Grosof, B.N.: Beyond monotonic inheritance: Towards semantic web process ontologies (2003) (unpublished manuscript)
Blair, H., Subrahmanian, V.: Paraconsistent logic programming. Theoretical Computer Science 68, 135–154 (1989)
Bonner, A.J.: Workflow, transactions, and datalog. In: ACM International Symposium on Principles of Database Systems, PODS (1999)
Bonner, A.J., Kifer, M.: An overview of transaction logic. Theoretical Computer Science 133, 205–265 (1994)
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)
Bonner, A.J., Kifer, M.: Results on reasoning about action in transaction logic. In: [13], Springer, Heidelberg (1998)
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)
Carsi, J., Letelier, P., Palma, P.: A dood system for treating the schema evolution problem (1998)
Chen, W., Kifer, M., Warren, D.S.: HiLog: A foundation for higher-order logic programming. Journal of Logic Programming 15(3), 187–230 (1993)
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)
Decker, S., Brickley, D., Saarela, J., Angele, J.: A query and inference service for RDF. In: QL 1998 – The Query Languages Workshop (December 1998)
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)
Freitag, B., Decker, H., Kifer, M., Voronkov, A. (eds.): Dagstuhl Seminar 1997, DYNAMICS 1997, and ILPS-WS 1997. LNCS, vol. 1472. Springer, Berlin (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)
Frohn, J., Lausen, G., Uphoff, H.: Access to objects by path expressions and rules. In: International Conference on Very Large Data Bases, VLDB (1994)
Grosof, B.N.: Prioritized conflict handling for logic programs. In: International Logic Programming Symposium (1997)
Jamil, H.M.: Implementing abstract objects with inheritance in Datalogneg. In: International Conference on Very Large Data Bases, VLDB (1997)
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)
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
Kifer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and framebased languages. Journal of ACM (JACM) 42, 741–843 (1995)
Kifer, M., Lozinskii, E.: A logic for reasoning with inconsistency. Journal of Automated Reasoning 9(2), 179–215 (1992)
Kifer, M., Subrahmanian, V.: Theory of generalized annotated logic programming and its applications. Journal of Logic Programming 12(4), 335–368 (1992)
Kim, H.-G.: Pragmatics of the semantic web. In: Semantic Web Workshop at WWW-2002 (2002)
Kowalski, R.A.: Database updates in event calculus. Journal of Logic Programming 12(1&2), 121–146 (1992)
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)
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/
Lausen, G., Ludäscher, B.: Updates by reasoning about states. In: Second International East/West Database Workshop, Klagenfurt, Austria (September 1994)
Ludäscher, B.: The FLIP system (F-logic to XSB-Prolog compiler) (1994), http://www.informatik.uni-freiburg.de/~ludaesch/flip/
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. Springer, Heidelberg (1997)
Ng, R., Subrahmanian, V.: Probabilistic logic programming. Information and Computation 101(2), 150–201 (1992)
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)
Reiter, R.: Formalizing database evolution in the situation calculus. In: Conference on Fifth Generation Computer Systems (1992)
Sintek, M., Decker, S.: TRIPLE – a query, inference, and transformation language for the semantic web. In: International Semantic Web Conference (2002)
Smith, M.K., Welty, C., McGuinness, D.L.: OWL web ontology language guide (2003), http://www.w3.org/TR/owl-guide/
Touretzky, D.S.: The Mathematics of Inheritance. Morgan Kaufmann, Los Altos (1986)
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)
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.: Well-founded optimism: Inheritance in frame-based knowledge bases. In: International Conference on Ontologies, DataBases, and Applications of Semantics (ODBASE) (October 2002)
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)
Yang, G., Kifer, M.: Reasoning about anonymous resources and meta statements on the semantic web. Journal of Data Semantics (2004) (to appear)
Yang, G., Kifer, M., Zhao, C.: \(\mathcal{F}\)LORA-2: User’s Manual (June 2002), http://flora.sourceforge.net/
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., 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