[Attempto] Extra variables and individuals created in OWL+SWRL

[Jean-Marc Vanel]

Here is an example :

If an n:appartment A v:has-surface S and P = ( S * 7000 ) then A
v:has-price P .
A1 is an n:appartment . A1 v:has-surface 100 .


And how it is translated with  -solo owlfsspp :

   DLSafeRule(
      Body(
         ClassAtom(
            :appartment
            Variable(<urn:swrl#x1>)
         )
         ObjectPropertyAtom(
            :has-surface
            Variable(<urn:swrl#x1>)
            Variable(<urn:swrl#x2>)
         )
         BuiltInAtom(<swrlb:equal>
            Variable(<urn:swrl#x4>)
            Variable(<urn:swrl#*xg1*>)
         )
         BuiltInAtom(<swrlb:multiply>
            Variable(<urn:swrl#*xg1*>)
            Variable(<urn:swrl#x2>)
            "7000"^^<http://www.w3.org/2001/XMLSchema#integer>
         )
      )
      Head(
         ObjectPropertyAtom(
            :has-price
            Variable(<urn:swrl#x1>)
            Variable(<urn:swrl#x4>)
         )
      )
   )
   DataPropertyAssertion(
      :has-surface
      _:199541176426535230
      "100"^^<http://www.w3.org/2001/XMLSchema#integer>
   )
   SameIndividual(
      _:199541176426535230
     * _:977449132216104540*
   )
   ClassAssertion(
      :appartment
      *_:977449132216104540*
   )
   ClassAssertion(
      owl:Thing
      _:199541176426535230
   )


It's not wrong, but variable xg1 and individual _:977449132216104540 could
be eliminated and replaced by x4 and _:199541176426535230  respectively .

-- 
Jean-Marc Vanel
Déductions SARL - Consulting, services, training,
Rule-based programming, Semantic Web
http://deductions-software.com/
+33 (0)6 89 16 29 52
Twitter: @jmvanel ; chat: irc://irc.freenode.net#eulergui
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ifi.uzh.ch/pipermail/attempto/attachments/20130925/2f297204/attachment.html>