Ontologies in F-logic

Abstract

F-logic (“F” stands for “Frames”) combines the advantages of conceptual high-level approaches typical for frame-based languages and the expressiveness, the compact syntax, and the well defined semantics from logics. The salient features of F-logic include signatures, object identity, complex objects, methods, classes, inheritance and rules. We give an overview of the syntax and the intuitive semantics of F-logic. We discuss the semantics behind and the different ways how F-logic has been implemented. The language primitives are further demonstrated by discussing a real world application resulting in the ontology based configuration tool OnKo developed for the German Telecom.