F-Logic Data and Knowledge Reasoning in the Semantic Web Context

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.

Keywords

Assure Encapsulation Florid 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Abiteboul S, Buneman P, Szciu D (2000) Data on the web. From Relations to Semistruc-tured Data and XML. Morgan Kaufmann, San Francisco, CAGoogle Scholar
  2. 2.
    Abiteboul S (1997) Querying Semi-Structured Data. In: Proceedings of the 6th International Conference on Database Theory. Springer, London, 1–18Google Scholar
  3. 3.
    Angele J, Lausen G (2003) Otologies in F-logic. Ontoprise GmbHGoogle Scholar
  4. 4.
    Berners-Lee T, J. Hendler J, Lassila O (2001). The Semantic Web. Scientific American 284(5):34–43CrossRefGoogle Scholar
  5. 5.
    Chen W, Kifer M, Warren D S (1993) A Foundation for Higher-Order Logic Programming. Journal of Logic Programming 15:187–230MATHCrossRefMathSciNetGoogle Scholar
  6. 6.
    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, 583Google Scholar
  7. 7.
    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–680Google Scholar
  8. 8.
    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, CroatiaGoogle Scholar
  9. 9.
    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.Google Scholar
  10. 10.
    Kifer M, Lausen G, Wu J (1995) Logical Foundations of Object-Oriented and Frame-Besed Languages. Journal of the ACM 42(4):741–843MATHCrossRefMathSciNetGoogle Scholar
  11. 12.
    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.Google Scholar
  12. 12.
    Lovrenčić A (1999) Knowledge Base Amalgamation Using Higher-Order Logic-Based Language HiLog. Journal of Information and Organizational Sciences 23(2):133–147MATHGoogle Scholar
  13. 13.
    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, CroatiaGoogle Scholar
  14. 14.
    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, LondonGoogle Scholar
  15. 15.
    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–612CrossRefGoogle Scholar
  16. 16.
    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, BrasilGoogle Scholar
  17. 17.
    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, ItalyGoogle Scholar
  18. 18.
    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/
  19. 19.
    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.Google Scholar
  20. 20.
    Yang G, Kifer M (2003) Reasoning About Anonymous Resources and Meta Statements on the Semantic Web. Journal of Data Semantics 1:69–97.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  1. 1.Faculty of PhilosophyDepartment of Information SciencesCroatia
  2. 2.Faculty of Organization and InformaticsDepartment of the Theoretical and Applied Foundations of Information SciencesVaraždinCroatia

Personalised recommendations