How does it work? Let's see on the example.
Start Fluent Editor 2 Express. Click File menu ribbon, than New and select African wildlife template.
Scroll to the end of file (in fact it doesn't matter where you put new sentences) and add new sentences for the purpose of this example:
First we'll state explicitly, that no herbivore eats neither animals nor parts of them:
Then we'll describe two pizzas: Tasty-Pizza and Vegan-Pizza (instances of concept pizza):
And at the end lets express that Sophie (giraffe from the African wildlife template) eats Tasty-Pizza:
Our sentences should look like below altogether (at the end of African wildlife template content):
OK. Now let's ask about Sophie. In the Reasoner window (at the bottom of Fluent Editor, if it's hidden press CTRL+R to show it) write the question "Who-Or-What is Sophie?". Don't forget the question mark at the end:
Press ENTER to start reasoning. Notice, that you can use hints in this windows just as within the main editing window.
Fluent Editor has embedded reasoner service for Description Logic.
You can ask about instances (e.g. "Who-Or-What is Sophie?"), concepts (e.g. "Who-Or-What is giraffe?") or roles (e.g. "Who-Or-What eats?").
In our example, although it is correct in terms of grammar, it is inconsistent in terms of logic. Thus, when we ask about Sophie Inconsistent Knowledge Base window appear. Click explanations button to show more details:
It will show all logical paths that leads to inconsistency. First of one in this example looks like below:
Video: Inconsistency Explanations with Fluent Editor
*) FluentEditor 2 is a comprehensive tool for editing and manipulating complex ontologies that uses Controlled Natural Language. Fluent editor provides one with a more suitable for human users alternative to XML-based OWL editors. It's main feature is the usage of Controlled English as a knowledge modeling language. Supported via Predictive Editor, it prohibits one from entering any sentence that is grammatically or morphologically incorrect and actively helps the user during sentence writing. The Controlled English is a subset of Standard English with restricted grammar and vocabulary in order to reduce the ambiguity and complexity inherent in full English.