Lably
Skip to content

F-logic

Ontology language

  • 4 min read
  • 3 chapters

Related on Lably

Through Object-oriented programming, Syntax (programming languages) and Logic programming

Lab · Class 6–12AI & Python Builds (Medha AI)Lab · Class 11Binary and Logic GatesLab · Class 11Python for ML — NumPy, Pandas, scikit-learnLab · Class 6–10Rule-based vs Learning Systems

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 relational calculus stands to relational database programming.

Overview

F-logic was developed by Michael Kifer at Stony Brook University and Georg Lausen at the University of Mannheim. F-logic was originally developed for deductive databases, but is now used most often for semantic technologies, especially the semantic web. F-logic is considered as one of the formalisms for ontologies, but description logic (DL) is more popular and accepted, as is the DL-based Web Ontology Language (OWL).

A development environment for F-logic was developed in the NeOn project and is also used in a range of applications for information integration, question answering and semantic search. Before version 4 of Protégé ontology editor, F-Logic is supported as one of the two kinds of ontology.

The frame syntax of the Rule Interchange Format Basic Logic Dialect (RIF BLD) standardized by the World Wide Web Consortium is based on F-logic; RIF BLD however omits non-monotonic reasoning features of F-logic.

In contrast to description logic based ontology formalism, the semantics of F-logic are normally that of a closed world assumption in contrast to DL's open world assumption. Also, F-logic is generally undecidable, whereas the SHOIN description logic that Web Ontology Language (OWL) DL is based on is decidable. However, it is possible to represent more expressive statements in F-logic than are possible with description logics.

The most comprehensive description of F-logic was published in 1995. The preliminary paper from 1989 won the 1999 Test of Time Award from ACM SIGMOD. A follow-up paper from 1992 won the 2002 Test of Time Award from ACM SIGMOD.

Sign in to keep reading

2 more chapters are free with a Lably account.

More in Computing and communication

ISBNUnique numeric book identifier since 1970X (social network)American social networking serviceWayback MachineDigital archive by the Internet ArchivePython (programming language)General-purpose programming languageMacOSOperating system for Apple computersUnicodeCharacter encoding standard