Changeset 12781 for trunk/OWL/Morphism.hs

Timestamp:

04.11.2009 17:28:36 (4 months ago)

Author:

maeder

Message:

implemented OWL generatedSign

Files:

• trunk/OWL/Morphism.hs (modified) (2 diffs)

trunk/OWL/Morphism.hs

@@ -19 +19 @@
   , composeMor
   , cogeneratedSign
+  , generatedSign
   , matchesSym
   , statSymbItems
@@ -142 +143 @@
   let sig2 = execState (mapM_ (modEntity Set.delete) $ Set.toList s) sign
   in if isSubSign sig2 sign then return $ inclOWLMorphism sig2 sign else
-         fail "non OWL subsignatures for cogeneratedSign"
+         fail "non OWL subsignatures for (co)generatedSign"
+
+generatedSign :: Set.Set Entity -> Sign -> Result OWLMorphism
+generatedSign s sign = cogeneratedSign (Set.difference (symOf sign) s) sign
 
 matchesSym :: Entity -> RawSymb -> Bool