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 ?
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).
1998) that we use, the F-LOGIC engine can integrate RDF and RDFS facts and reason on them.
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.
Usually, it is too inconvenient for users to query the portal using F-LOGIC.
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.
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.
F-logic is a pure object-oriented deductive language.