F-logic

F-logic

F-logic (frame logic) is a knowledge representation- and ontology language.It accounts in a declarative fashion for structural aspects of object-oriented and frame-based languages.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 based Languages

* [http://flora.sourceforge.net/ FLORA-2] is an extension of F-logic with HiLog and transaction logic.
* [http://www.informatik.uni-freiburg.de/~dbis/florid/ FLORID] is a C++-based implementation
* [http://www.wsmo.org/wsml/ Web Services Modeling Language (WSML)]
* [http://www.daml.org/services/swsl/ Semantic Web Services Language (SWSL)]
* [http://www.ontoprise.de/de/en/home/products/ontobroker.html OntoBroker]

ee also

Michael Kifer

External links

* [http://www.cs.umbc.edu/771/papers/flogic.pdf Paper on F-logic, from 1995]


Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • Logic — • A historical survey from Indian and Pre Aristotelian philosophy to the Logic of John Stuart Mill Catholic Encyclopedia. Kevin Knight. 2006. Logic     Logic      …   Catholic encyclopedia

  • Logic programming — is, in its broadest sense, the use of mathematical logic for computer programming. In this view of logic programming, which can be traced at least as far back as John McCarthy s [1958] advice taker proposal, logic is used as a purely declarative… …   Wikipedia

  • Logic Pro — Logic 8 Developer(s) Apple Inc. Stable release 9.1.5 / 2011 08 08 Operating system …   Wikipedia

  • Logic in Islamic philosophy — Logic (Arabic: Mantiq ) played an important role in early Islamic philosophy. Islamic law placed importance on formulating standards of argument, which gave rise to a novel approach to logic in Kalam, as seen in the method of qiyas . This… …   Wikipedia

  • Logic Pro — Entwickler Apple Inc. Aktuelle Version 9.1.5 (9. August 2011) Betriebssystem Mac OS X Kategorie Musiksoftware Lizenz …   Deutsch Wikipedia

  • Logic and the philosophy of mathematics in the nineteenth century — John Stillwell INTRODUCTION In its history of over two thousand years, mathematics has seldom been disturbed by philosophical disputes. Ever since Plato, who is said to have put the slogan ‘Let no one who is not a geometer enter here’ over the… …   History of philosophy

  • Logic synthesis — is a process by which an abstract form of desired circuit behavior (typically register transfer level (RTL) or behavioral) is turned into a design implementation in terms of logic gates. Common examples of this process include synthesis of HDLs,… …   Wikipedia

  • Logic (disambiguation) — Logic is the study of the principles and criteria of valid inference and demonstration.Logic may also refer to:In logic and mathematics*A branch of logic: **Inductive logic, also called induction or inductive reasoning **Informal logic, the study …   Wikipedia

  • Logic — Pro Entwickler: Apple Inc. Aktuelle Version: 8.0.2 (20. Mai 2008) Betriebssystem: Mac OS X Kategorie …   Deutsch Wikipedia

  • Logic Audio — Logic Pro Entwickler: Apple Inc. Aktuelle Version: 8.0.2 (20. Mai 2008) Betriebssystem: Mac OS X Kategorie …   Deutsch Wikipedia

  • Logic Pro — Développeur Apple Dernière version 9.1.4 ( …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”