F-Logic


Also found in: Wikipedia.

F-Logic

An object-oriented language and deductive database system.

["F-Logic: A Higher-Order Language for Reasoning about Objects, Inheritance and Scheme", ACM SIGMOD May 1989, pp. 134-146].
References in periodicals archive ?
Forecasting results of FNN, F-Logic, and Solow RMSE MSE NMSE MAPE FNN 4.5158e-005 2.0393e-009 1.5947e-006 2.4940e-004 F-Logic 0.0081 6.4808e-005 0.1032 0.0779 Solow 0.0137 1.8676e004 0.1460 0.1615 MAE [R.sup.2] FNN 1.0013e-005 1.00 F-Logic 0.0042 0.8968 Solow 0.0040 0.8540 Table 2.
Most popular traditional Ontology representation languages for knowledge representation in Semantic Web are CycL DOGMA (Developing Ontology-Grounded Methods and Applications), F-Logic (Frame Logic), KIF (Knowledge Interchange Format), Ontolingua based on KIF, KL-ONE, KM programming language, LOOM (ontology), OCML (Operational Conceptual Modelling Language), OKBC (Open Knowledge Base Connectivity), PLIB (Parts LIBrary), RACER, DAML+OIL, Ontology Inference Layer (OIL), Web Ontology Language (OWL), Resource Description Framework (RDF), RDF Schema, and SHOE (5).
Basically, SILRI offers representation capabilities for RDF and F-LOGIC and combinations thereof.
The resulting ontology can be translated into different actual representation languages, that is, F-LOGIC, RDF, OIL, and DAML + OIL (table 1).(6)
1999) and SEAL (semantic portal), our approach for building knowledge portals, use F-LOGIC, an object-oriented and logics-based representation language conceived by Kifer, Lausen, and Wu (1995).
Language Result Comment F-Logic FORALL x,y,z x[cooperatesWith->>y] <- x[worksAtProject->>z] and y[worksAtProject->>z] and not equal(x,y).
Although in principle, we could use a number of different query languages, in practice, our framework builds on the very same F-LOGIC mechanism for querying as it did for ontology representation; thus, it can also exploit the ontological background knowledge.
An extended O-logic based on O-logic was first proposed in Kifer and Wu [1993], followed by a more general F-logic (Frame Logic) in Kifer and Lausen [1989] and Kifer et al.
Example 3.3 The following is an example of an F-logic program:
F-logic is a powerful deductive language with a well-defined semantics compared to O-logic.
Unlike O-logic, which only supports simple attributes, F-logic supports parameterized attributes.
person] bob[children_with@liz[right arrow]{tom, pam}] bob[children_with@ann[right arrow]jim}] F-logic has several drawbacks.