F-OWL: An OWL Inference Engine in Flora-2

Reference, Knowledge Management, Knowledge Representation, Ontologies - F-OWL. An ontology inference engine for OWL, using Flora-2, an object-oriented knowledge base language and application development platform.