## Search Mailing List Archives

Limit search to: Subject & Body Subject Author
Sort by: Reverse Sort
Limit to: All This Week Last Week This Month Last Month
Select Date Range     through

# [protege-owl] SWRL rules in calculating surface areas using swrlb:divide

Martin O'Connor martin.oconnor at stanford.edu
Wed Mar 4 11:53:32 PST 2009

```You cannot do what you want to do in OWL or SWRL because of their open
world assumption:

http://protege.cim3.net/cgi-bin/wiki.pl?SWRLLanguageFAQ#nid9KT

SQWRL will allow you do aggregation in queries but will not allow you to
make any conclusions based on those aggregations. To do so would
introduce nonmonotonicity.

Martin

mbikinyi brat wrote:

> Dear All,
> I have instances of PVarray that I wish to design(i.e. size the
> PVarray). The Formula for the size(S) of a PVarray given module
> efficiency(E) and total household energy load (P) is S=P/E
> In my ontology, rule 1 below selects the minimum module efficiency,
> rule 2, totals all the energy load in the house.
> I wrote rule 3, thinking it will consider rule 1 and rule 2 above so
> that I can obtain the module size S=hasArea?. In order words how do I
> do it such that whenever rule 1 and 2 are executed rule 3 is executed
> using the results of rule 1 and 2.
>
> 1) hasModuleEfficiency(?x, ?y) ∧PVArray(?x) → sqwrl:min(?y)
> 2) hasEnergyLoad(?x, ?y) ∧HouseholdEnergyAppliance(?x) → sqwrl:sum(?y)
> ?y)∧HouseholdEnergyAppliance(?x)∧hasModuleEfficiency(?x, ?z) ∧
> swrlb:divide(?a, ?y, ?z) → hasArea(?x, ?a)
> Regards,
> Nan
>
>
>------------------------------------------------------------------------
>
>_______________________________________________
>protege-owl mailing list
>protege-owl at lists.stanford.edu
>https://mailman.stanford.edu/mailman/listinfo/protege-owl
>
>Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03
>
>

```