F-logic
From Wikipedia, the free encyclopedia
F-logic (frame logic) is a knowledge representation- and ontology language. It accounts in a declarative fashion for structural aspects of object-oriented and frame-based languages. Features include, among others, object identity, complex objects, inheritance, polymorphism, query methods, encapsulation. F-logic stands in the same relationship to object-oriented programming as classical predicate calculus stands to relational database programming.
[edit] F-logic based Languages
- FLORA-2 is an extension of F-logic with HiLog and transaction logic.
- FLORID is a C++-based implementation
- Web Services Modeling Language (WSML)
- Semantic Web Services Language (SWSL)
- OntoBroker
[edit] See also
Michael Kifer
