F-Logic

from Wikipedia, the free encyclopedia

Frame Logic (abbreviated F-Logic) is a formal language for the representation of knowledge .

description

It combines the advantages of conceptual modeling with those of object-oriented frame-based languages ​​and offers declarativity, compact and simple syntax and the well-defined semantics of a logic-based language. F-Logic supports typing, meta-reasoning, complex objects, methods, classes, inheritance, rules, queries and modularization. The semantics of F-Logic are based on the semantics of first level logic , specifically on the semantics of logic 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 in the area of deductive databases, but is mainly used today in the areas of semantic technologies and semantic web . F-Logic represents a language for the formulation of ontologies similar to OWL , RDF .

A development environment was developed for F-Logic between 2006 and 2010 as part of the European NEON project. F-Logic is now also used in numerous industrial applications for information integration, to support complex decisions, to find solutions in the area of ​​customer service and for semantic searches.

example

A small example of F-Logic in the original language specification is given below:

Schema / classes / methods

mann::person. // every man is a person

frau::person. // every woman is a person

person[hatSohn=>>mann]. // a person's son is a man

Rules / derivatives

FORALL X,Y X:person[hatVater->Y] <- Y:mann[hatSohn -> X]. // if X is the son of Y, then Y is the father of X

Facts 

brad:mann.

angelina:frau.

verheiratet(brad, angelina).

brad[hatSohn->>{maddox, pax}].

inquiry

Who does Angelina have a son with named Pax?

FORALL M <- verheiratet(M, angelina) AND M[hatSohn ->> {pax}].

In the meantime, the syntax has been simplified in some points.

F-Logic based languages

  • FLORA-2 is an extension of F-Logic to include HiLog and Transaction Logic
  • FLORID is an implementation in C ++
  • Ontobroker supports ObjectLogic , the successor to F-Logic
  • Web Services Modeling Language (WSML)
  • Semantic Web Services Language (SWSL)

Web links

Individual evidence

  1. ↑ neon-project.org . Development environment website: neon-toolkit.org
  2. ↑ Tutorial F-Logic  ( page no longer available , search in web archives )  Info: The link was automatically marked as defective. Please check the link according to the instructions and then remove this notice. (PDF).@1@ 2Template: Toter Link / www.ontoprise.de  
  3. ↑ forum.projects.semwebcentral.org