F-Logic

F-Logic (frame logic) is a knowledge representation and ontology language.

Resources

 * Tutorial for OntoBroker's implementation of F-logic.