(defrule http://www.daml.org/2004/05/swrl-translation/london2company#type 
      (triple http://www.w3.org/1999/02/22-rdf-syntax-ns#type 
              ?company
              http://www.daml.org/2004/05/swrl-translation/london-ont#Company)
     => 
      (assert (triple http://www.w3.org/1999/02/22-rdf-syntax-ns#type
                      ?company
                      http://xmlns.com/foaf/corp#Company)))
  
(defrule http://www.daml.org/2004/05/swrl-translation/london2company#name 
      (triple http://www.daml.org/2004/05/swrl-translation/london-ont#name
              ?company
              ?name)
     => 
      (assert (triple http://www.daml.org/2004/05/swrl-translation/company-ont#name
                      ?company
                      ?name)))

(defrule http://www.daml.org/2004/05/swrl-translation/london2company#homepage 
      (triple http://www.daml.org/2004/05/swrl-translation/london-ont#homepage
              ?company
              ?homepage)
     => 
      (assert (triple http://xmlns.com/foaf/0.1/homepage
              ?company
              ?homepage)))
  
(defrule http://www.daml.org/2004/05/swrl-translation/london2company#price 
      (triple http://www.daml.org/2004/05/swrl-translation/london-ont#price
              ?company
              ?pounds)
      (triple http://www.daml.org/2004/05/swrl-translation/exchange-ont#sell
              ?exchange
              http://www.daml.ecs.soton.ac.uk/ont/currency.daml#GBP)
      (triple http://www.daml.org/2004/05/swrl-translation/exchange-ont#buy
              ?exchange
              http://www.daml.ecs.soton.ac.uk/ont/currency.daml#USD)
      (triple http://www.daml.org/2004/05/swrl-translation/exchange-ont#exchangeRate
              ?exchange
              ?factor)
     => 
      (bind ?dollars (* (eval ?pounds) (eval ?factor)))
      (assert (triple http://www.daml.org/2004/05/swrl-translation/company-ont#stockPrice
              ?company
              ?dollars)))
  
(defrule http://www.daml.org/2004/05/swrl-translation/london2company#PennyStock 
      (triple http://www.daml.org/2004/05/swrl-translation/company-ont#stockPrice
              ?company
              ?dollars)
      (test (< ?dollars .01))
     => 
      (assert (triple http://www.w3.org/1999/02/22-rdf-syntax-ns#type 
              ?company
              #PennyStock)))