Reasoning web: semantic technologies for software engineering ; 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010 ; tutorial lectures
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2010
|
| Schriftenreihe: | Lecture notes in computer science
6325 : Tutorial |
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
| Beschreibung: | Literaturangaben |
| Beschreibung: | VII, 181 S. graph. Darst. 24 cm |
| ISBN: | 9783642155420 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV036653697 | ||
| 003 | DE-604 | ||
| 005 | 20220224 | ||
| 007 | t| | ||
| 008 | 100906s2010 xx d||| |||| 10||| eng d | ||
| 015 | |a 10,N31 |2 dnb | ||
| 015 | |a 10,A36 |2 dnb | ||
| 016 | 7 | |a 1005223947 |2 DE-101 | |
| 020 | |a 9783642155420 |c kart. : EUR 49.22 (freier Pr.), sfr 66.00 (freier Pr.) |9 978-3-642-15542-0 | ||
| 024 | 3 | |a 9783642155420 | |
| 028 | 5 | 2 | |a 80021392 |
| 035 | |a (OCoLC)699603495 | ||
| 035 | |a (DE-599)DNB1005223947 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-91G |a DE-83 |a DE-11 |a DE-188 | ||
| 082 | 0 | |a 006.33 |2 22/ger | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 616f |2 stub | ||
| 084 | |a DAT 310f |2 stub | ||
| 245 | 1 | 0 | |a Reasoning web |b semantic technologies for software engineering ; 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010 ; tutorial lectures |c Uwe Aßmann ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2010 | |
| 300 | |a VII, 181 S. |b graph. Darst. |c 24 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 6325 : Tutorial | |
| 500 | |a Literaturangaben | ||
| 650 | 0 | 7 | |a Ontologie |g Wissensverarbeitung |0 (DE-588)4827894-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Wissensverarbeitung |0 (DE-588)4286963-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Terminologische Logik |0 (DE-588)4359506-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Abfragesprache |0 (DE-588)4134011-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a OWL |g Informatik |0 (DE-588)4396527-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Semantic Web |0 (DE-588)4688372-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Modellgetriebene Entwicklung |0 (DE-588)4832365-2 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2010 |z Dresden |2 gnd-content | |
| 689 | 0 | 0 | |a Semantic Web |0 (DE-588)4688372-1 |D s |
| 689 | 0 | 1 | |a Terminologische Logik |0 (DE-588)4359506-6 |D s |
| 689 | 0 | 2 | |a Wissensverarbeitung |0 (DE-588)4286963-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Modellgetriebene Entwicklung |0 (DE-588)4832365-2 |D s |
| 689 | 1 | 1 | |a Ontologie |g Wissensverarbeitung |0 (DE-588)4827894-4 |D s |
| 689 | 1 | 2 | |a OWL |g Informatik |0 (DE-588)4396527-1 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Semantic Web |0 (DE-588)4688372-1 |D s |
| 689 | 2 | 1 | |a Abfragesprache |0 (DE-588)4134011-5 |D s |
| 689 | 2 | |5 DE-604 | |
| 700 | 1 | |a Aßmann, Uwe |e Sonstige |0 (DE-588)1252468199 |4 oth | |
| 711 | 2 | |a Summer School Reasoning Web |n 6 |d 2010 |c Dresden |j Sonstige |0 (DE-588)16080710-4 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-642-15543-7 |
| 830 | 0 | |a Lecture notes in computer science |v 6325 : Tutorial |w (DE-604)BV000000607 |9 6325 | |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=3518853&prov=M&dok_var=1&dok_ext=htm |3 Inhaltstext |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020573159&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-020573159 | |
Datensatz im Suchindex
| _version_ | 1820875260048703488 |
|---|---|
| adam_text |
TABLE OF CONTENTS REASONING AND EXPLANATION IN EC AND IN EXPRESSIVE
DESCRIPTION LOGICS 1 ANNI-YASMIN TURHAN HYBRID REASONING WITH
NON-MONOTONIC RULES 28 WLODZIMIERZ DRABENT MODEL DRIVEN ENGINEERING WITH
ONTOLOGY TECHNOLOGIES 62 STEFFEN STAAB, TOBIAS WALTER, GERD GROENER, AND
FERNANDO SILVA PARREIRAS COMBINING ONTOLOGIES WITH DOMAIN SPECIFIC
LANGUAGES: A CASE STUDY FROM NETWORK CONFIGURATION SOFTWARE 99 KRZYSZTOF
MIKSA, PAWEL SABINA, AND MAREK KASZTELNIK BRIDGING QUERY LANGUAGES IN
SEMANTIC AND GRAPH TECHNOLOGIES 119 HANNES SCHWARZ AND JUERGEN EBERT
SEMANTIC BUSINESS PROCESS ENGINEERING 161 JENS LEMCKE, TIRDAD RAHMANI,
AND ANDREAS FRIESEN AUTHOR INDEX 183 BIBLIOGRAFISCHE INFORMATIONEN
HTTP://D-NB.INFO/1005223947 DIGITALISIERT DURCH |
| any_adam_object | 1 |
| author_GND | (DE-588)1252468199 |
| building | Verbundindex |
| bvnumber | BV036653697 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 616f DAT 310f |
| ctrlnum | (OCoLC)699603495 (DE-599)DNB1005223947 |
| dewey-full | 006.33 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 006 - Special computer methods |
| dewey-raw | 006.33 |
| dewey-search | 006.33 |
| dewey-sort | 16.33 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV036653697</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20220224</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">100906s2010 xx d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">10,N31</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">10,A36</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1005223947</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642155420</subfield><subfield code="c">kart. : EUR 49.22 (freier Pr.), sfr 66.00 (freier Pr.)</subfield><subfield code="9">978-3-642-15542-0</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642155420</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">80021392</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)699603495</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1005223947</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.33</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 616f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 310f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Reasoning web</subfield><subfield code="b">semantic technologies for software engineering ; 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010 ; tutorial lectures</subfield><subfield code="c">Uwe Aßmann ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VII, 181 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">24 cm</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">6325 : Tutorial</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Ontologie</subfield><subfield code="g">Wissensverarbeitung</subfield><subfield code="0">(DE-588)4827894-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Wissensverarbeitung</subfield><subfield code="0">(DE-588)4286963-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Terminologische Logik</subfield><subfield code="0">(DE-588)4359506-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Abfragesprache</subfield><subfield code="0">(DE-588)4134011-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">OWL</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4396527-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Semantic Web</subfield><subfield code="0">(DE-588)4688372-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Modellgetriebene Entwicklung</subfield><subfield code="0">(DE-588)4832365-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2010</subfield><subfield code="z">Dresden</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Semantic Web</subfield><subfield code="0">(DE-588)4688372-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Terminologische Logik</subfield><subfield code="0">(DE-588)4359506-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Wissensverarbeitung</subfield><subfield code="0">(DE-588)4286963-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Modellgetriebene Entwicklung</subfield><subfield code="0">(DE-588)4832365-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Ontologie</subfield><subfield code="g">Wissensverarbeitung</subfield><subfield code="0">(DE-588)4827894-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">OWL</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4396527-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Semantic Web</subfield><subfield code="0">(DE-588)4688372-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Abfragesprache</subfield><subfield code="0">(DE-588)4134011-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Aßmann, Uwe</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1252468199</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">Summer School Reasoning Web</subfield><subfield code="n">6</subfield><subfield code="d">2010</subfield><subfield code="c">Dresden</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16080710-4</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-3-642-15543-7</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">6325 : Tutorial</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6325</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=3518853&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020573159&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-020573159</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2010 Dresden gnd-content |
| genre_facet | Konferenzschrift 2010 Dresden |
| id | DE-604.BV036653697 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:12:47Z |
| institution | BVB |
| institution_GND | (DE-588)16080710-4 |
| isbn | 9783642155420 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-020573159 |
| oclc_num | 699603495 |
| open_access_boolean | |
| owner | DE-706 DE-91G DE-BY-TUM DE-83 DE-11 DE-188 |
| owner_facet | DE-706 DE-91G DE-BY-TUM DE-83 DE-11 DE-188 |
| physical | VII, 181 S. graph. Darst. 24 cm |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Reasoning web semantic technologies for software engineering ; 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010 ; tutorial lectures Uwe Aßmann ... (eds.) Berlin [u.a.] Springer 2010 VII, 181 S. graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 6325 : Tutorial Literaturangaben Ontologie Wissensverarbeitung (DE-588)4827894-4 gnd rswk-swf Wissensverarbeitung (DE-588)4286963-8 gnd rswk-swf Terminologische Logik (DE-588)4359506-6 gnd rswk-swf Abfragesprache (DE-588)4134011-5 gnd rswk-swf OWL Informatik (DE-588)4396527-1 gnd rswk-swf Semantic Web (DE-588)4688372-1 gnd rswk-swf Modellgetriebene Entwicklung (DE-588)4832365-2 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2010 Dresden gnd-content Semantic Web (DE-588)4688372-1 s Terminologische Logik (DE-588)4359506-6 s Wissensverarbeitung (DE-588)4286963-8 s DE-604 Modellgetriebene Entwicklung (DE-588)4832365-2 s Ontologie Wissensverarbeitung (DE-588)4827894-4 s OWL Informatik (DE-588)4396527-1 s Abfragesprache (DE-588)4134011-5 s Aßmann, Uwe Sonstige (DE-588)1252468199 oth Summer School Reasoning Web 6 2010 Dresden Sonstige (DE-588)16080710-4 oth Erscheint auch als Online-Ausgabe 978-3-642-15543-7 Lecture notes in computer science 6325 : Tutorial (DE-604)BV000000607 6325 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3518853&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020573159&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Reasoning web semantic technologies for software engineering ; 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010 ; tutorial lectures Lecture notes in computer science Ontologie Wissensverarbeitung (DE-588)4827894-4 gnd Wissensverarbeitung (DE-588)4286963-8 gnd Terminologische Logik (DE-588)4359506-6 gnd Abfragesprache (DE-588)4134011-5 gnd OWL Informatik (DE-588)4396527-1 gnd Semantic Web (DE-588)4688372-1 gnd Modellgetriebene Entwicklung (DE-588)4832365-2 gnd |
| subject_GND | (DE-588)4827894-4 (DE-588)4286963-8 (DE-588)4359506-6 (DE-588)4134011-5 (DE-588)4396527-1 (DE-588)4688372-1 (DE-588)4832365-2 (DE-588)1071861417 |
| title | Reasoning web semantic technologies for software engineering ; 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010 ; tutorial lectures |
| title_auth | Reasoning web semantic technologies for software engineering ; 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010 ; tutorial lectures |
| title_exact_search | Reasoning web semantic technologies for software engineering ; 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010 ; tutorial lectures |
| title_full | Reasoning web semantic technologies for software engineering ; 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010 ; tutorial lectures Uwe Aßmann ... (eds.) |
| title_fullStr | Reasoning web semantic technologies for software engineering ; 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010 ; tutorial lectures Uwe Aßmann ... (eds.) |
| title_full_unstemmed | Reasoning web semantic technologies for software engineering ; 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010 ; tutorial lectures Uwe Aßmann ... (eds.) |
| title_short | Reasoning web |
| title_sort | reasoning web semantic technologies for software engineering 6th international summer school 2010 dresden germany august 30 september 3 2010 tutorial lectures |
| title_sub | semantic technologies for software engineering ; 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010 ; tutorial lectures |
| topic | Ontologie Wissensverarbeitung (DE-588)4827894-4 gnd Wissensverarbeitung (DE-588)4286963-8 gnd Terminologische Logik (DE-588)4359506-6 gnd Abfragesprache (DE-588)4134011-5 gnd OWL Informatik (DE-588)4396527-1 gnd Semantic Web (DE-588)4688372-1 gnd Modellgetriebene Entwicklung (DE-588)4832365-2 gnd |
| topic_facet | Ontologie Wissensverarbeitung Wissensverarbeitung Terminologische Logik Abfragesprache OWL Informatik Semantic Web Modellgetriebene Entwicklung Konferenzschrift 2010 Dresden |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=3518853&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020573159&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT aßmannuwe reasoningwebsemantictechnologiesforsoftwareengineering6thinternationalsummerschool2010dresdengermanyaugust30september32010tutoriallectures AT summerschoolreasoningwebdresden reasoningwebsemantictechnologiesforsoftwareengineering6thinternationalsummerschool2010dresdengermanyaugust30september32010tutoriallectures |