using 'must' and 'should' in CNL and SWRL

[Behrouz Beheshti]

Hello everyone,

Below is a simple ontology I have put together. (I have added the script at the end.)

I tried to bring in 'must' in my last line which I can see that FE gives me an error.

May I ask your help about how I can bring 'must', 'should', and 'can' in CNL for FE. I'd be grateful if you could give me an example.

Here is the original script for your kind convenience in testing it:

Title: 'Your title'.
Author: 'Your name'.
Namespace: 'http://ontorion.com/namespace'.

Part-1: 'First part of your ontology'.

Comment: 'You can put some additional comments. All these elements are OPTIONAL!'.


Pump-1 is a pump.
Operator-1 is an operator.
Valve-1 is a valve.
Valve-1 has-type gate-vale.
Valve-1 is-located-near Pump-1.
if a pump requires a maintenance and a valve is-located-near the pump then the valve is closed.

if a pump requires a maintenance and a valve is-located-near the pump then an operator must assure that the valve is closed.

Thank you so much for your support.

Regards,

Behrouz

[Aleksandra Chrabrowa]

Dear Behrouz,

Every sentence in English Controlled Natural Language can be understood by a human being. Unfortunately it is not the other way round - not every sentence in human-English is a valid ENCNL sentence.

Please read about Modal expressions and SWRL rule specificatons for allowed sentence patterns. In your case you cannot mix modalities and SWRL.

--
You received this message because you are subscribed to the Google Groups "Fluent Editor 2014" group.
To unsubscribe from this group and stop receiving emails from it, send an email to fluenteditor+unsubscribe@googlegroups.com.
Visit this group at https://groups.google.com/group/fluenteditor.
For more options, visit https://groups.google.com/d/optout.

[Behrouz Beheshti]

Dear Aleksandra,

Thank you very much for that.

I got the point. 

Thank you again.

Wish you a merry Christmas and a happy new year.

Regards,

Behrouz

To unsubscribe from this group and stop receiving emails from it, send an email to fluenteditor...@googlegroups.com.