F-logic

Encyclopedia : F : FL : FLO : 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.

External links

http://www.cs.umbc.edu/771/papers/flogic.pdf

This article or section may contain [No original researchoriginal research] or [Verifiabilityunverified] claims.
Please help Wikipedia by adding references. See the [talk page] for details .

From Wikipedia, the Free Encyclopedia. Original article here. Support Wikipedia by contributing or donating.
All text is available under the terms of the GNU Free Documentation License See Wikipedia Copyrights for details.

F-logic

See also

External links