Back to Keywords - Next to Keyboard Shortcuts
Now that we have got an idea of how things work, we can have a more careful look at the Menu in the main Metalog window. From left to right, there are five menus: "File", "Configuration", "Reason", "Translate", "Help".
This allows the usual File operations. You can create a "New File", or you can "Open" an existing Metalog file. Similarly, once edited a file you can "Save" it, or save it to a different name using the "Save As" option.
Last but not least, the "Exit" option allows you to gracefully quit Metalog.
Metalog can be tuned in several ways: this menu allows to see and change the Metalog configuration. Initially, you do not need to change the Metalog configuration that comes by default. But with later uses, you might want to tune it. If so, you can learn more about the Configuration Menu.
This important menu has two options.
The first one ("Check correctness") verifies whether the current Metalog file is correct or not. In case it is invalid, some contextual help is usually given, trying to identify the errors. Otherwhise, a confirmation windows appears, signaling that everything is ok.
The second option ("Think!") gets Metalog to think about the current Metalog file, trying to give answers to every question it finds. As seen, if Metalog is successful then a new window with the answers should eventually open. Note that usually Metalog performs automatically a correctness check, before thinking, so you can directly use this option even if you have not checked your Metalog file yet.
This menu allows to translate the current Metalog file into other various formats. The formats supported are N-triples (the basic syntax for RDF), and also RDF/XML. You can learn more about the Translate Menu.
In this menu, the "About" option gives you information about the authors, version number, and contact information. The "Quick User Guide" gives you a quick introduction to the system, and the "Metalog WWW Home Page" option leads you to the Metalog home page at W3C. Of course, the last option only works if you are connected to the Internet.