FLORA-2 is an advanced object-oriented knowledge base language and application development environment. The language of FLORA-2 is a dialect of F-logic (Frame logic) with numerous extensions, including meta-programming in the style of HiLog and logical updates in the style of Transaction Logic. FLORA-2 was designed with extensibility and flexibility in mind, and it provides strong support for modular software design through its unique feature of dynamic modules.
Applications of FLORA-2 include intelligent agents, Semantic Web, ontology management, integration of information, and others. Future plans for FLORA-2 include standardization of the syntax, which will bring greater compatibility with other F-logic based languages, such as OntoBroker, WSML (Web Service Modeling Language), and SWSL-Rules.
- Basic Formal Ontology
- DARPA Agent Markup Language + Ontology Integration Language
- Descriptive Ontology for Linguistic and Cognitive Engineering
- Distributed Ontology Language
- General Ontology for Linguistic Description
- Ontologies of Linguistic Annotation
- Ontology Integration and Interoperability
- OpenCyc
- SIMPLE Core Ontology
- Semantic Web Rule Language Combining OWL and RuleML
- Suggested Upper Merged Ontology
- Upper Mapping and Binding Exchange Layer
- Web Ontology Language
- Michael Kifer
- Michael Kifer