Skip to main content
SpringerLink
Log in

Rules and Ontologies in F-Logic

  • Chapter
Reasoning Web

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 3564))

Abstract

F-logic is a formalism that integrates logic with object-oriented programming in a clean and declarative fashion. It has been successfully used for information integration, ontology modeling, agent-based systems, software engineering, and more. This paper gives a brief overview of F-logic and discusses its features from the point of view of an ontology language.

This work was supported in part by NSF grant CCR-0311512 and by U.S. Army Medical Research Institute under a subcontract through Brookhaven National Lab.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 74.95
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Angele, J., Lausen, G.: Ontologies in F-logic. In: Staab, S., Studer, R. (eds.) Handbook on Ontologies in Information Systems, pp. 29–50. Springer, Berlin (2004)

    Google Scholar 

  2. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook. Cambridge University Press, Cambridge (2002)

    Google Scholar 

  3. Balaban, M.: The F-logic approach for description languages. Annals of Mathematics and Artificial Intelligence 15(1), 19–60 (1995)

    Article  MATH  MathSciNet  Google Scholar 

  4. Berardi, D., Boley, H., Grosof, B., Gruninger, M., Hull, R., Kifer, M., Martin, D., McIlraith, S., Su, J., Tabet, S.: SWSL: Semantic Web Services Language. Technical report, Semantic Web Services Initiative (April 2005), http://www.daml.org/services/swsl/

  5. Bonner, A., Kifer, M.: A logic for programming database transactions. In: Chomicki, J., Saake, G. (eds.) Logics for Databases and Information Systems, ch. 5, pp. 117–166. Kluwer Academic Publishers, Dordrecht (1998)

    Google Scholar 

  6. Chen, W., Kifer, M., Warren, D.: A foundation for higher-order logic programming. Journal of Logic Programming 15(3), 187–230 (1993)

    Article  MATH  MathSciNet  Google Scholar 

  7. de Bruijn, J., Lausen, H., Krummenacher, R., Polleres, A., Predoiu, L., Fensel, D.: The WSML family of representation languages. Technical report, DERI (March 2005), http://www.wsmo.org/TR/d16/d16.1/

  8. Decker, S., Brickley, D., Saarela, J., Angele, J.: A query and inference service for RDF. In: QL1998 - The Query Languages Workshop (December 1998)

    Google Scholar 

  9. Fensel, D., Erdmann, M., Studer, R.: OntoBroker: How to make the WWW intelligent. In: Proceedings of the 11th Banff Knowledge Acquisition for Knowledge- Based Systems Workshop, Banff, Canada (1998)

    Google Scholar 

  10. Frohn, J., Lausen, G., Uphoff, H.: Access to objects by path expressions and rules. In: Proceedings of the Intl. Conference on Very Large Databases, Santiago, Chile, pp. 273–284. Morgan Kaufmann, San Francisco (1994)

    Google Scholar 

  11. Grosof, B.: Prioritized conflict handling for logic programs. In: International Logic Programming Symposium, pp. 197–211 (1997)

    Google Scholar 

  12. Grosof, B.: A courteous compiler from generalized courteous logic programs to ordinary logic programs. Technical Report RC 21472, IBM (July 1999)

    Google Scholar 

  13. Hayes, P.: RDF model theory. In: W3C Working Draft, 10 October (2003), Available at http://www.w3.org/TR/rdf-mt/

  14. Kifer, M., Lara, R., Polleres, A., Zhao, C.: A logical framework for web service discovery. In: Semantic Web Services Workshop (November 2004)

    Google Scholar 

  15. Kifer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and framebased languages. Journal of ACM 42, 741–843 (1995)

    Article  MATH  MathSciNet  Google Scholar 

  16. Klyne, G., Carroll, J.J.: Resource description framework (RDF): Concepts and abstract syntax. In: W3C Working Draft, 10 October (2003), Available at http://www.w3.org/TR/rdf-concepts/

  17. Lloyd, J.W.: Foundations of Logic Programming, 2nd extended edn. Springer series in symbolic computation. Springer, New York (1987)

    Google Scholar 

  18. Lobo, J., Minker, J., Rajasekar, A.: Foundations of Disjunctive Logic Programming. MIT Press, Cambridge (1992)

    Google Scholar 

  19. Lindenstrauss, N., Sagiv, Y.: Automatic termination analysis of logic programs. In: International Conference on Logic Programming (1997)

    Google Scholar 

  20. Ontoprise, GmbH. OntoBroker Manual, http://www.ontoprise.com/

  21. OWL-S Coalition. OWL-S: Semantic markup for Web services. Release 1.1 (December 2004), http://www.daml.org/services/owl-s/1.1/

  22. Przymusinski, T.: Well-founded and stationary models of logic programs. Annals of Mathematics and Artificial Intelligence 12, 141–187 (1994)

    Article  MATH  MathSciNet  Google Scholar 

  23. Sintek, M., Decker, S., Harth, A.: The TRIPLE system (2003), http://triple.semanticweb.org/

  24. Smith, M.K., Welty, C., McGuinness, D.L.: OWL Web ontology language guide. W3C Candidate Recommendation, August 18 (2003), http://www.w3.org/TR/owl-guide/

  25. Staab, S., Maedche, A.: Knowledge portals: Ontologies at work. The AI Magazine 22(2), 63–75 (2000)

    Google Scholar 

  26. Van Gelder, A., Ross, K., Schlipf, J.S.: The well-founded semantics for general logic programs. J. ACM 38(3), 620–650 (1991)

    MATH  Google Scholar 

  27. 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 

  28. Yang, G., Kifer, M.: Well-founded optimism: Inheritance in frame-based knowledge bases. In: Intl. Conference on Ontologies, DataBases, and Applications of Semantics for Large Scale Information Systems (ODBASE) (October 2002)

    Google Scholar 

  29. Yang, G., Kifer, M.: Inheritance and rules in object-oriented semantic Web languages. In: Schröder, M., Wagner, G. (eds.) RuleML 2003. LNCS, vol. 2876, pp. 95–110. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  30. Yang, G., Kifer, M.: Reasoning about anonymous resources and meta statements on the SemanticWeb. In: Spaccapietra, S., March, S., Aberer, K. (eds.) Journal on Data Semantics I. LNCS, vol. 2800, pp. 69–97. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  31. Yang, G., Kifer, M., Zhao, C.: FLORA-2: A rule-based knowledge representation and inference infrastructure for the Semantic Web. In: International Conference on Ontologies, Databases and Applications of Semantics (ODBASE-2003) (November 2003)

    Google Scholar 

  32. Yang, G., Kifer, M., Zhao, C.: FLORA-2: User’s Manual (March 2005), http://flora.sourceforge.net/

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, State University of New Your at Stony Brook, Stony Brook, NY, 11794, U.S.A.

    Michael Kifer

Authors
  1. Michael Kifer
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute for Informatics, University of Munich, Oettingenstraße 67, D-80538, München, Germany

    Norbert Eisinger

  2. Department of Computer and Information Science, Linköping University, 581 83, Linköping, Sweden

    Jan Małuszyński

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Kifer, M. (2005). Rules and Ontologies in F-Logic. In: Eisinger, N., Małuszyński, J. (eds) Reasoning Web. Lecture Notes in Computer Science, vol 3564. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11526988_2

Download citation

  • DOI: https://doi.org/10.1007/11526988_2

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-27828-3

  • Online ISBN: 978-3-540-31675-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation