Web reasoning and rule systems: 7th international conference, RR 2013, Mannheim, Germany, July 27 - 29, 2013 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2013
|
| Schriftenreihe: | Lecture notes in computer science
7994 |
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
| Beschreibung: | XIII, 272 S. graph. Darst. 235 mm x 155 mm |
| ISBN: | 3642396658 9783642396656 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV041185678 | ||
| 003 | DE-604 | ||
| 005 | 20140306 | ||
| 007 | t | ||
| 008 | 130724s2013 gw d||| |||| 10||| eng d | ||
| 015 | |a 13,N26 |2 dnb | ||
| 016 | 7 | |a 103632561X |2 DE-101 | |
| 020 | |a 3642396658 |9 3-642-39665-8 | ||
| 020 | |a 9783642396656 |c Pb. : EUR 49.22 (DE) (freier Pr.), EUR 50.60 (AT) (freier Pr.), sfr 61.50 (freier Pr.) |9 978-3-642-39665-6 | ||
| 024 | 3 | |a 9783642396656 | |
| 028 | 5 | 2 | |a Best.-Nr.: 86294617 |
| 035 | |a (OCoLC)858892851 | ||
| 035 | |a (DE-599)DNB103632561X | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-83 |a DE-11 |a DE-91G | ||
| 082 | 0 | |a 006.332 |2 22/ger | |
| 084 | |a SS 4800 |0 (DE-625)143528: |2 rvk | ||
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 703f |2 stub | ||
| 084 | |a DAT 616f |2 stub | ||
| 245 | 1 | 0 | |a Web reasoning and rule systems |b 7th international conference, RR 2013, Mannheim, Germany, July 27 - 29, 2013 ; proceedings |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2013 | |
| 300 | |a XIII, 272 S. |b graph. Darst. |c 235 mm x 155 mm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 7994 | |
| 650 | 0 | 7 | |a Ontologie |g Wissensverarbeitung |0 (DE-588)4827894-4 |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 Semantic Web |0 (DE-588)4688372-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Wissensrepräsentationssprache |0 (DE-588)4138762-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Inferenz |g Künstliche Intelligenz |0 (DE-588)4333533-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Produktionsregelsystem |0 (DE-588)4258171-0 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2013 |z Mannheim |2 gnd-content | |
| 689 | 0 | 0 | |a Semantic Web |0 (DE-588)4688372-1 |D s |
| 689 | 0 | 1 | |a Ontologie |g Wissensverarbeitung |0 (DE-588)4827894-4 |D s |
| 689 | 0 | 2 | |a Terminologische Logik |0 (DE-588)4359506-6 |D s |
| 689 | 0 | 3 | |a Wissensrepräsentationssprache |0 (DE-588)4138762-4 |D s |
| 689 | 0 | 4 | |a Produktionsregelsystem |0 (DE-588)4258171-0 |D s |
| 689 | 0 | 5 | |a Inferenz |g Künstliche Intelligenz |0 (DE-588)4333533-0 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Faber, Wolfgang |d 1974- |e Sonstige |0 (DE-588)135978548 |4 oth | |
| 711 | 2 | |a RR |n 7 |d 2013 |c Mannheim |j Sonstige |0 (DE-588)1037423763 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-642-39666-3 |
| 830 | 0 | |a Lecture notes in computer science |v 7994 |w (DE-604)BV000000607 |9 7994 | |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=4369940&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=026160863&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-026160863 | |
Datensatz im Suchindex
| _version_ | 1806325434304954368 |
|---|---|
| adam_text |
TABLE OF CONTENTS
INVITED TALKS
INCONSISTENCY MANAGEMENT FOR DESCRIPTION LOGIC PROGRAMS AND
BEYOND 1
THOMAS EITCR, MICHAEL FINK, AND DARIA STEPANOVA
REASONING ABOUT PATTERN-BASED XML QUERIES 4
AMELIA GHEERBRANT, LEONID LIBKIN, AND CRISTINA SIRANGELO
ANSWER SET PROGRAMMING: LANGUAGE, APPLICATIONS AND DEVELOPMENT
TOOLS 19
GIOVANNI GRASSO, NICOLA LEONE, AND FRANCESCO RICCA
FULL PAPERS
A VARIANT OF EARLEY DEDUCTION WITH PARTIAL EVALUATION 35
STEFAN BRASS AND HEIKE STEPHAN
VERIFICATION AND SYNTHESIS IN DESCRIPTION LOGIC BASED DYNAMIC
SYSTEMS 50
DIEGO CALVANESE, GIUSEPPE DE GIACOMO, MARCO MONTALI, AND
FABIO PATRIZI
TOWARDS AN EFFICIENT ALGORITHM TO REASON OVER DESCRIPTION LOGICS
EXTENDED WITH NOMINAL SCHEMAS 65
DAVID CARRAL, CONG WANG, AND PASCAL HITZLER
COMPUTING INCOHERENCE EXPLANATIONS FOR LEARNED ONTOLOGIES 80
DANIEL FLEISCHHACKER, CHRISTIAN MEILICKE, JOHANNA VOLKER, AND
MATHIAS NIEPERT
AN ONTOLOGY-BASED REASONING APPROACH FOR ELECTRIC POWER UTILITIES. 95
MOHAMED GAHA,, ARNAUD ZINFLOU, CHRISTIAN LANGHEIT,
ALEXANDRE BOUFFARD, MATHIEU VIA/A, AND, LUC VOULIGNY
CONJUNCTIVE QUERIES WITH NEGATION OVER DL-LITE: A CLOSER LOOK 109
VICTOR GUTIERREZ-BASULTO. YAZMVN IBANEZ- GARCIA,
ROMAN KONTCHAKOV, AND EGOR V. KOSTYLEV
ON THE EXPLORATION OF THE QUERY REWRITING SPACE WITH EXISTENTIAL
RULES 123
MELANIE KONIG, MICHEL LECLERE, MARIE-LAURE MUGNIER, AND
MICHAEL THOMAZO
HTTP://D-NB.INFO/103632561X
XII TABLE OF CONTENTS
INCOMPLETE INFORMATION IN RDF 138
CHARALAMPOS NIKOLAOU AND MANOLIS KOUBARAKIS
RIO: MINIMIZING USER INTERACTION IN ONTOLOGY DEBUGGING 153
PATRICK RODLER, KOSTYANTYN SHCHEKOTYKHIN, PHILIPP FLEISS, AND
GERHARD, FRIED,RICH
ELIMINATING NONMONOTONIC DL-ATOMS IN DESCRIPTION LOGIC PROGRAMS . . 168
YISONG WANG, THOMAS EITER, JIA-HUA,I YOU, LIYA,N YUAN, AND
YI-DONG SHEN
BUNDLE: A REASONER FOR PROBABILISTIC ONTOLOGIES 183
FABRIZIO RIGUZZI, ELENA BELLODI, EVELINA LAMMA, AND RICCARDO ZESE
TECHNICAL COMMUNICATIONS
DETECTION OF INCONSISTENCIES IN RULES DUE TO CHANGES IN ONTOLOGIES:
LET'S GET FORMAL 198
BRUNO BERSTEL-DA SILVA, AND, AMINA CHNITI
RULE REVISION IN NORMAL DL LOGIC PROGRAMS 204
SEBASTIAN BINNEWIES, YISONG WANG, BELA STA.NTIC, AND KEWEN WANG
OBDA AND INTERMODAL LOGISTICS: ACTIVE PROJECTS AND APPLICATIONS 210
JEAN-REMI BOURGUET, GIUSEPPE CICALA, LUCA, PULINA, AND
ARMANDO TACCHELLA
SEMANTIC PERVASIVE ADVERTISING 216
LORENZO CARRARA, GIORGIO ORSI, AND LETIZIA, TANCA
SEMANTICS FOR MAPPING RELATIONS IN SKOS 223
MIKA COHEN
FROM OWL TO DL-LITE THROUGH EFFICIENT ONTOLOGY APPROXIMATION 229
MARCO CONSOLE, VALERIO SANTARELLI, AND DOMENICO FABIO SAVO
PQMPMS: A PREFERENCE-ENABLED QUERYING MECHANISM FOR PERSONALIZED
MOBILE SEARCH 235
BEIBEI HU, YVES VANROMPAY, AND MARIE-AUDE AUFAURE
KIABORA: AN ANALYZER OF EXISTENTIAL RULE BASES 241
MICHEL LECLERE, MARIE-LAWE MUGNIER, AND SWAN, ROCHER
STREARNRULE: A NONMONOTONIC STREAM REASONING SYSTEM FOR THE
SEMANTIC WEB 247
ALESSANDRA MILEO, AHMED ABDELRAHMAN, SEAN POLICARPIO, AND
* MANFRED HAUSWIRTH,
TABLE OF CONTENTS XIII
AN INTEGRATED ENVIRONMENT, FOR REASONING OVER ONTOLOGIES VIA LOGIC
P ROGR AMRNING 253
BARBARA NARDI, KRISTIAN REALE, FRANCESCO RICCA, AND
GIORGIO TERRACINA
HORN-DL: AN EXPRESSIVE HORN DESCRIPTION LOGIC WITH PTIME DATA
COMPLEXITY 259
LINK ANH NGUYEN, THI-BICH-LOC NGUYEN, AND ANDRZEJ SZALAS
PARAMETER LEARNING FOR PROBABILISTIC ONTOLOGIES 265
FABRIZIO RIGUZZI, ELENA BELLODI, EVELINA LAMRNA, AND RICCARDO ZESE
AUTHOR INDEX 271 |
| any_adam_object | 1 |
| author_GND | (DE-588)135978548 |
| building | Verbundindex |
| bvnumber | BV041185678 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 703f DAT 616f |
| ctrlnum | (OCoLC)858892851 (DE-599)DNB103632561X |
| dewey-full | 006.332 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 006 - Special computer methods |
| dewey-raw | 006.332 |
| dewey-search | 006.332 |
| dewey-sort | 16.332 |
| 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">BV041185678</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140306</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">130724s2013 gw d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">13,N26</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">103632561X</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642396658</subfield><subfield code="9">3-642-39665-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642396656</subfield><subfield code="c">Pb. : EUR 49.22 (DE) (freier Pr.), EUR 50.60 (AT) (freier Pr.), sfr 61.50 (freier Pr.)</subfield><subfield code="9">978-3-642-39665-6</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642396656</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 86294617</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)858892851</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB103632561X</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.332</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 4800</subfield><subfield code="0">(DE-625)143528:</subfield><subfield code="2">rvk</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 703f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 616f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Web reasoning and rule systems</subfield><subfield code="b">7th international conference, RR 2013, Mannheim, Germany, July 27 - 29, 2013 ; proceedings</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 272 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">235 mm x 155 mm</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">7994</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">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">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">Wissensrepräsentationssprache</subfield><subfield code="0">(DE-588)4138762-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Inferenz</subfield><subfield code="g">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4333533-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Produktionsregelsystem</subfield><subfield code="0">(DE-588)4258171-0</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">2013</subfield><subfield code="z">Mannheim</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">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="0" ind2="2"><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="3"><subfield code="a">Wissensrepräsentationssprache</subfield><subfield code="0">(DE-588)4138762-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Produktionsregelsystem</subfield><subfield code="0">(DE-588)4258171-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="5"><subfield code="a">Inferenz</subfield><subfield code="g">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4333533-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Faber, Wolfgang</subfield><subfield code="d">1974-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)135978548</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">RR</subfield><subfield code="n">7</subfield><subfield code="d">2013</subfield><subfield code="c">Mannheim</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1037423763</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-39666-3</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">7994</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">7994</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=4369940&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=026160863&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-026160863</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2013 Mannheim gnd-content |
| genre_facet | Konferenzschrift 2013 Mannheim |
| id | DE-604.BV041185678 |
| illustrated | Illustrated |
| indexdate | 2024-08-03T00:49:33Z |
| institution | BVB |
| institution_GND | (DE-588)1037423763 |
| isbn | 3642396658 9783642396656 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-026160863 |
| oclc_num | 858892851 |
| open_access_boolean | |
| owner | DE-83 DE-11 DE-91G DE-BY-TUM |
| owner_facet | DE-83 DE-11 DE-91G DE-BY-TUM |
| physical | XIII, 272 S. graph. Darst. 235 mm x 155 mm |
| publishDate | 2013 |
| publishDateSearch | 2013 |
| publishDateSort | 2013 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Web reasoning and rule systems 7th international conference, RR 2013, Mannheim, Germany, July 27 - 29, 2013 ; proceedings Berlin [u.a.] Springer 2013 XIII, 272 S. graph. Darst. 235 mm x 155 mm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 7994 Ontologie Wissensverarbeitung (DE-588)4827894-4 gnd rswk-swf Terminologische Logik (DE-588)4359506-6 gnd rswk-swf Semantic Web (DE-588)4688372-1 gnd rswk-swf Wissensrepräsentationssprache (DE-588)4138762-4 gnd rswk-swf Inferenz Künstliche Intelligenz (DE-588)4333533-0 gnd rswk-swf Produktionsregelsystem (DE-588)4258171-0 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2013 Mannheim gnd-content Semantic Web (DE-588)4688372-1 s Ontologie Wissensverarbeitung (DE-588)4827894-4 s Terminologische Logik (DE-588)4359506-6 s Wissensrepräsentationssprache (DE-588)4138762-4 s Produktionsregelsystem (DE-588)4258171-0 s Inferenz Künstliche Intelligenz (DE-588)4333533-0 s DE-604 Faber, Wolfgang 1974- Sonstige (DE-588)135978548 oth RR 7 2013 Mannheim Sonstige (DE-588)1037423763 oth Erscheint auch als Online-Ausgabe 978-3-642-39666-3 Lecture notes in computer science 7994 (DE-604)BV000000607 7994 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=4369940&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=026160863&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Web reasoning and rule systems 7th international conference, RR 2013, Mannheim, Germany, July 27 - 29, 2013 ; proceedings Lecture notes in computer science Ontologie Wissensverarbeitung (DE-588)4827894-4 gnd Terminologische Logik (DE-588)4359506-6 gnd Semantic Web (DE-588)4688372-1 gnd Wissensrepräsentationssprache (DE-588)4138762-4 gnd Inferenz Künstliche Intelligenz (DE-588)4333533-0 gnd Produktionsregelsystem (DE-588)4258171-0 gnd |
| subject_GND | (DE-588)4827894-4 (DE-588)4359506-6 (DE-588)4688372-1 (DE-588)4138762-4 (DE-588)4333533-0 (DE-588)4258171-0 (DE-588)1071861417 |
| title | Web reasoning and rule systems 7th international conference, RR 2013, Mannheim, Germany, July 27 - 29, 2013 ; proceedings |
| title_auth | Web reasoning and rule systems 7th international conference, RR 2013, Mannheim, Germany, July 27 - 29, 2013 ; proceedings |
| title_exact_search | Web reasoning and rule systems 7th international conference, RR 2013, Mannheim, Germany, July 27 - 29, 2013 ; proceedings |
| title_full | Web reasoning and rule systems 7th international conference, RR 2013, Mannheim, Germany, July 27 - 29, 2013 ; proceedings |
| title_fullStr | Web reasoning and rule systems 7th international conference, RR 2013, Mannheim, Germany, July 27 - 29, 2013 ; proceedings |
| title_full_unstemmed | Web reasoning and rule systems 7th international conference, RR 2013, Mannheim, Germany, July 27 - 29, 2013 ; proceedings |
| title_short | Web reasoning and rule systems |
| title_sort | web reasoning and rule systems 7th international conference rr 2013 mannheim germany july 27 29 2013 proceedings |
| title_sub | 7th international conference, RR 2013, Mannheim, Germany, July 27 - 29, 2013 ; proceedings |
| topic | Ontologie Wissensverarbeitung (DE-588)4827894-4 gnd Terminologische Logik (DE-588)4359506-6 gnd Semantic Web (DE-588)4688372-1 gnd Wissensrepräsentationssprache (DE-588)4138762-4 gnd Inferenz Künstliche Intelligenz (DE-588)4333533-0 gnd Produktionsregelsystem (DE-588)4258171-0 gnd |
| topic_facet | Ontologie Wissensverarbeitung Terminologische Logik Semantic Web Wissensrepräsentationssprache Inferenz Künstliche Intelligenz Produktionsregelsystem Konferenzschrift 2013 Mannheim |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=4369940&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=026160863&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT faberwolfgang webreasoningandrulesystems7thinternationalconferencerr2013mannheimgermanyjuly27292013proceedings AT rrmannheim webreasoningandrulesystems7thinternationalconferencerr2013mannheimgermanyjuly27292013proceedings |