LOOM and PowerLoom

Hi

I have been searching for a language to represent ontologies. I have some questions (they are based on “Evaluating Knowledge Representation and Reasoning

Capabilities of Ontology Specification Languages” by Oscar Corcho and Asunción Gómez-Pérez)

1. Are there any features that LOOM supported and PowerLoom does not?
2. The other way round?
3. Is the inference engine of PowerLoom complete? (The mentioned paper says that for LOOM, the engine is sound but not complete)
4. With what purpose were LOOM and then PowerLoom created?
5. Does STELLA have an independent compiler or is there a translator from STELLA to JAVA, C++ and LISP and then the compilation is done with the compiler of the specific language?

Thanks

Sid

                                                                  Honeywell

Email           :   rajesh.kishore@...

                         swiftpanther@...

Mobile         :   +91 - 9845844025