====== Podstawy i Metody Inżynierii Wiedzy 2009 ====== ===== Prowadzący ===== * projekt: [[http://home.agh.edu.pl/gjn/dydaktyka|Dr G.J. Nalepa]] * wykład: [[http://home.agh.edu.pl/ligeza|Prof. A. Ligęza]] ===== Organizacja ===== [[miw2009_organizacja|Opis pracy w wiki i organizacji zajęć]] ===== Studenci ===== Tematy projektów są przeznaczone dla studentów: * AiR 4. (2009) (//AR//) oraz ew./dodatkowo: * InfStos 4. (lato 2009) (//IS//) * magistrantów (//MS//) * innych zainteresowanych (//OT//) ===== Uwagi ===== * Tematy oznaczone znaczkiem :!::!: należy uznać za tematy o wysokim priorytecie * Tematy oznaczone znaczkiem :!: należy uznać za tematy o podwyższonym priorytecie * Tematy pozostałe też są ważne i też można dostać ocenę pozytywną, w tym, 5.0 i 6.0, są one jednak potencjalnie mniejszym wyzwaniem, lub mniej pilnie potrzebne * Tematy realizowane są //indywidualnie// chyba, że wskazano inaczej :-P * W wyjątkowej sytuacji, np. stopień złożoności tematu, waga dla HeKatE, niektóre tematy mogą być realizowane przez więcej niż jeden zespół 8-o * Uwaga: niektóre tematy mogą zależeć od realizacji innych, oznaczone jako 8-) ===== Kontynuacja tematów ===== Osoby, które zrealizują w sposób wyróżniający się, a także będą zainteresowane tematyką poruszaną w projektach, będą mogły kontynuować pracę w ramach tematyki pochodnej do MIW 2009 w ramach: * pracy magisterskiej w roku 2009/10 * projektu [[http://hekate.ia.agh.edu.pl|Hekate]], potencjalnie za wynagrodzeniem * stażu asystenckiego w KA ===== Prerekwizyty ===== W zależności od projektu, może być wymagana znajomość: * Prologu * Knowledge Engineering Concepts: Rule-based, Expert Systems * Data representation and processing: XML-based technologies * Programming: Java, Eclipse * Modelling: UML, MVC ===== Rezerwacje ===== * osoby zainteresowane tematami mogą sie dopisywać pod nimi w formacie Z: Imie Nazwisko * nie jest to równoważne //rezerwacji// tematu -- tę osobiście zatwierdzam ja * oczywiście nie należy pod żadnym pozorem ingerować we wpisy innych osób! (a wiki i tak robi wersjonowanie...) ====== Tematy MIW09 ====== ===== Trans-Xchange===== ==== HekateATL ==== How we could use [[http://www.eclipse.org/m2m/atl/|Atlas]] for [[hekate:ARDplus]], [[hekate:XTT2]], design, integration and model translation. ==== OWL_Rules ==== :!: 8-o How decision rules can be represented, encoded in [[http://www.w3.org/2004/OWL|OWL]] rules in description logic, description logic programs, swrl? Z: [[miw09_OWL_Rules_1|Wojciech Franczak ]] Z: [[miw09_OWL_Rules_2|Mariusz Sokołowski ]] ==== Drools_X ==== :!: How we can use [[http://www.jboss.org/drools/|Drools]] to model rules for the SemWeb in [[http://www.w3.org/2005/rules/wiki/RIF_Working_Group|RIF]], [[http://www.w3.org/Submission/SWRL/|SWRL]] (import/export). How we can use [[http://www.jboss.org/drools/|Drools]] to import/export/model rules for/from [[http://clipsrules.sourceforge.net/|CLIPS]] and [[http://www.jessrules.com/|Jess]]. Z: [[pl:miw:2009:miw09_drools_x|Grzegorz Stopa ]] ===== Wiki ===== ==== Doku_LaTeX ==== :!: [[http://www.dokuwiki.org/|Dokuwiki]] [[http://www.dokuwiki.org/devel:plugins|plugin]] for generating LaTeX from the wiki pages. [[http://ctan.tug.org/tex-archive/info/lshort/english/lshort.pdf|L2short]] [[http://www.latex-project.org/guides/]] Extended the [[pl:miw:miw08_dokulatex|last year plugin]]. [[miw09_doku_latex|Z: Wojciech Nagrodzki nagrodz@student.agh.edu.pl]] ==== Wiki_S5_build ==== :!: 8-o Provide [[http://meyerweb.com/eric/tools/s5/|S5]] presentations for the main HeKatE pages, e.g. XTT2 ALSV ARD Thermostat. Using the [[http://www.dokuwiki.org/plugin:s5|S5 plugin]] Z: [[miw09_wiki_s5_build|Piotr Jarmołowicz ]] ==== Wiki_S5_Fix ==== :!: Extend [[http://www.dokuwiki.org/plugin:s5|the original S5 plugin]] for the [[http://meyerweb.com/eric/tools/s5/|S5]] for better presentation including sensible support for LaTeX, pictures, tables, **FullScreen browser mode :!: ** (bold, italic, underline, links etc.), ordered lists and other modes/plugins. evaluate [[http://www.w3.org/Talks/Tools/Slidy/|Slidy]] Z: [[pl:miw:2009:miw09_wiki_s5_fix|Marcin Stachura ]] ==== Wiki_Sync ==== :!: Develop a synchronization [[http://www.dokuwiki.org/devel:plugins|plugin]] for [[http://www.dokuwiki.org/|Dokuwiki]] for disconnected work, that allows a developer to work and extend a disconected copy of the wiki, and then a back replication, possibly with merging. Tools to consider [[http://www.cis.upenn.edu/~bcpierce/unison/|unison]] [[http://en.wikipedia.org/wiki/Rsync|rsync]] last resort? [[http://en.wikipedia.org/wiki/Concurrent_Versions_System|cvs]] [[http://kdiff3.sourceforge.net/]] [[http://meld.sourceforge.net/]] Z: [[pl:miw:2009:miw09_wiki_sync|Sebastian Pracuch ]] ==== Wiki_GWP ==== :!::!: 8-o How [[http://www.dokuwiki.org/|Dokuwiki]] can be used as a groupware solution for team and project management, communication and development?: * identify common functionalities in other systems, methods * review basic DokuWiki funcs * identify problem areas in the above, e.g.: - scheduling, task management - meeting and communication - automatic wiki metastructure, - annotation - biblio, references * review of groupware, project managemnet plugins for the identified problems doodle, GTD, etc, e.g. - [[http://www.dokuwiki.org/plugin:avbarchart]] [[http://www.dokuwiki.org/plugin:task]] [[http://www.dokuwiki.org/plugin:gtd]] [[http://www.dokuwiki.org/plugin:charter]] [[http://www.dokuwiki.org/plugin:ditaa]] [[http://www.dokuwiki.org/plugin:pchart]] - [[http://www.dokuwiki.org/plugin:doodle]] - [[http://www.dokuwiki.org/plugin:cloud]] [[http://www.dokuwiki.org/plugin:tag]] [[http://www.dokuwiki.org/plugin:nstoc]] - [[http://www.dokuwiki.org/plugin:tip]] [[http://www.dokuwiki.org/plugin:folded]] - [[http://www.dokuwiki.org/plugin:harvcite]] [[http://www.dokuwiki.org/plugin:bibtex]] [[http://en.wikipedia.org/wiki/Category:Citation_templates]] Z: Tomasz Gryzio ==== MetamodelWikiPlugin ==== Add Wiki plugin to display metamodels (UML class diagrams) from XMI code OR create wiki plugin to display them from UMLGraph notation. Input: * [[http://carlosmanzanares.com/blog/?p=23|Wiki UML tool]] * [[http://www.twiki.org/|TWiki]] * [[http://www.umlgraph.org/|UMLGraph]] Output: * Wiki with plugin Z: [[miw09_metamodelwikiplugin|Marcin Godlewski ]] ==== Wiki_Papers ==== :!::!: [[http://www.dokuwiki.org/|Dokuwiki]] [[http://www.dokuwiki.org/devel:plugins|plugin]] for presenting paper statistics for given persons from number of existing sources, including the [[http://www.bpp.agh.edu.pl|BPP]] the [[http://dblp.uni-trier.de|DBLP]] the [[http://citeseerx.ist.psu.edu/|CiteSeerX]]. Explicitly describe the APIs of the above sites! In the wiki one writes e.g.: ^Osoba^BPP:2008^BPP:2008:LNCS^BPP:2008:IF^DBPL:2008^ Nalepa Grzegorz|http://home.agh.edu.pl/gjn, BPP:2008, BPP:2008:LNCS, BPP:2008:IF, DBPL:2008 and gets ^Osoba^BPP:2008^BPP:2008:LNCS^BPP:2008:IF^DBPL:2008^ |[[http://home.agh.edu.pl/gjn|Nalepa Grzegorz]]|[[http://www.bpp.agh.edu.pl/bpp-show.phtml?s=b1&aut=3663&Ra=2008|14]]|2|[[http://www.bpp.agh.edu.pl/bpp-show.phtml?s=b1&aut=3663&Ra=2008&if=z+ImpactFactor|0]]|[[http://dblp.uni-trier.de/db/indices/a-tree/n/Nalepa:Grzegorz_J=.html|11]]| Z: Rafał Gibas Site: [[miw09_wiki_papers]] ===== Tools ===== ==== HQed audit ==== :!::!: 8-o Test the new version of [[hekate:HQEd]]. Check quality, test, update manual, code and funcionality audit, in wiki description and s5 presentation. Z: Grzegorz Dydo-Rożniecki [[pl:miw:2009:miw09_hqed_audit_1|R: Damian Dudziński ]] ==== Varda fix ==== :!: Fix, [[hekate:VARDA]] improve, extend, build better ui, * list -> set! * audit! * [[http://gollem.science.uva.nl/SWI-Prolog/Manual/ugraphs.html]] * doc in pldoc * shell?: add, split, finalize * evaluate java guis FIXME R: [[miw09_Varda_Fix|Paweł Płazieński ]] ==== Varda manual ==== :!: Write a manual for [[hekate:VARDA]] latex, wiki, s5? Z: [[varda manual|Tomasz Miklis]] ==== PM_sol ==== Research opensource web-based project management and team collaboration solutions. Z: [[pl:miw:2009:miw09_pm_sol|Tomasz Miklis]] ==== Drools_Tools ==== :!::!: Search for tools and solutions for rule design and management for [[http://www.jboss.org/drools/|Drools]]. Describe the default tools, including RuleFlow, and BRMS. Model HeKatE cases in Drools. Z: Rafał Gibas ===== OOMG ===== ==== UML_Vocabulary ==== * search for methods of describing rule vocabularies with UML (class diagrams?) * how such a vocabulary could be automatically generated from information/dependencies in //use case diagrams// [[pl:miw:2009:miw09_uml_vocabulary|Jan Pollak ]] ==== MOF_Desc ==== :!::!: Read the info available on [[http://www.omg.org/mof/|MOF]] (see also [[wp>Meta-Object_Facility]]). Analyze it, and make a concise sythesis, in the form of the in wiki report, possibly as/plus an S5 present. Specifically search for: * other related specifications, e.g. [[http://www.omg.org/xmi/|XMI]] * //tool support// * //tutorials// * case studies * success stories + criticism * future developments Z: Adrian Stanula astanula@gmail.com ==== LogTalk_UMLgraph ==== :!: * Analyze, describe, prepare a short tutorial as S5 for [[http://www.umlgraph.org/|UMLgraph]]. * provide a simple Prolog API for genarating, and visualizing UML diagrams from Prolog, write a Prolog parser * research on existing approaches to representing UML in/with Prolog * Analyze, describe, prepare a short tutorial as S5 for [[http://logtalk.org/|LogTalk]]. * check first has anyone made some progress in the integration of these two! * provide menas for generating visualizations of UML diagrams from Prolog for LogTalk [[pl:miw:2009:miw09_logtalk_umlgraph:projekt|Mariusz Sasko ]] ==== Prolog_SBVR ==== * Look at the [[http://www.omg.org/spec/SBVR/|SBVR]]. * Prepare a concise desc/present. * look for the //tool support// for modelling! * provide a Prolog parser for SBVR with syntax checking, possibly use DCG, see [[http://cs.union.edu/~striegnk/learn-prolog-now/html/node54.html#lecture7|here]], and [[http://cs.union.edu/~striegnk/courses/nlp-with-prolog/html/node31.html#lecture5|here also]]. * provide simple analysis of the SBVR knowledge base on top of the parser [[pl:miw:2009:miw09_prolog_SBVR|Patryk Łuczyński ]] ==== Ebnf2XML ==== Translation the Extended Backus-Naur Form productions into an XML representation (investigate how EBNF can be represent in XML: XSet, EBNFML(?), some new ML? [if sb would need it I can propose my own simple idea :D]). Input: * [[http://www.openhealth.org/XSet/|XSet]] * [[http://forge.ifsic.univ-rennes1.fr/projects/ebnfml/|Some EBNFML project]] * [[student:msc2009_umlrep:ebnf_mof#e_bnf|Set of (E)BNF links]] Output: * XSLT Z: [[pl:miw:2009:miw09_Ebnf2XML|Rafał Dyrda ]] ==== EbnfXMLrep ==== Translation the Extended Backus-Naur Form productions in XML format (chosen in investigation in EBNF2XMLrep) into raw metamodel (in XMI 2.1 [I can provide with a few examples]) by algorithm from 3rd chapter of [[student:msc2009_umlrep:ebnf_mof#bridging_grammarware_and_modelware|Bridging grammarware and modelware]]. Input: * results of investigation in EBNF2XMLrep * [[student:msc2009_umlrep:ebnf_mof|(E)BNF a metamodel MOF]] Output: * XSLT ===== ELearn ===== ==== EL_tools ==== 8-o * Research opensource e-learning as well as teaching coordination, communication and support solutions. * Compare w.r.t Moodle. * Are there any optional, custom, Moodle extensions? * report on practical results of: * http://www.eu4all-project.eu * http://www.prolearn-project.org/ * http://www.grapple-project.org Z: Marek Siara ==== EL_curricula ==== 8-o * search for on-line curricula in the area of //E-Business// and //Web-Technologies// * look for just curricula (topics, dependencies) as well as on-line courses in these areas * focus on EU, but with some research in the USA too * categorize w.r.t: * topic: EB,WT * area: USA, EU, EU-east/central * target: under/postgrad * availability Read [[http://www.sciencemag.org/education_technology/|SciMag art]] and a [[http://jime.open.ac.uk/2008/14/jime-2008-14.html|study]] take a look at CMU [[http://www.cmu.edu/oli/index.shtml|OLI]] and [[http://www.ocwconsortium.org/|MIT OCW]]. Z: Piasecki Maksymilian ===== Cases ===== ==== Hekate Case Telco ==== :!: Find, analyze, reverse engineer some telco billing/services systems. Model rules using the HeKatE process. Examples: * [[http://plus.pl/oferta_indywidualna/plus_abonament/taryfy/|Plus]] * [[http://www.era.pl/pl/indywidualni/taryfy|Era]] * [[http://sklep.playmobile.pl/ecommerce/control/categorypostpaidrate|Play]] * [[http://www.orange.pl/portal/map/map/postpaid_main|Orange]] Z: [[Hekate Case Telco|Paweł Grzesiak]] [[p2grzesiak@gmail.com]] ==== Hekate Case KD ==== :!: Work on some cases description in natural language for knowledge discovery for ARD+. * take some RBS cases, startingt from the thermostat * build a number (6-8) of natural language descriptions for the case * reuse KD results Z: [[miw09_hekate_case_kd|Tomasz Maślanka maslanka(at)student.agh.edu.pl]] ==== XTT_Drools ==== Analyze how to design [[http://www.jboss.org/drools/|Drools]] rules with [[hekate:XTT2]] Model HeKatE cases in Drools. Z: [[pl:miw:2009:miw09_xtt_drools|Szymon Frenkel sfrenkel@student.bez-spamu.agh.edu.pl]] ==== XTT_CLIPS ==== :!: Analyze how to design [[http://clipsrules.sourceforge.net/|CLIPS]] and [[http://www.jessrules.com/|Jess]]. rules with [[hekate:XTT2]] Model HeKatE cases in Clips/Jess. Z: [[pl:miw:2009:miw09_xtt_clips|Maciej Fabia]] ==== JLIPS_Cases ==== Search for ready systems, cases, examples of RBS built with [[http://clipsrules.sourceforge.net/|CLIPS]] and [[http://www.jessrules.com/|Jess]]. ===== NXT ===== ==== NXT_sensors ==== Build extra sensors from the [[http://www.amazon.com/Extreme-NXT-Extending-MINDSTORMS-Technology/dp/1590598180/ref=pd_bbs_sr_1?ie=UTF8&s=books&qid=1231087373&sr=8-1|Extreme NXT Book]] (available for us!) warning: requires some hardware and experience! Z: [[miw09_nxtsensors1|Paweł Konas ]] ==== NXT_API_audit ==== :!: Take the PlNXT API. FIXME Make a code and functionality audit. ==== NXT_API_demo ==== :!: Take the [[pl:plnxt:start|PlNXT API]]. Build tutorial and demo cases. Z: [[nxt_api_demo|Łukasz Bandała]] ===== SemWeb ===== ==== SemWeb_RDFize ==== input: * [[wp>RDFa]], [[wp>Embedded_RDF]], [[wp>GRDDL]], [[http://www.opencalais.com/|OpenCalais]], ... output: * a short report describing: * how to add semantic annotations to a webpage (standards, tools) * how to extract semantic information from XHTML, XML, other formats (standards, tools) * sample applications/websites (see e.g.: [[http://www.opencalais.com/gallery|OpenCalaisGallery]] ) Z: Lukasz Habrzyk ==== SemWeb_RDFStore ==== * [[http://semanticweb.org/wiki/Category:RDF_store|RDF Stores]] - investigate the tools' functionality & possibilities * importing data from Relational Databases into RDF Triple Stores -> examples, applications * importing data from various sources (spreadsheets, databases, other...) into RDF Triple Stores R: [[pl:miw:2009:miw09_SemWeb_RDFStore|Dawid Molenda ]] ==== SemWeb_SPARQL ==== * research on [[http://www.w3.org/TR/rdf-sparql-query|SPARQL]], * provide a presentation, * look for language support * other tools * look for/build Prolog API, e.g. [[http://www.swi-prolog.org/packages/SeRQL/|SeRQL]] R: [[miw09_sparql|Sławomir Widlarz ]] ==== SemWeb_DLtls ==== :!: * reserch on DL reasoners: [[http://pellet.owldl.com/|Pellet]], etc * look for Prolog-based: http://wasp.cs.vu.nl/sekt/ http://wasp.cs.vu.nl/sekt/dig/ http://logic.aifb.uni-karlsruhe.de/wiki/PrOWLog * test, describe, analyze ==== VennVisual ==== [[wp>Venn_diagrams]] [[wp>Euler_diagram]] visualization in Prolog for [[https://ai.ia.agh.edu.pl/wiki/student:staze2008:wtf:dl|DL]]/[[hekate:ALSVfd]]. * Look for batch tools for plotting, e.g. [[http://ploticus.sourceforge.net|Ploticus]] [[http://www.gnuplot.info/|GNUplot]] * work on ideas/scenarios, what and when visualize * provide a Prolog API ==== Knowikis cases ==== :!::!: 8-o Build sample knowledge wikis/cases on different implementations. Consider http://ikewiki.salzburgresearch.at/ http://sweetwiki.inria.fr/ http://semantic-mediawiki.org/wiki/Semantic_MediaWiki Z: [[pl:miw:2009:miw09_knowikis_cases|Kamil Kościuk ]] ==== SWRLtrans ==== :!::!: Work on the translation of [[hekate:XTT2]] to [[http://www.w3.org/Submission/SWRL/|SWRL]] using [[http://www.w3.org/TR/xslt|XSLT]]. [[pl:miw:miw08_xtt_rif]] [[student:msc2008_xml_knowledge_transformation:xttml2rif]] Z: [[pl:miw:2009:miw09_swrltrans|Michał Lesiak ]] ==== Mercury ==== Read on the [[http://www.cs.mu.oz.au/research/mercury/|Mercury language]]. Describe concepts, examples, compare to Prolog and [[http://haskell.org/|Haskell]]. [[http://home.agh.edu.pl/~mszpyrka/dydujk:ppdata:pp|haskell]] R: [[pl:miw:2009:miw09_mercury|Michał Kołodziej ]] ====== SPOOL, future topics ====== **NOT** for //MIW2009//. ==== NXT_Sockets ==== build a sockets-based interface for plnxt serial module ==== OMGrules ==== * look at [[http://omg.org/|OMG pages]] for //all// specifications related to //decision/production rules//, //bussiness rules//, e.g. Production Rules Representation, SBVR, etc. * analyze how advanced, developed these specs are * describe them * research for current and possible tool support * using these methods and tools, try to model HeKatE rule cases, e.g. [[https://ai.ia.agh.edu.pl/wiki/hekate:hekate_case_thermostat|Termostat]], or [[https://ai.ia.agh.edu.pl/wiki/hekate:hekate_case_cashpoint|CashPoint]] ==== Wiki_Knowledge ==== Reprezentacja i przetwarzanie wiedzy w wiki, rozwinięcie i kontynacja: [[pl:miw:miw08_semantic_wiki]] * reprezentacja faktów i reguł w tekście w połączeniu z językiem naturalnym: Frank is a malemale(frank) * podobnie reguły, * dodatkowe wejście: fakty tymczasowe? --- //[[wojnicki@agh.edu.pl|Igor Wojnicki]] 2009/01/05 16:49// ==== LLVM ==== Try to investigatae if/how [[http://llvm.org/|LLVM]] could be used to as/to model the [[wp>Warren_Abstract_Machine]] Related work: FIXME Z: [[pl:miw:miw2009_llvm|Sławomir Widlarz ]] ==== XTT I/O Library ==== A library of predicates providing basic I/O including: * file I/O * reading * writting * GUI I/O * text input/output * 2D graphics Environment: XPCA and SWI-Prolog. For XTT I/O see: [[:hekate:bib:hekate_bibliography#iw2009-xttenvi]] --- //[[wojnicki@agh.edu.pl|Igor Wojnicki]] 2009/01/05 16:51// ==== Wiki_Trac ==== Implement a [[http://en.wikipedia.org/wiki/Comparison_of_issue_tracking_systems|bug/issue tracking system]] for [[http://www.dokuwiki.org/|Dokuwiki]], that includes CVS SubVersion support. For examples see [[http://www.cvstrac.org/|CVStrac]] [[http://trac.edgewall.org/|Trac]], [[http://bestpractical.com/rt/|RT]]. ==== EbnfSyntaxHigh ==== Source code syntax highlighting in Wiki for grammars in EBNF notation. Input: * [[pl:prolog:geshi_prolog|Kolorowanie składni języka Prolog]] * [[student:msc2009_umlrep:ebnf_mof#e_bnf|Set of (E)BNF links]] Output: * wiki plugin for EBNF notation syntax highlighting ==== Varda_Refactoring ==== Design and implement sensible refactoring capabilities for VARDA. ==== PM_sol ==== Research opensource web-based project management and team collaboration solutions. ==== Rule_Cases ==== Search for ready systems, cases, examples in the area of bizrules, expert systems, control systmes., etc. Built a catalogue. ==== Doku_BibTeX ==== [[http://www.dokuwiki.org/|Dokuwiki]] [[http://www.dokuwiki.org/devel:plugins|plugin]] for rendering BibTeX in the wiki pages, including citing! Extended the last year plugin. FIXME ==== Swoogle ==== Analyze possibilities, uses, applications of http://swoogle.umbc.edu/ http://sparql.cs.umbc.edu/ http://ebiquity.umbc.edu/ look for/describe related tools. ==== MDA_Desc ==== Read the info available on [[http://www.omg.org/mda/|MDA]] (see also [[wp>Model-driven_architecture]]). Analyze it, and make a concise sythesis, in the form of the in wiki report, possibly as/plus an S5 present. Specifically search for: * specifications * tutorials * case studies * tool support * success stories + criticism * future developments ==== Game Cases ==== Design ARD and XTT for same classical games, e.g. [[wp>Snake_(video_game)]], think of [[wp>Game_of_life]] and other board games. How it would be possible to represent knowledge? --- //[[wojnicki@agh.edu.pl|Igor Wojnicki]] 2009/01/13 09:51// --- //[[gjn@agh.edu.pl|Grzegorz J. Nalepa]] 2009/01/13 23:10// ====== Materiały ====== Tutoriale [[http://www.w3.org/Style/XSL/|XSL/T]]: * [[http://zvon.org/xxl/XSLTutorial/Output/index.html|ZVON XSLT]] * [[http://w3schools.com/xsl/default.asp|W3S XSLT]]