High Quality Content by WIKIPEDIA articles! F-logic (frame logic) is a knowledge representation- and ontology language. F-logic combines the advantages of conceptual modeling with object-orientated, frame-based languages and offers a declarative, compact and simple syntax, as well as the well-defined semantics of a logic-based language. Features include, among others, object identity, complex objects, inheritance, polymorphism, query methods, encapsulation. F-logic stands in the same relationship to object-oriented programming as classical predicate calculus stands to relational database programming. F-logic was developed by Michael Kifer at New York State University and Georg Lausen at the University of Mannheim. F-logic was originally developed for deductive databases, but is not most frequently used for semantic technologies, especially the Semantic Web. F-logic is considered as a language for formalizing ontologies similar to OWL and RDF.