Re: Controlled English Business Rules for RDF/OWL

Hi Simon,

Your example is spot on. I'm looking for a way for a
(business/non-technical) user to write a question/rule such that a system
will constrain the terms so they come from an ontology. Following your
example, given the question

"If the age of the client is between 18 and 25 then set the insurance ratio
to 125"

we would know that

"age" -> foaf:age
"client" -> :client
"the insurance ratio" --> :insurance_ratio

Given this mapping from natural language to ontological constructs, it can
then be formally defined in FOL or SPARQL or any formalism:

Client(x), age(x,y), 18 < y < 25 --> insurance_ratio(x,125)

where client, age and insurance_ratio are constructs in the ontology.

This rule, in conjunction with others can be applied over the data (which
is most probably going to be accessible by SPARQL).

Thanks for the reminder on the Ontorule project!

I've also been pointed to following systems
- http://sadl.sourceforge.net/
- http://www.cognitum.eu/semantics/FluentEditor/
- http://people.irisa.fr/Sebastien.Ferre/sofware/squall/

Thanks everybody!

On Thu, May 11, 2017 at 11:53 PM, Simon Steyskal <simon.steyskal@gmail.com>
wrote:

> Hi!
>
> 2017-05-11 18:14 GMT+02:00 Juan Sequeda <juanfederico@gmail.com>:
>
>> I'm looking for pointers (papers and ideally working software), that
>> takes business rules, written in controlled natural language, in terms of
>> an OWL ontology and compiles to formal rules (let it be SPIN, SPARQL) and
>> then executed by a rule engine by evaluating queries directly in a
>> triplestore.
>
>
> Would you mind elaborating a bit more on your envisioned sample use case
> and/or provide examples for such business rules?
>
> Are you talking about something like:
>
> :alice a :client ;
>    foaf:age 10 ;
>    :insurance_ratio 0 .
>
> :bob a :client ;
>    foaf:age 20 ;
>    :insurance_ratio 0 .
>
> BR: "If the age of the client is between 18 and 25 then set the insurance
> ratio to 125"
>
> :alice a :client ;
>    foaf:age 10 ;
>    :insurance_ratio 0 .
>
> :bob a :client ;
>    foaf:age 20 ;
>    :insurance_ratio 125 .
>
>
> @pointers
>
> something like [1]?
>
> There was also an FP7 project called *ONTORULE (ONTOlogies meet business
> RULEs*) [2] which might be worth a look.
>
>
> br, simon
>
> [1] Amina Chniti <http://dblp.uni-trier.de/pers/hd/c/Chniti:Amina>, Sylvain
> Dehors <http://dblp.uni-trier.de/pers/hd/d/Dehors:Sylvain>, Patrick Albert
> <http://dblp.uni-trier.de/pers/hd/a/Albert:Patrick>, Jean Charlet
> <http://dblp.uni-trier.de/pers/hd/c/Charlet:Jean>:
> Authoring Business Rules Grounded in OWL Ontologies. RuleML 2010
> <http://dblp.uni-trier.de/db/conf/ruleml/ruleml2010.html#ChnitiDAC10>:
> 297-304
> [2] http://ontorule-project.eu/
>
> 2017-05-11 18:14 GMT+02:00 Juan Sequeda <juanfederico@gmail.com>:
>
>> All,
>>
>> I'm looking for pointers (papers and ideally working software), that
>> takes business rules, written in controlled natural language, in terms of
>> an OWL ontology and compiles to formal rules (let it be SPIN, SPARQL) and
>> then executed by a rule engine by evaluating queries directly in a
>> triplestore.
>>
>> Thanks for the pointers!
>>
>> Juan
>>
>> --
>> Juan Sequeda, Ph.D
>> +1-575-SEQ-UEDA
>> www.juansequeda.com
>>
>
>