Data Range Atom Defined in SWRL Plugin 2.0.0

classic Classic list List threaded Threaded
4 messages Options
Reply | Threaded
Open this post in threaded view
|

Data Range Atom Defined in SWRL Plugin 2.0.0

claire qiu
Hi All,

I have a question about defining a rule in SWRL Tab.

Can the following rule be defined in SWRL Tab version 2.0.0?

 Person(?p), integer[>= 18 , <= 65](?age), hasAge(?p, ?age) -> hasDriverAge(?p, true)

Thank you very much!

Best Regards,
Claire

_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev
Reply | Threaded
Open this post in threaded view
|

Re: Data Range Atom Defined in SWRL Plugin 2.0.0

samsontu

On Apr 26, 2017, at 7:27 AM, claire Qiu <[hidden email]> wrote:

Hi All,

I have a question about defining a rule in SWRL Tab.

Can the following rule be defined in SWRL Tab version 2.0.0?

 Person(?p), integer[>= 18 , <= 65](?age), hasAge(?p, ?age) -> hasDriverAge(?p, true)


The rule is supported by Rules tab and Pellet reasoner, not SWRL Tab.

With best regards,
Samson
 
BTW, write xsd:integer[…].

_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev
Reply | Threaded
Open this post in threaded view
|

Re: Data Range Atom Defined in SWRL Plugin 2.0.0

Martin O'Connor-2

The SWRLTab does not yet support class or property expressions in rules.

You can use built-ins in the SWRLTab to express this type of rule:

Person(?p) ^ hasAge(?p, ?age) ^ swrlb:greaterThan(?age, 65) -> hasDriverAge(?p)
See the following for more details:


Martin



On Apr 26, 2017, at 8:03 AM, Samson Tu <[hidden email]> wrote:


On Apr 26, 2017, at 7:27 AM, claire Qiu <[hidden email]> wrote:

Hi All,

I have a question about defining a rule in SWRL Tab.

Can the following rule be defined in SWRL Tab version 2.0.0?

 Person(?p), integer[>= 18 , <= 65](?age), hasAge(?p, ?age) -> hasDriverAge(?p, true)


The rule is supported by Rules tab and Pellet reasoner, not SWRL Tab.

With best regards,
Samson
 
BTW, write xsd:integer[…].
_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev
Reply | Threaded
Open this post in threaded view
|

Re: Data Range Atom Defined in SWRL Plugin 2.0.0 - CORRECTION

Martin O'Connor-2

The SWRLTab does not yet support class or property expressions in rules.

You can use built-ins in the SWRLTab to express this type of rule as follows:

Person(?p) ^ hasAge(?p, ?age) ^ swrlb:greaterThanOrEqual(?age, 18) ^ swrlb:lessThanOrEqual(?age, 65)  -> hasDriverAge(?p, true)

See the following for more details:


Martin


On Apr 26, 2017, at 8:27 AM, Martin O'Connor <[hidden email]> wrote:


The SWRLTab does not yet support class or property expressions in rules.

You can use built-ins in the SWRLTab to express this type of rule:

Person(?p) ^ hasAge(?p, ?age) ^ swrlb:greaterThan(?age, 65) -> hasDriverAge(?p, true)
See the following for more details:


Martin



On Apr 26, 2017, at 8:03 AM, Samson Tu <[hidden email]> wrote:


On Apr 26, 2017, at 7:27 AM, claire Qiu <[hidden email]> wrote:

Hi All,

I have a question about defining a rule in SWRL Tab.

Can the following rule be defined in SWRL Tab version 2.0.0?

 Person(?p), integer[>= 18 , <= 65](?age), hasAge(?p, ?age) -> hasDriverAge(?p, true)


The rule is supported by Rules tab and Pellet reasoner, not SWRL Tab.

With best regards,
Samson
 
BTW, write xsd:integer[…].
_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev

_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev


_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev