The Flora Query Tab

Table of contents

The Flora Query Tab

Flora Query Tab

Simple Example

Transformation of Protégé Classes and Instances Into F-Logic

Parameters and Axioms

Views: Definition

Views: Result

EMail: sintek@dfki.de

Homepage: http://www.dfki.uni-kl.de/~sintek/

Download PPT file