The paper addresses problems of data and knowledge reasoning in the domain of Semantic Web. The objective of this research was to explore object-oriented logic programming languages in the light of Semantic Web concept. It will be shown that logical formalisms integrating the deductive component and the object-oriented approach and featuring the second-order syntax and the first-order semantics provide an adequate Web data representation and reasoning. The paper describes elements relevant for Web data representation and integration for chosen data domain.
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
Abiteboul S, Buneman P, Szciu D (2000) Data on the web. From Relations to Semistruc-tured Data and XML. Morgan Kaufmann, San Francisco, CA
Abiteboul S (1997) Querying Semi-Structured Data. In: Proceedings of the 6th International Conference on Database Theory. Springer, London, 1–18
Angele J, Lausen G (2003) Otologies in F-logic. Ontoprise GmbH
Berners-Lee T, J. Hendler J, Lassila O (2001). The Semantic Web. Scientific American 284(5):34–43
Chen W, Kifer M, Warren D S (1993) A Foundation for Higher-Order Logic Programming. Journal of Logic Programming 15:187–230
Frohn J, Himmeriider R, Kandzia P, Lausen G, Schlepphorst C (1997) FLORID: A Prototype Form F-logic. In: Proceedings of the 13th International Conference on Data Engineering, Birmingham, UK, 583
Hendler J, Berners-Lee T, Miller E (2002) Integrating Applications on the Semantic Web. Journal of the Institute of Electrical Engineers of Japan 122(10):676–680
Kaić A (2005) Conceptual Modeling and Implementation of Semantic Web Using F-logic (in Croatian), MA thesis, Zagreb University, Faculty of Organization and Informatics Varaždin, Varaždin, Croatia
Kifer M, Lara R, Polleres A, Zhao C, Keller U, Lausen H, Fensel D (2004) A Logical Framework for Web Service Discovery. In: ISWC 2004 Workshop on Semantic Web Services: Preparing to Meet the World of Business Applications. Hiroshima, Japan.
Kifer M, Lausen G, Wu J (1995) Logical Foundations of Object-Oriented and Frame-Besed Languages. Journal of the ACM 42(4):741–843
Lovrenčić A, Čubrilo M (1999) Amalgamation of Heterogeneous Data Sources Using Amalgamated Annotated HiLog. In: Proceedings of the 3rd IEEE Conference on Intelligent Engineering Systems, INES'99. Stara Lesna, Slovakia.
Lovrenčić A (1999) Knowledge Base Amalgamation Using Higher-Order Logic-Based Language HiLog. Journal of Information and Organizational Sciences 23(2):133–147
Lovrenčić A (2003) Logic Programming Languages for Development of Systems for Integration of Heterogenous Knowledge Sources (in Croatian), Ph. D. thesis, Zagreb University, Faculty of Organization and Informatics Varaždin, Varaždin, Croatia
Meštrović A, Cubrilo M (2006) Semantic Web data integration using F-logic, in the proceedings of International Conference on Intelligent Engineering Systems, INES 2006, London
Ludäscher B, Himmeroder R, Lausen G, May M, Schlepphorst C (1998) Managing Semistructured Data with Florid: A Deductive Object-Oriented Perspective. Information Systems 23(8):589–612
Vdovjak R, Houben G (2001) RDF-based architecture for semantic integration of heterogeneous information sources. In: International Workshop on Information Integration on the Web, Rio de Janeiro, RJ, Brasil
Yang G, Kifer M, Zhao C (2003) FLORA-2: A Rule-Based Knowledge Representation and Inference Infrastructure for the Semantic Web. In: Second International Conference on Ontologies, Databases and Applications of Semantics (ODBASE). Catania, Italy
Yang G, Kifer M, Zhao C (2003) FLORA-2: User's manual, Version 0.92, Department of Computer Science, Stony Brook University, http://flora.sourceforge.net/
Yang G, Kifer M (2003) Inheritance and Rule in Object-Oriented Semantic Web Langugaes. In: Second International Workshop on Rules and Rule Markup Languages. Sanibel Island, Florida, USA.
Yang G, Kifer M (2003) Reasoning About Anonymous Resources and Meta Statements on the Semantic Web. Journal of Data Semantics 1:69–97.
Author information
Authors and Affiliations
Corresponding authors
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Meštrović, A., Čubrilo, M. (2009). F-Logic Data and Knowledge Reasoning in the Semantic Web Context. In: Machado, J.A.T., Pátkai, B., Rudas, I.J. (eds) Intelligent Engineering Systems and Computational Cybernetics. Springer, Dordrecht. https://doi.org/10.1007/978-1-4020-8678-6_11
Download citation
DOI: https://doi.org/10.1007/978-1-4020-8678-6_11
Publisher Name: Springer, Dordrecht
Print ISBN: 978-1-4020-8677-9
Online ISBN: 978-1-4020-8678-6
eBook Packages: Computer ScienceComputer Science (R0)