Changeset 12781

Show
Ignore:
Timestamp:
04.11.2009 17:28:36 (3 weeks ago)
Author:
maeder
Message:

implemented OWL generatedSign

Location:
trunk/OWL
Files:
2 modified

Legend:

Unmodified
Added
Removed

  • trunk/OWL/Logic_OWL.hs

    r12764 r12781  
    8888      induced_from_to_morphism OWL = inducedFromToMor 
    8989      cogenerated_sign OWL = cogeneratedSign 
    90       generated_sign OWL = fail "cogenerated_sign OWL nyi" 
     90      generated_sign OWL = generatedSign 
    9191#ifdef UNI_PACKAGE 
    9292      theory_to_taxonomy OWL = onto2Tax 

  • trunk/OWL/Morphism.hs

    r12765 r12781  
    1919  , composeMor 
    2020  , cogeneratedSign 
     21  , generatedSign 
    2122  , matchesSym 
    2223  , statSymbItems 
    … …  
    142143  let sig2 = execState (mapM_ (modEntity Set.delete) $ Set.toList s) sign 
    143144  in if isSubSign sig2 sign then return $ inclOWLMorphism sig2 sign else 
    144          fail "non OWL subsignatures for cogeneratedSign" 
     145         fail "non OWL subsignatures for (co)generatedSign" 
     146 
     147generatedSign :: Set.Set Entity -> Sign -> Result OWLMorphism 
     148generatedSign s sign = cogeneratedSign (Set.difference (symOf sign) s) sign 
    145149 
    146150matchesSym :: Entity -> RawSymb -> Bool