Rules and ontologies in F-logic

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. © Springer-Verlag Berlin Heidelberg 2005.