Welcome to GFL Website

Conceptual Modeling Tutorial                 

(If you want to see it all in one long file click here )

1. A Quick   Knowledge Engineering Glossary  

1.1. Classes, Objects , and All that

1.2. Logic and Prolog

1.3. Ontologies

2. Non Formal Introduction to GFL

2.1. Why GFL?

2.2 Is-a  Statements

2.3 Statements about Object's   Attributes

2.4  Class Signatures

2.5 Inheritance

2.6 Variables and Queries

2.7 Queries with logical operators

2.8 External Symbols and Foreign Ontology Languages Support (New!)

3. Inference in F-Logic  and GFL

3.1 Rules

3.2  Method, Parameters, and  Relations. (New!)

3.3 Mathematical Expressions in rule body (New!)

3.4  Aggregation Statements (New!)

4. About Graphic Extensions (New!)

4.1 A Stimulating  Example

4.2 Graphic Extensions Philosophy

4.3 Family Tree Example

4.4   Semantics of Biodiversity Data .

4.5 Ontology Browsing Philosophy

5. Constrains (New!)

5.1 Rules and Structural Constrains

5. 2 Operators and Generic Graphic Extensions 

NOTES ON IMPLEMENTATION (for programmers) (New!)

 Send your comments to skrivov@zoo.uvm.edu