ࡱ;   !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\^_`abcdefghijklmnopqrstuvwxyz{|}~Root Entry  !r\V)䰱 PresentationStarImpress 5.0?{IvI X IrIWIvIWn;|IvIӌIjIvI]"IrI$G"IvI<ȉIvI_HmKɬIvI+JIjIVǴIvI]0ISfxDocumentInfo Hans Chalupsky 0NHans Chalupsky |1 c1u 6OntoMorph: A Translation System for Symbolic Knowledge Info 1 Info 2 Info 3 Info 4 |10̑w<w44Standard LIBIMBEDDED LIBIMBEDDED1,,,1SBX sb : Standard StarBASICSBX ARSBX AR SBX ARSBX OBc BasicLibrariesBasicLibrariesSBX ARSBX AR SBX ARSBX OBe DialogLibrariesDialogLibrariesSBX ARSBX AR SBX AR2c%bqqOh+'0D h t 375@l@L}@{@9G 1tHans ChalupskyHans Chalupsky7OntoMorph: A Translation System for Symbolic Knowledge:HXOutdevItemPool 1   )     &'()*+,-./06789:;UVWXYZ[\]c !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstt      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefdD0:RG'(@w)XXX'4@Dashed 1pZX' j@2G#jO 5XXXX&X.X6X>XF'x@77WW ''----XX X2XDXV'% @$NArrowdd Arrowheads 35FF Arrowheads 1 Arrowheads 2 Arrowheads 3 Arrowheads 4 Arrowheads 5 Arrowheads 6  Arrowheads 7  Arrowheads 8  Arrowheads 9  Arrowheads 10  Arrowheads 11 Arrowheads 12 Arrowheads 13 Arrowheads 14 Arrowheads 15 Arrowheads 16 Arrowheads 17 Arrowheads 18 Arrowheads 19 Arrowheads 20 Arrowheads 21 Arrowheads 22 Arrowheads 23 Arrowheads 24 Arrowheads 25 Arrowheads 26 Arrowheads 27 Arrowheads 28 Arrowheads 29  Arrowheads 30! Arrowheads 31" Arrowheads 32# Arrowheads 33$ Arrowheads 34XXQXXX0XzXXXXXXX6XXXXbXXXCXXX$XoXXXPXXX1X|XX X] X X X> '% @$oArrowdd Arrowheads 35FF Arrowheads 1 Arrowheads 2 Arrowheads 3 Arrowheads 4 Arrowheads 5 Arrowheads 6  Arrowheads 7  Arrowheads 8  Arrowheads 9  Arrowheads 10  Arrowheads 11 Arrowheads 12 Arrowheads 13 Arrowheads 14 Arrowheads 15 Arrowheads 16 Arrowheads 17 Arrowheads 18) Arrowheads 19 Arrowheads 20 Arrowheads 21 Arrowheads 22 Arrowheads 23 Arrowheads 24 Arrowheads 25 Arrowheads 26 Arrowheads 27 Arrowheads 28 Arrowheads 29  Arrowheads 30! Arrowheads 31" Arrowheads 32# Arrowheads 33$ Arrowheads 34XXQXXX0XzXXXXXXX6XXXXbXXXCXXX$XoXXXPXXX1X|XX X] X X X> '.@-,XXX'F@w,8o !*XXXX&X.'@XX'@mX'@$XX'@̙77WW//33     ή ffffױXX X2XDXVXhXzXXXXXXXX XX.X@XRXdXv' @' @ ' @" @8@VX@xX@X;(+@XX,,6@XX --.@3,#XXX...@m,#XXXII"@F|XXJJ=@;! R} )m .Qh%   'T- $ ,/5 NM/2LKE422=/$5593 $4!6"#$%A4&2'7(r )X*+,-.L/01234K57248P)9:;3XXXX&X.X6X>XFXNXVX^XfXnXvX~XXXXXXXXXXXXXXXXXXXXX&X.X6X>XFXNXVX^XfXnXvX~XXXXXXXXXXXXKK@" XXMM"@"i^XXNN"@"i^XXOO"@+#i{^XXPP"@Y#i{^XXQQ(@#B*XXXSS*@k$F . N  q u   S R  XXXX&X.X6X>XFXNXVX^XfXnXvX~XXXXXXXXXUU@$7XXVV(@%3!XXXgg@C% Xnn(@o%XXXoo@% Xpp@% Xqq@% X@%X@&X@=&X@]&X@}&X@&dX@&X@&X@&X*"@,'X6@66.J''''''&'' ' ''' '''''' '''''' '''''''''''''''''''''''''''' '''''' '''''' '''''' '''''' '''''''''''''''''''''''''''''''''''''''''''''''''' '''!&''''''"''''#''''''$''''''%''''''&'''''''''''''('''''') '''*'''+'''''',''''''-''''''.''''''/'''0'''' ''1''''!''2''''"''3''''#''4''''$''5''''''XXX X&X,XDXJXPX\XhXtXXXX X4X^XXXXX0XZXXXXX,XVXXXXXXXX@XjXXXXX*XBXlXXXXX,XVXXX@41''''A''''_''''&'' '' '' '' '' '''''' '' '' ''''' '' '' ''''''''''''''XXX&X2X>XPXbXtXXXXXXXXXX"X4X@XFXjX|XXXXXXXX **F@1m(!'XXXX X&X,77 @ 2+;(,,--..8,,2'&,,,, ,,  +;(,,XXX2X8X>XJXPXVXbXnXzXHH @ 3+'+'?x+'' &<(@'<(@' &<(@'  <(@' @'1'+' g* @'1'XXX&X,X2X8XJXPXhXXXXffJH@J EJJKKQQVVQQVVJJKKJJKK JJKKMMNNOOPPQQSSUUVV JJKKMMNNOOPPQQSSUUVV JJKKMMNNOOPPQQSSUUVVJJKKJJKK  JJ KKMMNNOOPPQQSSUUVV  JJ KKMMNNOOPPQQSSUUVV &JJ # JJ KKMMNNOOPPQQSSUUVV  JJ KKMMNNOOPPQQSSUUVV JJKKMMNNOOPPQQSSUUVV JJKKMMNNOOPPQQSSUUVV JJKKMMNNOOPPQQSSUUVV JJKKMMNNOOPPQQSSUUVV JJKKMMNNOOPPQQSSUUVV JJKKMMNNOOPPQQSSUUVV JJKKMMNNOOPPQQSSUUVV JJKKMMNNOOPPQQSSUUVV JJKKMMNNOOPPQQSSUUVV JJKKMMNNOOPPQQSSUUVV JJKKMMNNOOPPQQSSUUVV JJKKMMNNOOPPQQSSUUVV JJKKMMNNOOPPQQSSUUVV JJKKMMNNOOPPQQSSUUVV JJKKMMNNOOPPQQSSUUVV JJKKMMNNOOPPQQSSUUVV JJKKMMNNOOPPQQSSUUVV JJKKMMNNOOPPQQSSUUVV  JJ KKMMNNOOPPQQSSUUVV! JJ!KKMMNNOOPPQQSSUUVV" JJKKMMNNOOPPQQSSUUVV# JJ#KKMMNNOOPPQQSSUUVV$JJ$% JJKKMMNNOOPPQQSSUUVV& JJ%KKMMNNOOPPQQSSUUVV' JJ&KKMMNNOOPPQQSSUUVV( JJ'KKMMNNOOPPQQSSUUVV) JJ(KKMMNNOOPPQQSSUUVV*IIQQVV+ JJ"KKMMNNOOPPQQSSUUVV, JJ)KKMMNNOOPPQQSSUUVV- JJ*KKMMNNOOPPQQSSUUVV. JJ+KKMMNNOOPPQQSSUUVV/ JJKKMMNNOOPPQQSSUUVV0 JJKKMMNNOOPPQQSSUUVV1 JJKKMMNNOOPPQQSSUUVV2 JJ,KKMMNNOOPPQQSS UUVV3 JJ-KKMMNNOOPPQQSS UUVV4 JJ.KKMMNNOOPPQQSS UUVV5 JJ/KKMMNNOOPPQQSS UUVV6 JJ/KKMMNNOOPPQQSS UUVV7 JJKKMMNNOOPPQQSSUUVV8 JJKKMMNNOOPPQQSSUUVV9 JJ0KKMMNNOOPPQQSS UUVV:JJ2QQVV; JJ1KKMMNNOOPPQQSSUUVV< JJKKMMNNOOPPQQSSUUVV= JJKKMMNNOOPPQQSSUUVV> JJ3KKMMNNOOPPQQSSUUVV?IIQQVV@ JJ4KKMMNNOOPPQQSSUUVVA JJKKMMNNOOPPQQSSUUVVB JJKKMMNNOOPPQQSSUUVVC JJ5KKMMNNOOPPQQSSUUVVD JJ3KKMMNNOOPPQQSSUUVVE JJ7KKMMNNOOPPQQSSUUVVF JJ8KKMMNNOOPPQQSSUUVVG JJ9KKMMNNOOPPQQSSUUVVH JJ:KKMMNNOOPPQQSSUUVVI JJ;KKMMNNOOPPQQSSUUVVXX,X>XPXbXXX(X:XLXXXXX`XXX&XhXXX.XpXXX6XxXXX>XXXXFXXX XXZXXX Xb Xz X X X@ X X X XH X X X XP X X X XX Xp X X X6XxXXXXVXXXX^XXzz@FggnnooppqqggnnooppqqggnnooppqqXX2XV@F+XP@NG *XB| Jr;Z8f@h T !!!":"\"~""""# #@#b#####+o../0CCC PHH=NEditEngineItemPool BI6fG0.%* @vI* @I* @Ig* 3@ } "X2StarBats -"2StarBats -"2StarBats -"` ` 2StarBats -" 2StarBats -"2StarBats -"hh2StarBats -"2StarBats -"2StarBats -"pp2StarBats - "2StarBats -"2StarBats -"2StarBats -"` ` 2StarBats -" 2StarBats -"2StarBats -"hh2StarBats -"2StarBats -"2StarBats -"pp2StarBats - " /Timesd" /Timesd" /Timesd" ` /Timesd" /Timesd" /Timesd" h/Timesd" /Timesd" /Timesd" p/Timesd  dn8Monotype Sorts 77WWK8Monotype Sorts K g /Timesdn]` 8Monotype Sorts 77WWAS 8Monotype Sorts 77WWAS8Monotype Sorts 77WWASh8Monotype Sorts 77WWAS8Monotype Sorts 77WWA"2StarBats - " /Times''d"2StarBats -"2StarBats -"` ` 2StarBats -" 2StarBats -"2StarBats -"hh2StarBats -"2StarBats -"2StarBats -"pp2StarBats - n8Monotype Sorts 77WWK8Monotype Sorts K /Timesdn` 8Monotype Sorts 77WWA 8Monotype Sorts A8Monotype Sorts Ah8Monotype Sorts A8Monotype Sorts A8Monotype Sorts A " /Timesd" /Timesd" /Timesd" ` /Timesd"  /Timesd" /Timesd" h/Timesd" /Timesd" /Timesd" p/TimesdS  dnH8Monotype Sorts 77WWK8Monotype Sorts K g /Timesdn]` 8Monotype Sorts 77WWAS 8Monotype Sorts 77WWAS8Monotype Sorts 77WWASh8Monotype Sorts 77WWAS8Monotype Sorts 77WWA"2StarBats -  dnH8Monotype Sorts rruullK8Monotype Sorts cc..))Kg 0Symbol dn]` 8Monotype Sorts rruullAS 8Monotype Sorts cc..))AS8Monotype Sorts cc..))ASh8Monotype Sorts cc..))AS8Monotype Sorts cc..))A"2StarBats -   dng g 8Monotype Sorts 77WWK8Monotype Sorts K g /Timesdn]` 8Monotype Sorts 77WWAS 8Monotype Sorts 77WWAS8Monotype Sorts 77WWASh8Monotype Sorts 77WWAS8Monotype Sorts 77WWA"2StarBats -   dnH8Monotype Sorts rruullK8Monotype Sorts cc..))Kg 0Symbol dn]` 8Monotype Sorts rruullAS 8Monotype Sorts cc..))AS8Monotype Sorts cc..))ASh8Monotype Sorts cc..))AS8Monotype Sorts cc..))A"2StarBats -  " /Times''K" /Timesssiissd" /Timesssiissd" ` /Timesssiissd"  /Timesssiissd" /Timesssiissd" h/Timesssiissd" /Timesssiissd" /Timesssiissd" p/TimesssiissdXXjXX XOXXXXN"X&X*X1/ @_}@}iXX@*vdddNddd~dddxddsddddYddsdjBdddYsjdddjYs "dddY  ddd YD dddYDdddYDdddYD8ddd8YDXdddXYDxdddxYD!ddd!YDXX!X4XGXZXsXXXXXXXX5XNXgX<( n@ S  XXXX X&X,X2X8X>XD ( @   StarSymbol!?-(''Times!d  StarSymbolX!?-rTimes!d77WW Monotype Sorts!nKy77WW Monotype Sorts!nKT Monotype Sorts!K Symbol{!d77WW Monotype Sorts!nK 77WW Monotype Sorts{!nK  Symbol{!dXXIXXXX/XnXXX#Xb@''c@ȄdddddXddddY|` ddd` YdddYdddYpdddpY ddd Y  ddd Y %ddd%Y 0*ddd0*Ydddddddddg dddg ]ddd]SdddSqddHd dddYH"ddd$ dddg %CdddY&g dddg YXX!X4XMXfXXXXXXXX(X;XNXaXtXXXXXXA'@ ʅdddddddd Hdd Zdd :dd dddddd`dd4ddiddXXX&X2X>XJXVXbXnXzXX1'F@<ad!j*gUXXX$X/+'(@t MXXX' @ , , , , ', 1, ;, tE, `O, LY, 8c, $m,  3, , , #, -, 7, A, K, U, _, ki,  , , , , ), x3, d=, PG, , G, Q, [,  q, ], I, 5%, !/, 9, B, L, V,  , 3, , , #, -, 7, A, K, U, _, ki,  , q, ], I, 5%, !/, 9, B, L, V, `, XXgXX XVXXX>!'z@ !''I77WWN//Z'' XXX&X2X>XJXV'@ Times( Helvetica Symbol  ZapfDingbats Courier Arial  Arial Narrow Arial Black MonacoXXX2XCXZXlX|XX'@ 2%4d d x{d  d d d id Od >d Pd d d XXX"X,X6X@XJXTX^XhXrX|* @x'@ <XX'@ "XX'@ X'@ XX'@*X'@I X%' @q d:XXS' @"' @' @$'@׌ X*@ X*@ X**@MHG Mincho Light JX*)@Arial Unicode MSX*@ id  Od >d  d d Pd w{d $4d d d d XXX"X,X6X@XJXTX^XhXr*@ id  Od >d  d d Pd w{d $4d d d d XXX"X,X6X@XJXTX^XhXr*@X*@ X*@?X*@^X* @x*@ X @ @ď@ޏ0X@/X{(@!pX$:P3 47466c9;<<.=?l@RAB&BNBvBBBBB'C=CSCiCCCCC4DDEEEEF&FFF\FrFFFPE***g* "2StarBatsN -"2StarBatsN -"2StarBatsN -"` ` 2StarBatsN -" 2StarBatsN -"2StarBatsN -"hh2StarBatsN -"2StarBatsN -"2StarBatsN -"pp2StarBatsN - (  StarSymbol!?-'!'' Thorndale'Od $' ***HG Mincho Light J*Arial Unicode MS*Od *Od # 3P\2 +DefaultDefault+'''''''''+;(,,--..g* (@'A'1'+''!''' ''''''%'$'***********Object with arrowDefaultObject with arrow'''''''Object with shadowDefaultObject with shadow+;(,,--..Object without fillDefaultObject without fill'TextDefaultText'' Text bodyDefault Text body'''Text body justfiedDefaultText body justfied''+'First line indentDefaultFirst line indent''g*@'TitleDefaultTitle''' Title1DefaultTitle1 '''+;(,,--..+'' Title2DefaultTitle2 ''+;(,,--..g*@'A'+''HeadingDefaultHeading''A'' Heading1DefaultHeading1''A'''Heading2DefaultHeading2''A''''Dimension LineDefaultDimension Line'''''''Default~LT~Gliederung 1Default~LT~Gliederung 1''g*@'A' 1'+''!''' ''''''%'$'***********Default~LT~Gliederung 2Default~LT~Gliederung 1Default~LT~Gliederung 2@'A' 1'+''!''''''''%'$'*** * *Default~LT~Gliederung 3Default~LT~Gliederung 2Default~LT~Gliederung 3@'A' 1'+''!''''''''%'$'*** * *Default~LT~Gliederung 4Default~LT~Gliederung 3Default~LT~Gliederung 4@'A' 1'+''!''''''''%'$'*** * *Default~LT~Gliederung 5Default~LT~Gliederung 4Default~LT~Gliederung 5@'A' 1'+''!''''''''%'$'*** * *Default~LT~Gliederung 6Default~LT~Gliederung 5Default~LT~Gliederung 6@'A' 1'+''!''''''''%'$'*** * *Default~LT~Gliederung 7Default~LT~Gliederung 6Default~LT~Gliederung 7@'A' 1'+''!''''''''%'$'*** * *Default~LT~Gliederung 8Default~LT~Gliederung 7Default~LT~Gliederung 8@'A' 1'+''!''''''''%'$'*** * *Default~LT~Gliederung 9Default~LT~Gliederung 8Default~LT~Gliederung 9@'A' 1'+''!''''''''%'$'*** * *Default~LT~TitelDefault~LT~Titel ''QQg*@'A'1'+''!''' ''''''%'$'***********Default~LT~UntertitelDefault~LT~Untertitel ''QQg*@'A' 1'+''!''' ''''''%'$'***********Default~LT~NotizenDefault~LT~Notizen''g*@'A' 1'+''!'''''''''%'$'***** * *****Default~LT~HintergrundobjekteDefault~LT~Hintergrundobjekte+;(,,--..Default~LT~HintergrundDefault~LT~Hintergrund'''QQVV+'TitleTitle@SubtitleSubtitle@Background objectsBackground objects@ Background Background@NotesNotes@ Outline 1 Outline 1@ Outline 2 Outline 1 Outline 2@ Outline 3 Outline 2 Outline 3@ Outline 4 Outline 3 Outline 4@ Outline 5 Outline 4 Outline 5@ Outline 6 Outline 5 Outline 6@ Outline 7 Outline 6 Outline 7@ Outline 8 Outline 7 Outline 8@ Outline 9 Outline 8 Outline 9@6GzktYtO *  Xz ,V"U B@lv5*/BX!y˙VzeƘ(`8ḆNձ)fQO?qLg8ha)(A &'/j-KYg`y57xD;UXrs6i^+t6`RFjܑ윜fQ,Ǐ6w}6<'m?Z dK"6<DrMdV#F#JoeM0|10|1xZ|10  standard.soc standard.sod standard.soe standard.soh standard.sog standard.sobODrLy LAYER_LAYOUTDrLy LAYER_BCKGRNDDrLy LAYER_BACKGRNDOBJDrLyLAYER_CONTROLSDrLy!LAYER_MEASURELINESDrMP'JoeM$mVTDrML DrOb<SVDr&"%DrOb<SVDr&)3D%DrOb<SVDr&?"RDrOb<SVDr&)?3DRDrXXDefaultgg iDefault~LT~GliederungDrMP$  JoeM8cjJDrML DrObSVDr&8cjJ*Default~LT~Hintergrund8cjJDrObSVDr 8cc]SDUDQ Default c DrObSVDr&Z^ $Default~LT~TitelZ^ }xV4B1hZ#Click to edit the title text formatDefault~LT~Titel<( (@'DrObSVDr&~Z(=+Default~LT~Gliederung 1~Z(= xV4B1Z %Click to edit the outline text formatDefault~LT~Gliederung 1 <( (@'Second Outline LevelDefault~LT~Gliederung 2 <( (@'Third Outline LevelDefault~LT~Gliederung 3 <( (@'Fourth Outline LevelDefault~LT~Gliederung 4<( (@'Fifth Outline LevelDefault~LT~Gliederung 5<( (@'Sixth Outline LevelDefault~LT~Gliederung 6<( (@'Seventh Outline LevelDefault~LT~Gliederung 7<( (@' Eighth Outline LevelDefault~LT~Gliederung 8<( (@' Ninth Outline LevelDefault~LT~Gliederung 9<(  (@'  DrOb{SVDr_UGsbIc]SDUDQ Default_UGsbIxV4B1ZDefault<( (@'1'+' DrObSVDr$GbGc]SDUDQ DefaultakG9kGDrObSVDrFI-CJc]SDUDQ DefaultFI-CJxV4B1Z"USC INFORMATION SCIENCES INSTITUTEDefault<( (@'""""""""DrObSVDrLxGakJc]SDUDQ DefaultLxGakJxV4B1ZLoom/PowerLoom GroupDefault<( (@'  DrXXDefaultgg aDefault~LT~GliederungDrMPJoeMVT$mDrML DrObSVDrKdc]SDUDQ DefaultKdDrObSVDr& /A)]&Default~LT~Notizen /A)]zxV4B1eZClick to edit the notes formatDefault~LT~Notizen<( (@'DrObSVDr& >A-$Default~LT~Titel >A-qxV4B1\ZClick to move the slideDefault~LT~Titel<( (@'DrXXDefaultgg YDefault~LT~GliederungDrPgcJoeM$mVTDrML8DrMD,DrXX Handoutsgg IDefault~LT~GliederungDrPg;JoeM8cjJDrML8DrMD,DrObSVDrq~[5%c]SDUDQ $ Default~LT~Titelq~[5%xV4B1Z6OntoMorph: A Translation Systemfor Symbolic KnowledgeDefault~LT~Titel<( (@'+'66666 6 6 DrObSVDr+*VT>c]SDUDQ )  Default~LT~Untertitel+*VT>xV4B1ZHans ChalupskyDefault~LT~Untertitel<( (@'A'   Default~LT~Untertitel<( (@'A'   Default~LT~Untertitel<( (@'A'  Loom/PowerLoom GroupDefault~LT~Untertitel<( (@'A'   "USC Information Sciences InstituteDefault~LT~Untertitel<( (@'A' """"" " "DrXXDrObtSVDr&8cjJDefault8cjJN6OntoMorph: A Translation System for Symbolic Knowledgegg QDefault~LT~GliederungDrPgJoeMVT$mDrML8DrMD,DrOb<SVDr& >A-DrObPSVDr /A*]c]SDUDQ & Default~LT~Notizen /A*]nxV4B1YZClick to add notesDefault~LT~Notizen<( (@'DrXXN6OntoMorph: A Translation System for Symbolic Knowledgegg YDefault~LT~GliederungDrPgoJoeM8cjJDrML8DrMD,DrOb`SVDrZ^ c]SDUDQ $ Default~LT~TitelZ^ xV4B1kZOverviewDefault~LT~Titel<( (@'DrOb8SVDr~Z(=c]SDUDQ +  Default~LT~Gliederung 1p~Z(=QxV4B14Z MotivationDefault~LT~Gliederung 1<( (@' A'    Translation ProblemDefault~LT~Gliederung 1<( (@' A' OntoMorph OverviewDefault~LT~Gliederung 1<( (@' A' OntoMorph ApplicationsDefault~LT~Gliederung 1<( (@' A'  ConclusionsDefault~LT~Gliederung 1<( (@' A'    DrXXDrObtSVDr&8cjJDefault8cjJ Overviewgg QDefault~LT~GliederungDrPgJoeMVT$mDrML8DrMD,DrOb<SVDr& >A-DrObPSVDr /A*]c]SDUDQ & Default~LT~Notizen /A*]nxV4B1YZClick to add notesDefault~LT~Notizen<( (@'DrXX Overviewgg YDefault~LT~GliederungDrPg  JoeM8cjJDrML8DrMD,DrObbSVDrZ^ c]SDUDQ $ Default~LT~TitelZ^ xV4B1mZ MotivationDefault~LT~Titel<( (@'   DrObSVDr~Z?c]SDUDQ +  Default~LT~Gliederung 1~Z? xV4B1Z ObservationsDefault~LT~Gliederung 1<( (@' A'    2Ontology development collaborative but independentDefault~LT~Gliederung 2g*<( (@'%222$Repeated merges/imports are the normDefault~LT~Gliederung 2g*<( (@'%$$$1Different tasks solved using different KR systemsDefault~LT~Gliederung 2g*<( (@'%1111 different syntax, knowledge models, expressivityDefault~LT~Gliederung 3g*<( (@'&1112Different tasks require different modeling stylesDefault~LT~Gliederung 2g*<( (@'%22212"Translation problem is ubiquitousDefault~LT~Gliederung 1<( (@' A' """.Merging of semantically overlapping ontologiesDefault~LT~Gliederung 2g*<( (@'%...-Distributed heterogeneous agent communicationDefault~LT~Gliederung 2g*<( (@'%---6Integration of independently developed K-based systemsDefault~LT~Gliederung 2g*<( (@'%6669Porting of K-based systems to different KR infrastructureDefault~LT~Gliederung 2g*<( (@'%999DrXXDrObtSVDr&8cjJDefault8cjJ" Motivationgg QDefault~LT~GliederungDrPgJoeMVT$mDrML8DrMD,DrOb<SVDr& >A-DrObPSVDr /A*]c]SDUDQ & Default~LT~Notizen /A*]nxV4B1YZClick to add notesDefault~LT~Notizen<( (@'DrXX" Motivationgg YDefault~LT~GliederungDrPgLJoeM8cjJDrML8DrMD,DrObeSVDrZ^ c]SDUDQ $ Default~LT~TitelZ^ xV4B1pZ Some OpinionsDefault~LT~Titel<( (@'   DrOb~SVDr~Z7Fc]SDUDQ 00+  Default~LT~Gliederung 1~Z7FxV4B1vZZWe need standards, KIF, OKBC, HPKB upper structure, etc. to minimize translation needs.Default~LT~Gliederung 1<( (@' A' ZZZ`Well never decide on that standard representation language, everybody has their own favoriteDefault~LT~Gliederung 1<( (@' A' ```8People will hack through any representation availableDefault~LT~Gliederung 1<( (@' A' 888SWe better learn to live in a world where everybody represents things differentlyDefault~LT~Gliederung 1<( (@' A' SSSVWhats the big deal, I can write any X-to-KIF translator in 5 Prolog clauses/minutesDefault~LT~Gliederung 1<( (@' A' VVV.Writing translators is not really difficultDefault~LT~Gliederung 1<( (@' A' ...Sound familiar?Default~LT~Gliederung 1<( (@' A' DrXXDrObtSVDr&8cjJDefault8cjJ% Some Opinionsgg QDefault~LT~GliederungDrPgJoeMVT$mDrML8DrMD,DrOb<SVDr& >A-DrObPSVDr /A*]c]SDUDQ & Default~LT~Notizen /A*]nxV4B1YZClick to add notesDefault~LT~Notizen<( (@'DrXX% Some Opinionsgg YDefault~LT~GliederungDrPg##JoeM8cjJDrML8DrMD,DrOboSVDrZ^ c]SDUDQ $ Default~LT~TitelZ^ xV4B1zZThe Translation ProblemDefault~LT~Titel<( (@'DrOb SVDr J*c]SDUDQ DrObSVDr &$%c]SDUDQ  Default8$%DrObSVDr_<I*c]SDUDQ  Defaultq<wI *DrOb- SVDr "c]SDUDQ DrObSVDrc]SDUDQ  DefaultDrObSVDrc]SDUDQ  DefaultuDrObSVDrg/c]SDUDQ  Default DrObSVDrLRc]SDUDQ  Defaults/oDrObSVDr6|c]SDUDQ       !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~ DefaultYYDrObSVDr]c]SDUDQ  Default::DrObSVDrB c]SDUDQ  Default  DrObSVDr '!c]SDUDQ  Default!!DrObSVDr! "c]SDUDQ  Default!!DrXXDrOb- SVDr&@3F"c]SDUDQ DrObSVDr&@3Dyc]SDUDQ  DefaultI@VCVDrObSVDr&@@Ec]SDUDQ  DefaultI@cbEcDrObSVDr&@MBc]SDUDQ  DefaultI@plBpDrObSVDr&@ZFc]SDUDQ  DefaultI@}F}DrObSVDr&@gEc]SDUDQ  DefaultI@bEDrObSVDr&@tFc]SDUDQ  DefaultI@bFDrObSVDr&@ D c]SDUDQ  DefaultI@ D DrObSVDr&@!E!c]SDUDQ  DefaultI@!bE!DrObSVDr&@"D"c]SDUDQ  DefaultI@"gD"DrXXDrObSVDr!tI?c]SDUDQ ZDrOb'SVDrE&tI?c]SDUDQ  Defaulth&i&TPh&77&?77h&h&DrOb SVDr!"6c]SDUDQ  Default!!95!""!!DrOb SVDr#%6c]SDUDQ  Default##95#~%~%##DrXXDrObSVDr%c]SDUDQ Default%xV4B1Z Source KBDefault<( (@'A'1'        DrObSVDr;Jc]SDUDQ Default;JxV4B1Z Target KBDefault<( (@'A'1'        DrObkSVDr,;2#c]SDUDQ Default,;2#xV4B1ZtDefault<( (@'A'1'DrXXDrObSVDr~Z?c]SDUDQ +  Default~LT~Gliederung 1~Z?xV4B1ZDefault~LT~Gliederung 1<( (@' A' %KBs describable in some linear syntaxDefault~LT~Gliederung 2g*<( (@'%%%%sentence-based translationDefault~LT~Gliederung 2g*<( (@'%single expression to whole KBDefault~LT~Gliederung 2g*<( (@'%-arbitrary semantic shift allowed morphingDefault~LT~Gliederung 2g*<( (@'%--- "#%-%-DrXXDrObtSVDr&8cjJDefault8cjJ/The Translation Problemgg QDefault~LT~GliederungDrPgJoeMVT$mDrML8DrMD,DrOb<SVDr& >A- DrObPSVDr /A*]c]SDUDQ & Default~LT~Notizen /A*]nxV4B1YZClick to add notesDefault~LT~Notizen<( (@'DrXX/The Translation Problemgg YDefault~LT~GliederungDrPg  JoeM8cjJDrML8DrMD,DrObnSVDrZ^ c]SDUDQ $ Default~LT~TitelZ^ xV4B1yZTranslation DimensionsDefault~LT~Titel<( (@'DrObSVDr~]Cc]SDUDQ +  Default~LT~Gliederung 1~]C xV4B1Z KR language syntaxDefault~LT~Gliederung 1<( (@' A' 0KIF, Loom, PowerLoom, MELD, SNePS, OntoLingua, Default~LT~Gliederung 2g*<( (@'%000KR language expressivityDefault~LT~Gliederung 1<( (@' A' 5quantification, negation, defaults, sets, modals, ...Default~LT~Gliederung 2g*<( (@'%555Modeling conventionsDefault~LT~Gliederung 1<( (@' A' gclass distinction vs. attribute relations, argument order, argument reification, naming conventions,...Default~LT~Gliederung 2g*<( (@'%gggModel coverage and granularityDefault~LT~Gliederung 1<( (@' A' Representation paradigmsDefault~LT~Gliederung 1<( (@' A' <time, action, plans, causality, propositional attitudes, ...Default~LT~Gliederung 2g*<( (@'%<<<Inference system biasDefault~LT~Gliederung 1<( (@' A' 4collections vs. individuals, subclass-of vs. =>, ...Default~LT~Gliederung 2g*<( (@'%444 ( -/DrXXDrObtSVDr&8cjJDefault8cjJ.Translation Dimensionsgg QDefault~LT~GliederungDrPgJoeMVT$mDrML8DrMD,DrOb<SVDr& >A- DrObPSVDr /A*]c]SDUDQ & Default~LT~Notizen /A*]nxV4B1YZClick to add notesDefault~LT~Notizen<( (@'DrXX.Translation Dimensionsgg YDefault~LT~GliederungDrPg` JoeM8cjJDrML8DrMD,DrObsSVDrZ^ c]SDUDQ $ Default~LT~TitelZ^ xV4B1~ZExample: Syntax DifferencesDefault~LT~Titel<( (@'DrObvSVDr~5_(=c]SDUDQ +  Default~LT~Gliederung 1~5_(=xV4B1lZLoom:Default~LT~Gliederung 1<( (@'A'   W (defconcept Automobile The class of passenger cars. :is-primitive Road-Vehicle)Default~LT~Gliederung 1<( (@'A' 1'  WWWWW W W9:Default~LT~Gliederung 1<( (@'A' 1'   MELD:Default~LT~Gliederung 1<( (@'A'    (#$isa #$Automobile #$Collection)(#$genls #$Automobile #$RoadVehicle)(#$comment #$Automobile The class of passenger cars)Default~LT~Gliederung 1<( (@'A' 1'    #$HIDefault~LT~Gliederung 1<( (@'A' 1'   KIF:Default~LT~Gliederung 1<( (@'A'   W (defrelation Automobile (?x) The class of passenger cars :=> (Road-Vehicle ?x))Default~LT~Gliederung 1<( (@'A' 1'  WWWWW W W>?DrXXDrObtSVDr&8cjJDefault8cjJ3Example: Syntax Differencesgg QDefault~LT~GliederungDrPgJoeMVT$mDrML8DrMD,DrOb<SVDr& >A- DrObPSVDr /A*]c]SDUDQ & Default~LT~Notizen /A*]nxV4B1YZClick to add notesDefault~LT~Notizen<( (@'DrXX3Example: Syntax Differencesgg YDefault~LT~GliederungDrPg0x/JoeM8cjJDrML8DrMD,DrObrSVDrZ^ c]SDUDQ $ Default~LT~TitelZ^ xV4B1}ZExample: Model DifferencesDefault~LT~Titel<( (@'DrObSVDra$c]SDUDQ Defaulta$xV4B1Z Ontology ADefault<( (@'A'1'        DrObSVDrBRc]SDUDQ DefaultBRxV4B1Z Ontology BDefault<( (@'A'1'        DrObSVDr!vc]SDUDQ Default!vxV4B1ZVehicleDefault<( (@'A'1'   DrObSVDr 6 #c]SDUDQ Default 6 #xV4B1ZWheeledVehicleDefault<( (@'A'1'   DrObSVDr6 /#c]SDUDQ Default6 /#xV4B1ZTrackedVehicleDefault<( (@'A'1'   DrOb}SVDr((!/,c]SDUDQ Default((!/,xV4B1ZM60Default<( (@'A'1'   DrOb|SVDr? ( &,c]SDUDQ Default? ( &,xV4B1ZM1Default<( (@'A'1'   DrObSVDr(,c]SDUDQ Default(,xV4B1ZHMMWVDefault<( (@'A'1'   DrOb~SVDr (1,c]SDUDQ Default (1,xV4B1ZM151Default<( (@'A'1'   DrObSVDrkY c]SDUDQ  Default H6 DrObSVDr&Y c]SDUDQ  DefaultD&6 DrObSVDr >$(c]SDUDQ  Default\a$ (DrObSVDr>$(c]SDUDQ  Defaulta$(DrObSVDr">$&(c]SDUDQ  Default+&a$"(DrObSVDra(>$+(c]SDUDQ  Default(a$+(DrObSVDr;,0?c]SDUDQ Default;,0?xV4B1Z(AngleRange -60 45)Default<( (@'A'1'   DrObSVDr]C3!6c]SDUDQ Default]C3!6xV4B1Z maxSlopeRangeDefault<( (@'A'1'        DrObSVDr~5<c]SDUDQ  Defaultl6;DrObSVDr ,f3c]SDUDQ  Default,C3DrObSVDr>Svc]SDUDQ Default>SvxV4B1ZAutomotive-DeviceDefault<( (@'A'1'   DrObySVDrVT!i`%c]SDUDQ DefaultVT!i`%xV4B1ZtrackedDefault<( (@'A'1'   DrObSVDrD$"Ut%c]SDUDQ DefaultD$"Ut%xV4B1Z traction-typeDefault<( (@'A'1'        DrObSVDrf7!M@%c]SDUDQ Defaultf7!M@%xV4B1Z M-1Default<( (@'A'1'   DrObSVDr 9(A,,c]SDUDQ Default 9(A,,xV4B1ZM-151Default<( (@'A'1'   DrObSVDrtE(^V+c]SDUDQ DefaulttE(^V+xV4B1Z traction-typeDefault<( (@'A'1'        DrObySVDr*U(_,,c]SDUDQ Default*U(_,,xV4B1ZwheeledDefault<( (@'A'1'   DrObSVDrP"U$c]SDUDQ  DefaultQ#T#DrObSVDrPC)>Vk+c]SDUDQ  DefaultQW**UW*DrObSVDr>#LE#c]SDUDQ  Default>#)E#DrObSVDr[@4*Ez*c]SDUDQ  Default~@W*tEW*DrObSVDr9<D "c]SDUDQ  DefaultD\<!DrObSVDr=>G'c]SDUDQ  Default!G>'DrObtSVDrL;Q0?c]SDUDQ DefaultL;Q0?xV4B1Z45Default<( (@'A'1'   DrObSVDr~@C3N6c]SDUDQ Default~@C3N6xV4B1Z max-gradientDefault<( (@'A'1'        DrObSVDrF~5M<c]SDUDQ DefaultlG6L;DrObSVDr=,Df3c]SDUDQ  Defaultl>,DC3DrXXDrObtSVDr&8cjJDefault8cjJ2Example: Model Differencesgg MDefault~LT~GliederungDrPgJoeMVT$mDrML8DrMD,DrOb<SVDr& >A-DrObPSVDr /A*]c]SDUDQ & Default~LT~Notizen /A*]nxV4B1YZClick to add notesDefault~LT~Notizen<( (@'DrXX2Example: Model Differencesgg YDefault~LT~GliederungDrPg cJoeM8cjJDrML8DrMD,DrObwSVDrZ^ c]SDUDQ $ Default~LT~TitelZ^ xV4B1ZTraditional Translation MethodsDefault~LT~Titel<( (@'DrObSVDr~ZDc]SDUDQ +  Default~LT~Gliederung 1M~ZD. xV4B1Z Manual translation isDefault~LT~Gliederung 1<( (@' A' slowDefault~LT~Gliederung 2g*<( (@'%tedious Default~LT~Gliederung 2g*<( (@'% error-proneDefault~LT~Gliederung 2g*<( (@'%   hard to repeatDefault~LT~Gliederung 2g*<( (@'%hard to document and traceDefault~LT~Gliederung 2g*<( (@'%often simply not practicalDefault~LT~Gliederung 2g*<( (@'%Special-purpose translators areDefault~LT~Gliederung 1<( (@' A' tedious to write Default~LT~Gliederung 2g*<( (@'%hard to maintainDefault~LT~Gliederung 2g*<( (@'%not easily reusableDefault~LT~Gliederung 2g*<( (@'%Default~LT~Gliederung 1<( (@' A' DrXXDrObtSVDr&8cjJDefault8cjJ7Traditional Translation Methodsgg QDefault~LT~GliederungDrPgJoeMVT$mDrML8DrMD,DrOb<SVDr& >A-DrObPSVDr /A*]c]SDUDQ & Default~LT~Notizen /A*]nxV4B1YZClick to add notesDefault~LT~Notizen<( (@'DrXX7Traditional Translation Methodsgg YDefault~LT~GliederungDrPgVJoeM8cjJDrML8DrMD,DrObnSVDrZ^ c]SDUDQ $ Default~LT~TitelZ^ xV4B1yZNeed: Translation ToolDefault~LT~Titel<( (@'DrObvSVDr~Z(=c]SDUDQ +  Default~LT~Gliederung 1~Z(=xV4B1rZ Desiderata:Default~LT~Gliederung 1<( (@' A'    Translate arbitrary KR languagesDefault~LT~Gliederung 2g*<( (@'%   No fixed knowledge modelDefault~LT~Gliederung 2g*<( (@'%5Concise, declarative specification of transformationsDefault~LT~Gliederung 2g*<( (@'%555.Support for automatic, repeatable translationsDefault~LT~Gliederung 2g*<( (@'%...DrXXDrObtSVDr&8cjJDefault8cjJ.Need: Translation Toolgg QDefault~LT~GliederungDrPgJoeMVT$mDrML8DrMD,DrOb<SVDr& >A-DrObPSVDr /A*]c]SDUDQ & Default~LT~Notizen /A*]nxV4B1YZClick to add notesDefault~LT~Notizen<( (@'DrXX.Need: Translation Toolgg YDefault~LT~GliederungDrPgQ JoeM8cjJDrML8DrMD,DrObkSVDrZ^ c]SDUDQ $ Default~LT~TitelZ^ xV4B1vZSolution: OntoMorphDefault~LT~Titel<( (@'DrObwSVDr~ZHCc]SDUDQ +  Default~LT~Gliederung 1~ZHC xV4B1gZ 8Rapid and concise specification of KB translators t viaDefault~LT~Gliederung 1<( (@' A' 888 232323232378Syntactic rewritingDefault~LT~Gliederung 1<( (@' A' pattern-directed rewrite rulesDefault~LT~Gliederung 2g*<( (@'%-sentence-level transformation of syntax treesDefault~LT~Gliederung 2g*<( (@'%---based on pattern matchingDefault~LT~Gliederung 2g*<( (@'%Default~LT~Gliederung 1g*<( (@'%A' Semantic rewritingDefault~LT~Gliederung 1<( (@' A' modulates syntactic rewritingDefault~LT~Gliederung 2g*<( (@'%#uses integrated PowerLoom KR systemDefault~LT~Gliederung 2g*<( (@'%###"based on (partial) semantic modelsDefault~LT~Gliederung 2g*<( (@'%"""uses logical inferenceDefault~LT~Gliederung 2g*<( (@'%DrXXDrObtSVDr&8cjJDefault8cjJ+Solution: OntoMorphgg QDefault~LT~GliederungDrPgJoeMVT$mDrML8DrMD,DrOb<SVDr& >A-DrObPSVDr /A*]c]SDUDQ & Default~LT~Notizen /A*]nxV4B1YZClick to add notesDefault~LT~Notizen<( (@'DrXX+Solution: OntoMorphgg YDefault~LT~GliederungDrPg JoeM8cjJDrML8DrMD,DrObpSVDrZ^ c]SDUDQ $ Default~LT~TitelZ^ xV4B1{ZOntoMorph Rewrite EngineDefault~LT~Titel<( (@'DrOb9SVDr~Z+Cc]SDUDQ +  Default~LT~Gliederung 1q~Z+CR xV4B1-Z ^Pattern language and execution model similar to PLisp (Pattern Lisp), Lisp-70 Pattern MatcherDefault~LT~Gliederung 1<( (@' A' ^^^]^FeaturesDefault~LT~Gliederung 1<( (@' A' 9Rapid generation of ontology and KR language translators Default~LT~Gliederung 2g*<( (@'%999Rewrites arbitrary syntax treesDefault~LT~Gliederung 2g*<( (@'%UPowerful pattern language for concise specification and destructuring of expressions Default~LT~Gliederung 2g*<( (@'%UUU.Full backtracking (can parse Type-0 languages)Default~LT~Gliederung 2g*<( (@'%...9Named rule sets provide modularization and search controlDefault~LT~Gliederung 2g*<( (@'%999BSeamless integration with PowerLoom facilitates semantic rewritingDefault~LT~Gliederung 2g*<( (@'%BBB0B3Available in Lisp, C++ and Java (written in STELLA)Default~LT~Gliederung 2g*<( (@'%333DrXXDrObtSVDr&8cjJDefault8cjJ0OntoMorph Rewrite Enginegg QDefault~LT~GliederungDrPgJoeMVT$mDrML8DrMD,DrOb<SVDr& >A-DrObPSVDr /A*]c]SDUDQ & Default~LT~Notizen /A*]nxV4B1YZClick to add notesDefault~LT~Notizen<( (@'DrXX0OntoMorph Rewrite Enginegg YDefault~LT~GliederungDrPgE  JoeM8cjJDrML8DrMD,DrObhSVDrZ^ c]SDUDQ $ Default~LT~TitelZ^ xV4B1sZPattern LanguageDefault~LT~Titel<( (@'DrObqSVDr~Z?c]SDUDQ +  Default~LT~Gliederung 1~Z? xV4B1_Z Literals match themselves:Default~LT~Gliederung 1<( (@'A'   foo, hans, 2, (a (b c) d), etc.Default~LT~Gliederung 2g*<( (@'"   "Variables match complete subtrees:Default~LT~Gliederung 1<( (@'A' " """ " " ?x, ?bar, ?Default~LT~Gliederung 2g*<( (@'"       +Sequence variables match tree subsequences:Default~LT~Gliederung 1<( (@'A' ++++ + +(??x foo ??y), ??Default~LT~Gliederung 2g*<( (@'"   ,Grouping (AND) matches a sequence of tokens:Default~LT~Gliederung 1<( (@'A' ,,,, , , {a ?x c} Default~LT~Gliederung 2g*<( (@'"          4Alternatives (OR) match alternative token sequences:Default~LT~Gliederung 1<( (@'A' 4 444 4 4{a|(b ?x)|c d}Default~LT~Gliederung 2g*<( (@'"      )Optionals match optional token sequences:Default~LT~Gliederung 1<( (@'A' ) ))) ) ) {a [b c]}Default~LT~Gliederung 2g*<( (@'"         DrXXDrObtSVDr&8cjJDefault8cjJ(Pattern Languagegg QDefault~LT~GliederungDrPgJoeMVT$mDrML8DrMD,DrOb<SVDr& >A-DrObPSVDr /A*]c]SDUDQ & Default~LT~Notizen /A*]nxV4B1YZClick to add notesDefault~LT~Notizen<( (@'DrXX(Pattern Languagegg YDefault~LT~GliederungDrPg?JoeM8cjJDrML8DrMD,DrOboSVDrZ^ c]SDUDQ $ Default~LT~TitelZ^ xV4B1zZPattern Language, cont.Default~LT~Titel<( (@'DrObSVDr~Z(=c]SDUDQ +  Default~LT~Gliederung 11~Z(=xV4B1Z,Repetition matches a pattern multiple times:Default~LT~Gliederung 1<( (@'A' , ,,, , ,{a|b}+, {a|b}*1-2Default~LT~Gliederung 2g*<( (@'"      2Binding input matched by a pattern to a variable: Default~LT~Gliederung 1<( (@'A' 2 222 2 2=?x := {a|(b ?y)|c} matched against (b d) binds ?x to (b d).Default~LT~Gliederung 2g*<( (@'"  ===  #)() 02 6=<=DrXXDrObtSVDr&8cjJDefault8cjJ/Pattern Language, cont.gg QDefault~LT~GliederungDrPgJoeMVT$mDrML8DrMD,DrOb<SVDr& >A-DrObPSVDr /A*]c]SDUDQ & Default~LT~Notizen /A*]nxV4B1YZClick to add notesDefault~LT~Notizen<( (@'DrXX/Pattern Language, cont.gg YDefault~LT~GliederungDrPg JoeM8cjJDrML8DrMD,DrObgSVDrZ^ c]SDUDQ $ Default~LT~TitelZ^ xV4B1rZExample PatternDefault~LT~Titel<( (@'DrObKSVDr~9]Ec]SDUDQ +  Default~LT~Gliederung 1~9]EdxV4B1EZ$Match key-value pairs in any order:Default~LT~Gliederung 1<( (@'A' $$$$ $ $#$ (defconcept ?name {?is := {:is | :is-primitive} ?def | :characteristic ?cha | :annotations ?ann := {(documentation ?doc) | (:and ?? (documentation ?doc) ??) | ?}}*0-3)Default~LT~Gliederung 1<( (@'A' 1'   #'(67=?>?X[Z[lmz~Default~LT~Gliederung 1<( (@'A'   Example pattern instance:Default~LT~Gliederung 1<( (@'A'    (defconcept Dog :annotations (:and Object-Type (documentation Canine)) :is-primitve Animal)Default~LT~Gliederung 1<( (@'A' 1'    78hiDefault~LT~Gliederung 1<( (@'A' 1'   DrXXDrObtSVDr&8cjJDefault8cjJ'Example Patterngg QDefault~LT~GliederungDrPgJoeMVT$mDrML8DrMD,DrOb<SVDr& >A-DrObPSVDr /A*]c]SDUDQ & Default~LT~Notizen /A*]nxV4B1YZClick to add notesDefault~LT~Notizen<( (@'DrXX'Example Patterngg YDefault~LT~GliederungDrPg^JoeM8cjJDrML8DrMD,DrObgSVDrZ^ c]SDUDQ $ Default~LT~TitelZ^ xV4B1rZBasic OperationDefault~LT~Titel<( (@'DrOb SVDr~4`Ec]SDUDQ +  Default~LT~Gliederung 1X~4`E9xV4B1Z)Rewrite Rule Syntaxpattern => resultDefault~LT~Gliederung 1<( (@'A' '))) )) ) )!")()Execution ModelDefault~LT~Gliederung 1<( (@'A' b Example Rule: (isa ?i ?c) => (?c ?i)Input stream: ( isa car1 Ford ) ( speed car1 Default~LT~Gliederung 1<( (@'A' bbb   0b b b,--..//0 =bDefault~LT~Gliederung 1<( (@'A' 1'   DrXXDrObtSVDr&8cjJDefault8cjJ'Basic Operationgg QDefault~LT~GliederungDrPgJoeMVT$mDrML8DrMD,DrOb<SVDr& >A-DrObPSVDr /A*]c]SDUDQ & Default~LT~Notizen /A*]nxV4B1YZClick to add notesDefault~LT~Notizen<( (@'DrXX'Basic Operationgg YDefault~LT~GliederungDrPg  JoeM8cjJDrML8DrMD,DrObgSVDrZ^ c]SDUDQ $ Default~LT~TitelZ^ xV4B1rZBasic OperationDefault~LT~Titel<( (@'DrObSVDr~4`Ec]SDUDQ +  Default~LT~Gliederung 1P~4`E1xV4B1Z!Rule Syntaxpattern => resultDefault~LT~Gliederung 1<( (@'A' '!!!    !! ! !! !Execution ModelDefault~LT~Gliederung 1<( (@'A' b Example Rule: (isa ?i ?c) => (?c ?i)Input stream: ( isa car1 Ford ) ( speed car1 Default~LT~Gliederung 1<( (@'A' bbb   0b b b,--..//0 =bDefault~LT~Gliederung 1<( (@'A' 1'   DrObSVDr&"=2c]SDUDQ Default)1 'DrObSVDr!`&%k2c]SDUDQ Default "W1#t'DrObSVDr'`&T*k2c]SDUDQ Default!(W1@)t'DrObSVDr ,w&1=2c]SDUDQ Defaultm*q0)14-'DrObSVDr.I&y5&2c]SDUDQ Default]-e41/]'DrXXDrObtSVDr&8cjJDefault8cjJgg QDefault~LT~GliederungDrPg|JoeMVT$mDrML8DrMD,DrOb<SVDr& >A-!DrObPSVDr /A*]c]SDUDQ & Default~LT~Notizen /A*]nxV4B1YZClick to add notesDefault~LT~Notizen<( (@'DrXXgg YDefault~LT~GliederungDrPg " JoeM8cjJDrML8DrMD,DrObgSVDrZ^ c]SDUDQ $ Default~LT~TitelZ^ xV4B1rZBasic OperationDefault~LT~Titel<( (@'DrOb SVDr~4`Ec]SDUDQ +  Default~LT~Gliederung 1X~4`E9xV4B1Z!Rule Syntaxpattern => resultDefault~LT~Gliederung 1<( (@'A' '!!!    !! ! !! !Execution ModelDefault~LT~Gliederung 1<( (@'A' b Example Rule: (isa ?i ?c) => (?c ?i)Input stream: ( Ford car1 ) ( speed car1 Default~LT~Gliederung 1<( (@'A' bbb   0b b b,--..//0 =bDQDefault~LT~Gliederung 1<( (@'A' 1'   DrObSVDrn!%72c]SDUDQ Default5'"1DrObSVDr'2&9k2c]SDUDQ Default8F'(W1DrObSVDr,&=2c]SDUDQ Default</'-1DrObSVDr2`&?2c]SDUDQ Default>t'#3n1DrXXDrObtSVDr&8cjJDefault8cjJgg QDefault~LT~GliederungDrPg|JoeMVT$mDrML8DrMD,DrOb<SVDr& >A-#DrObPSVDr /A*]c]SDUDQ & Default~LT~Notizen /A*]nxV4B1YZClick to add notesDefault~LT~Notizen<( (@'DrXXgg YDefault~LT~GliederungDrPg 8 JoeM8cjJDrML8DrMD,DrObuSVDrZ^ c]SDUDQ $ Default~LT~TitelZ^ xV4B1ZNamed Rule Sets and RecursionDefault~LT~Titel<( (@'DrObSVDr~Z3Jc]SDUDQ +  Default~LT~Gliederung 1$~Z3J xV4B1Z Rule Set SyntaxDefault~LT~Gliederung 1<( (@'A' g(defruleset name pattern1 => result1 ... patternN => resultN)Default~LT~Gliederung 1<( (@'A' 1''! ggggg g g$#$%'(0.0/0IJJKNORZYZ[^^edeegfg!Function calls and rule recursionDefault~LT~Gliederung 1<( (@'A' !!!2Rule sets and functions can be invoked recursivelyDefault~LT~Gliederung 2g*<( (@'"222FArguments are consumed and results pushed back onto the input stream.Default~LT~Gliederung 2g*<( (@'"FFFEF{ ?result}Default~LT~Gliederung 1 g* <( ( @'$A' 1''      Default~LT~Gliederung 1 g* <( ( @'$A' 1''          Default~LT~Gliederung 1 g* <( ( @'$A' 1''     Default~LT~Gliederung 1<( (@'A' 1'   DrXXDrObtSVDr&8cjJDefault8cjJ5Named Rule Sets and Recursiongg QDefault~LT~GliederungDrPgJoeMVT$mDrML8DrMD,DrOb<SVDr& >A-%DrObPSVDr /A*]c]SDUDQ & Default~LT~Notizen /A*]nxV4B1YZClick to add notesDefault~LT~Notizen<( (@'DrXX5Named Rule Sets and Recursiongg YDefault~LT~GliederungDrPg ! JoeM8cjJDrML8DrMD,DrOblSVDrZ^ c]SDUDQ $ Default~LT~TitelZ^ xV4B1wZRewrite Rule ExampleDefault~LT~Titel<( (@'DrObSVDr~B^EDc]SDUDQ +  Default~LT~Gliederung 1~B^EDxV4B1ZRule definition:Default~LT~Gliederung 1<( (@'A'   (defruleset Term(?op := {\+|-|\*|/} ?x ?y) => (?op ) (1\+ ?x) => (\+ 1) (1- ?x) => (- 1) (square ?x) => (\* )?x => ?x )Default~LT~Gliederung 1<( (@'A' 1'?       !"#$%*,./34559:<<??CDFFGIJOQSUZ[[_`bbcghghlnprvww{|~~Default~LT~Gliederung 1<( (@'A' 1'   n(defruleset Condition(lt ?x ?y) => (negative? (- ))(gt ?x ?y) => )Default~LT~Gliederung 1<( (@'A' 1'  nnnnn n n  !#23378::==ABDDEGHLQSUVWW`ejklmnDefault~LT~Gliederung 1<( (@'A' 1'   Rule application:Default~LT~Gliederung 1<( (@'A'   _(rewrite (gt (/ (1+ M) N) (square N)) Condition) => (negative? (- (* N N) (/ (+ M 1) N)))Default~LT~Gliederung 1<( (@'A' 1'' _____ _ _ '001233445DrXXDrObtSVDr&8cjJDefault8cjJ,Rewrite Rule Examplegg QDefault~LT~GliederungDrPgJoeMVT$mDrML8DrMD,DrOb<SVDr& >A-'DrObPSVDr /A*]c]SDUDQ & Default~LT~Notizen /A*]nxV4B1YZClick to add notesDefault~LT~Notizen<( (@'DrXX,Rewrite Rule Exampleg