| 1. | PathLP is a full logic programming language based on F-logic. PathLP est un langage de programmation complet basé sur F-logic. |
| 2. | The most comprehensive description of F-logic has been published in . La description la plus complète de F-logicest le draft de F-logic. |
| 3. | F-logic (frame logic) is a knowledge representation and ontology language. F-logique ou F-logic (cadre logique) est un langage de représentation des connaissances et d'ontologie. |
| 4. | Flora-2 is an extension of F-logic with HiLog, Transaction logic, and defeasible reasoning. Flora-2, une extension de F-logic avec HiLog, Transaction logic, et raisonnement défaisable. |
| 5. | Classes and individuals may be defined in F-logic as follows man::person. woman::person. brad:man. angelina:woman. Les classes et éléments peuvent être définis en F-Logic comme ceci: homme::personne. femme::personne. brad:homme. angelina:femme. |
| 6. | However it is possible to represent more expressive statements in F-logic than are possible with description logics. Il est cependant possible d'être plus expressifs avec F-logic qu'avec certaines LD. |
| 7. | F-logic was developed by Michael Kifer at Stony Brook University and Georg Lausen at the University of Mannheim. F-logic a été écrite par Michael Kifer et Stony Brook University and Georg Lausen at the University of Mannheim. |
| 8. | F-logic was originally developed for deductive databases, but is now most frequently used for semantic technologies, especially the semantic web. F-logic was originally developed for deductive databases, but is now most frequently used for semantic technologies, especially the Semantic Web. |
| 9. | In addition it is possible to represent axioms in F-logic in the following manner man(X) <- person(X) AND NOT woman(X). Additionnellement, il est possible de représenter les axiomes de F-logic de la manière suivante homme(X) <- personne(X) AND NOT femme(X). |
| 10. | Prior to the version 4 of Protégé ontology editor, F-Logic is supported as one of the two kinds of ontology. Les versions de l'éditeur d'ontologie Protégé antérieure à la version 4 supportaient F-logic comme une des bases de construction d'ontologie. |