Changeset 12766

Show
Ignore:
Timestamp:
30.10.2009 19:20:09 (3 weeks ago)
Author:
maeder
Message:

also remove owl2xml namespace

Files:
1 modified

Legend:

Unmodified
Added
Removed

  • trunk/OWL/StaticAnalysis.hs

    r12764 r12766  
    194194 
    195195        removeDefault :: Namespace -> Namespace 
    196         removeDefault = 
    197             Map.delete "owl11" . Map.delete "owl" . Map.delete "xsd" 
    198                . Map.delete "rdf" . Map.delete "rdfs" 
    199                   . Map.delete "xml" 
     196        removeDefault ns = 
     197            foldr Map.delete ns 
     198            ["owl11", "owl", "xsd", "rdf", "rdfs", "xml", "owl2xml"] 
    200199 
    201200getObjRoleFromExpression :: ObjectPropertyExpression -> IndividualRoleURI