#Processed by Id: cwm.py,v 1.136 2003/08/20 11:50:57 sandro Exp 
        #    using base file:/mnt/hda4/development/development2/w3c/2000/10/swap/cwm.n3
        
#  Notation3 generation by
#       notation3.py,v 1.141 2003/08/14 00:00:19 timbl Exp

#   Base was: file:/mnt/hda4/development/development2/w3c/2000/10/swap/cwm.n3
     @prefix : <http://introspector.sf.net/2003/08/cwm.n3#> .
     @prefix ctx: <http://introspector.sf.net/2003/08/context.owl#> .
     @prefix dc: <http://purl.org/dc/elements/1.1/> .
     @prefix log: <http://www.w3.org/2000/10/swap/log#> .
     @prefix math: <http://www.w3.org/2000/10/swap/math#> .
     @prefix os: <http://www.w3.org/2000/10/swap/os#> .
     @prefix owl: <http://www.w3.org/2002/07/owl#> .
     @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
     @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
     @prefix str: <http://www.w3.org/2000/10/swap/string#> .
     @prefix time: <http://www.w3.org/2000/10/swap/time#> .
    
    <>     dc:description "A mapping of cwm internals onto ontologies" .
    
    :BI-Contains     a :LightBuiltIn .
    
    :BI-ContainsIgnoringCase     a :LightBuiltIn .
    
    :BI-ContainsRoughly     a :LightBuiltIn .
    
    :BI-DoesNotContain     a :LightBuiltIn .
    
    :BI-EndsWith     a :LightBuiltIn .
    
    :BI-EqualTo     a :Function,
                :LightBuiltIn,
                :ReverseFunction .
    
    :BI-GreaterThan     a :LightBuiltIn .
    
    :BI-LessThan     a :LightBuiltIn .
    
    :BI-NotGreaterThan     a :LightBuiltIn .
    
    :BI-NotLessThan     a :LightBuiltIn .
    
    :BI-StartsWith     a :LightBuiltIn .
    
    :BI-absoluteValue     a :Function,
                :LightBuiltIn .
    
    :BI-argv     a :Function,
                :LightBuiltIn .
    
    :BI-baseAbsolute     a :Function,
                :LightBuiltIn .
    
    :BI-baseRelative     a :Function,
                :LightBuiltIn,
                :ReverseFunction .
    
    :BI-concat     a :LightBuiltIn,
                :ReverseFunction .
    
    :BI-concatenation     a :Function,
                :LightBuiltIn .
    
    :BI-conclusion     a :Function,
                :HeavyBuiltIn .
    
    :BI-conjunction     a :Function,
                :LightBuiltIn .
    
    :BI-content     a :Function,
                :HeavyBuiltIn .
    
    :BI-date     a :Function,
                :LightBuiltIn .
    
    :BI-day     a :Function,
                :LightBuiltIn .
    
    :BI-dayOfWeek     a :Function,
                :LightBuiltIn .
    
    :BI-difference     a :Function,
                :LightBuiltIn .
    
    :BI-differenceOf     a :LightBuiltIn,
                :ReverseFunction .
    
    :BI-environ     a :Function,
                :LightBuiltIn .
    
    :BI-equalIgnoringCase     a :LightBuiltIn .
    
    :BI-equalTo     a :LightBuiltIn .
    
    :BI-exponentiation     a :Function,
                :LightBuiltIn .
    
    :BI-exponentiationOf     a :LightBuiltIn,
                :ReverseFunction .
    
    :BI-factors     a :LightBuiltIn,
                :ReverseFunction .
    
    :BI-first     a :Function,
                :LightBuiltIn .
    
    :BI-format     a :Function,
                :LightBuiltIn .
    
    :BI-formatSeconds     a :Function,
                :LightBuiltIn .
    
    :BI-gmTime     a :Function,
                :LightBuiltIn .
    
    :BI-greaterThan     a :LightBuiltIn .
    
    :BI-hour     a :Function,
                :LightBuiltIn .
    
    :BI-in     a :LightBuiltIn .
    
    :BI-inSeconds     a :Function,
                :LightBuiltIn,
                :ReverseFunction .
    
    :BI-includes     a :HeavyBuiltIn .
    
    :BI-integerQuotient     a :Function,
                :LightBuiltIn .
    
    :BI-keyLength     a :Function,
                :LightBuiltIn,
                :ReverseFunction .
    
    :BI-lessThan     a :LightBuiltIn .
    
    :BI-localTime     a :Function,
                :LightBuiltIn .
    
    :BI-matches     a :LightBuiltIn .
    
    :BI-md5     a :Function,
                :LightBuiltIn .
    
    :BI-memberCount     a :Function,
                :LightBuiltIn .
    
    :BI-minute     a :Function,
                :LightBuiltIn .
    
    :BI-month     a :Function,
                :LightBuiltIn .
    
    :BI-n3String     a :Function,
                :LightBuiltIn .
    
    :BI-negation     a :Function,
                :LightBuiltIn,
                :ReverseFunction .
    
    :BI-notEqualIgnoringCase     a :LightBuiltIn .
    
    :BI-notEqualTo     a :LightBuiltIn .
    
    :BI-notGreaterThan     a :LightBuiltIn .
    
    :BI-notIncludes     a :HeavyBuiltIn .
    
    :BI-notLessThan     a :LightBuiltIn .
    
    :BI-notMatches     a :LightBuiltIn .
    
    :BI-parseToSeconds     a :Function,
                :LightBuiltIn .
    
    :BI-parsedAsN3     a :Function,
                :HeavyBuiltIn .
    
    :BI-product     a :Function,
                :LightBuiltIn .
    
    :BI-publicKey     a :Function,
                :LightBuiltIn .
    
    :BI-quotient     a :Function,
                :LightBuiltIn .
    
    :BI-quotientOf     a :LightBuiltIn,
                :ReverseFunction .
    
    :BI-racine     a :Function,
                :LightBuiltIn .
    
    :BI-rawType     a :Function,
                :LightBuiltIn .
    
    :BI-rawUri     a :BI-uri .
    
    :BI-remainder     a :Function,
                :LightBuiltIn .
    
    :BI-remainderOf     a :LightBuiltIn,
                :ReverseFunction .
    
    :BI-rest     a :Function,
                :LightBuiltIn .
    
    :BI-rounded     a :Function,
                :LightBuiltIn .
    
    :BI-scrape     a :Function,
                :LightBuiltIn .
    
    :BI-second     a :Function,
                :LightBuiltIn .
    
    :BI-semantics     a :Function,
                :HeavyBuiltIn .
    
    :BI-semanticsOrError     a :BI-semantics .
    
    :BI-sha     a :Function,
                :LightBuiltIn .
    
    :BI-sign     a :Function,
                :LightBuiltIn .
    
    :BI-sum     a :Function,
                :LightBuiltIn .
    
    :BI-sumOf     a :LightBuiltIn,
                :ReverseFunction .
    
    :BI-timeZone     a :Function,
                :LightBuiltIn .
    
    :BI-uri     a :Function,
                :LightBuiltIn,
                :ReverseFunction .
    
    :BI-verify     a :LightBuiltIn .
    
    :BI-verifyBoolean     a :Function,
                :LightBuiltIn .
    
    :BI-xmlEscapeAttribute     a :Function,
                :LightBuiltIn .
    
    :BI-xmlEscapeData     a :Function,
                :LightBuiltIn .
    
    :BI-year     a :Function,
                :LightBuiltIn .
    
    :Function     a owl:Class;
         rdfs:subClassOf :FunctionBase .
    
    :FunctionBase     a owl:class .
    
    :HeavyBuiltIn     a owl:Class;
         rdfs:subClassOf :FunctionBase .
    
    :LightBuiltIn     a owl:Class;
         rdfs:subClassOf :FunctionBase .
    
    :ReverseFunction     a owl:Class;
         rdfs:subClassOf :FunctionBase .
    
    :builtin     a owl:Property;
         owl:Domain :FunctionBase .
    
    rdf:first     :builtin :BI-first .
    
    rdf:rest     :builtin :BI-rest .
    
    log:conclusion     :builtin :BI-conclusion .
    
    log:conjunction     :builtin :BI-conjunction .
    
    log:content     :builtin :BI-content .
    
    log:equalTo     :builtin :BI-EqualTo .
    
    log:in     :builtin :BI-in .
    
    log:includes     :builtin :BI-includes .
    
    log:n3ExprFor     :builtin :BI-parsedAsN3 .
    
    log:n3String     :builtin :BI-n3String .
    
    log:notEqualTo     :builtin :BI-notEqualTo .
    
    log:notIncludes     :builtin :BI-notIncludes .
    
    log:parsedAsN3     :builtin :BI-parsedAsN3 .
    
    log:racine     :builtin :BI-racine .
    
    log:rawType     :builtin :BI-rawType .
    
    log:rawUri     :builtin :BI-rawUri .
    
    log:semantics     :builtin :BI-semantics .
    
    log:semanticsOrError     :builtin :BI-semanticsOrError .
    
    log:uri     :builtin :BI-uri .
    
    math:absoluteValue     :builtin :BI-absoluteValue .
    
    math:difference     :builtin :BI-difference .
    
    math:differenceOf     :builtin :BI-differenceOf .
    
    math:equalTo     :builtin :BI-equalTo .
    
    math:exponentiation     :builtin :BI-exponentiation .
    
    math:exponentiationOf     :builtin :BI-exponentiationOf .
    
    math:factors     :builtin :BI-factors .
    
    math:greaterThan     :builtin :BI-greaterThan .
    
    math:integerQuotient     :builtin :BI-integerQuotient .
    
    math:lessThan     :builtin :BI-lessThan .
    
    math:memberCount     :builtin :BI-memberCount .
    
    math:negation     :builtin :BI-negation .
    
    math:notEqualTo     :builtin :BI-notEqualTo .
    
    math:notGreaterThan     :builtin :BI-notGreaterThan .
    
    math:notLessThan     :builtin :BI-notLessThan .
    
    math:product     :builtin :BI-product .
    
    math:quotient     :builtin :BI-quotient .
    
    math:quotientOf     :builtin :BI-quotientOf .
    
    math:remainder     :builtin :BI-remainder .
    
    math:remainderOf     :builtin :BI-remainderOf .
    
    math:rounded     :builtin :BI-rounded .
    
    math:sum     :builtin :BI-sum .
    
    math:sumOf     :builtin :BI-sumOf .
    
    os:argv     :builtin :BI-argv .
    
    os:baseAbsolute     :builtin :BI-baseAbsolute .
    
    os:baseRelative     :builtin :BI-baseRelative .
    
    os:environ     :builtin :BI-environ .
    
    str:concat     :builtin :BI-concat .
    
    str:concatenation     :builtin :BI-concatenation .
    
    str:contains     :builtin :BI-Contains .
    
    str:containsIgnoringCase     :builtin :BI-ContainsIgnoringCase .
    
    str:containsRoughly     :builtin :BI-ContainsRoughly .
    
    str:date     :builtin :BI-date .
    
    str:day     :builtin :BI-day .
    
    str:dayOfWeek     :builtin :BI-dayOfWeek .
    
    str:doesNotContain     :builtin :BI-DoesNotContain .
    
    str:endsWith     :builtin :BI-EndsWith .
    
    str:equalIgnoringCase     :builtin :BI-equalIgnoringCase .
    
    str:equalTo     :builtin :BI-equalTo .
    
    str:format     :builtin :BI-format .
    
    str:formatSeconds     :builtin :BI-formatSeconds .
    
    str:gmTime     :builtin :BI-gmTime .
    
    str:greaterThan     :builtin :BI-GreaterThan .
    
    str:hour     :builtin :BI-hour .
    
    str:inSeconds     :builtin :BI-inSeconds .
    
    str:keyLength     :builtin :BI-keyLength .
    
    str:lessThan     :builtin :BI-LessThan .
    
    str:localTime     :builtin :BI-localTime .
    
    str:matches     :builtin :BI-matches .
    
    str:md5     :builtin :BI-md5 .
    
    str:minute     :builtin :BI-minute .
    
    str:month     :builtin :BI-month .
    
    str:notEqualIgnoringCase     :builtin :BI-notEqualIgnoringCase .
    
    str:notGreaterThan     :builtin :BI-NotGreaterThan .
    
    str:notLessThan     :builtin :BI-NotLessThan .
    
    str:notMatches     :builtin :BI-notMatches .
    
    str:parseToSeconds     :builtin :BI-parseToSeconds .
    
    str:publicKey     :builtin :BI-publicKey .
    
    str:scrape     :builtin :BI-scrape .
    
    str:second     :builtin :BI-second .
    
    str:sha     :builtin :BI-sha .
    
    str:sign     :builtin :BI-sign .
    
    str:startsWith     :builtin :BI-StartsWith .
    
    str:sum     :builtin :BI-sum .
    
    str:timeZone     :builtin :BI-timeZone .
    
    str:verify     :builtin :BI-verify .
    
    str:verifyBoolean     :builtin :BI-verifyBoolean .
    
    str:xmlEscapeAttribute     :builtin :BI-xmlEscapeAttribute .
    
    str:xmlEscapeData     :builtin :BI-xmlEscapeData .
    
    str:year     :builtin :BI-year .
    
    time:date     :builtin :BI-date .
    
    time:day     :builtin :BI-day .
    
    time:dayOfWeek     :builtin :BI-dayOfWeek .
    
    time:equalTo     :builtin :BI-equalTo .
    
    time:format     :builtin :BI-format .
    
    time:formatSeconds     :builtin :BI-formatSeconds .
    
    time:gmTime     :builtin :BI-gmTime .
    
    time:hour     :builtin :BI-hour .
    
    time:inSeconds     :builtin :BI-inSeconds .
    
    time:localTime     :builtin :BI-localTime .
    
    time:minute     :builtin :BI-minute .
    
    time:month     :builtin :BI-month .
    
    time:parseToSeconds     :builtin :BI-parseToSeconds .
    
    time:second     :builtin :BI-second .
    
    time:timeZone     :builtin :BI-timeZone .
    
    time:year     :builtin :BI-year .
    
#ENDS