Web reasoning and rule systems: 7th international conference, RR 2013, Mannheim, Germany, July 27 - 29, 2013 ; proceedings
Gespeichert in:
| Format: | Elektronisch Tagungsbericht E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2013
|
| Schriftenreihe: | Lecture notes in computer science
7994 |
| Schlagworte: | |
| Online-Zugang: | Volltext Inhaltsverzeichnis Abstract |
| Beschreibung: | 1 Online-Ressource (XIII, 272 S.) graph. Darst. |
| ISBN: | 3642396658 9783642396663 |
| DOI: | 10.1007/978-3-642-39666-3 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV041420989 | ||
| 003 | DE-604 | ||
| 005 | 20140306 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 131118s2013 gw d||| o|||| 10||| eng d | ||
| 020 | |a 3642396658 |9 3-642-39665-8 | ||
| 020 | |a 9783642396663 |c eISBN |9 978-3-642-39666-3 | ||
| 024 | 7 | |a 10.1007/978-3-642-39666-3 |2 doi | |
| 024 | 3 | |a 9783642396656 | |
| 028 | 5 | 2 | |a Best.-Nr.: 86294617 |
| 035 | |a (OCoLC)858014163 | ||
| 035 | |a (DE-599)BVBBV041420989 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-473 |a DE-M347 |a DE-20 |a DE-703 |a DE-Aug4 |a DE-92 |a DE-29 |a DE-859 |a DE-91 |a DE-706 |a DE-739 |a DE-384 |a DE-634 |a DE-355 | ||
| 082 | 0 | |a 005.7 | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 703f |2 stub | ||
| 084 | |a DAT 616f |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 245 | 1 | 0 | |a Web reasoning and rule systems |b 7th international conference, RR 2013, Mannheim, Germany, July 27 - 29, 2013 ; proceedings |c Wolfgang Faber ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2013 | |
| 300 | |a 1 Online-Ressource (XIII, 272 S.) |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |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 Druck-Ausgabe, Paperback |z 978-3-642-39665-6 |
| 830 | 0 | |a Lecture notes in computer science |v 7994 |w (DE-604)BV014880109 |9 7994 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-642-39666-3 |x Verlag |3 Volltext |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026868063&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026868063&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-SCS | ||
| 912 | |a ZDB-2-LNC | ||
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-026868063 | |
Datensatz im Suchindex
| _version_ | 1820875529173073920 |
|---|---|
| adam_text |
WEB REASONING AND RULE SYSTEMS
/
: 2013
TABLE OF CONTENTS / INHALTSVERZEICHNIS
INVITED TALKS
INCONSISTENCY MANAGEMENT FOR DESCRIPTION LOGIC PROGRAMS AND BEYOND
REASONING ABOUT PATTERN-BASED XML QUERIES
ANSWER SET PROGRAMMING: LANGUAGE, APPLICATIONS AND DEVELOPMENT TOOLS
FULL PAPERS
A VARIANT OF EARLEY DEDUCTION WITH PARTIAL EVALUATION
VERIFICATION AND SYNTHESIS IN DESCRIPTION LOGIC BASED DYNAMIC SYSTEMS
TOWARDS AN EFFICIENT ALGORITHM TO REASON OVER DESCRIPTION LOGICS
EXTENDED WITH NOMINAL SCHEMAS
COMPUTING INCOHERENCE EXPLANATIONS FOR LEARNED ONTOLOGIES
AN ONTOLOGY-BASED REASONING APPROACH FOR ELECTRIC POWER UTILITIES
CONJUNCTIVE QUERIES WITH NEGATION OVER DL-LITE: A CLOSER LOOK
ON THE EXPLORATION OF THE QUERY REWRITING SPACE WITH EXISTENTIAL RULES
INCOMPLETE INFORMATION IN RDF
RIO: MINIMIZING USER INTERACTION IN ONTOLOGY DEBUGGING
ELIMINATING NONMONOTONIC DL-ATOMS IN DESCRIPTION LOGIC PROGRAMS
BUNDLE: A REASONER FOR PROBABILISTIC ONTOLOGIES
TECHNICAL COMMUNICATIONS
DETECTION OF INCONSISTENCIES IN RULES DUE TO CHANGES IN ONTOLOGIES:
LET’S GET FORMAL
RULE REVISION IN NORMAL DL LOGIC PROGRAMS
OBDA AND INTERMODAL LOGISTICS: ACTIVE PROJECTS AND APPLICATIONS
SEMANTIC PERVASIVE ADVERTISING
SEMANTICS FOR MAPPING RELATIONS IN SKOS
FROM OWL TO DL-LITE THROUGH EFFICIENT ONTOLOGY APPROXIMATION
PQMPMS: A PREFERENCE-ENABLED QUERYING MECHANISM FOR PERSONALIZED MOBILE
SEARCH
AN ANALYZER OF EXISTENTIAL RULE BASES
STREAM RULE: A NONMONOTONIC STREAM REASONING SYSTEM FOR THE SEMANTIC
WEB.-AN INTEGRATED ENVIRONMENT FOR REASONING OVER ONTOLOGIES VIA LOGIC
PROGRAMMING
HORN-DL: AN EXPRESSIVE HORN DESCRIPTION LOGIC WITH PTIME DATA COMPLEXITY
PARAMETER LEARNING FOR PROBABILISTIC ONTOLOGIES
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
WEB REASONING AND RULE SYSTEMS
/
: 2013
ABSTRACT / INHALTSTEXT
THIS BOOK CONSTITUTES THE REFEREED PROCEEDINGS OF THE 7TH INTERNATIONAL
CONFERENCE ON WEB REASONING AND RULE SYSTEMS, RR 2013, HELD IN MANHEIM,
GERMANY IN JULY 2013. THE 19 REVISED RESEARCH PAPERS AND 4 TECHNICAL
COMMUNICATIONS PRESENTED TOGETHER WITH 2 INVITED TALKS AND 1 TUTORIAL
TALK WERE CAREFULLY REVIEWED AND SELECTED FROM 34 SUBMISSIONS. THE SCOPE
OF CONFERENCE IS DECISION MAKING, PLANNING, AND INTELLIGENT AGENTS,
REASONING, MACHINE LEARNING, KNOWLEDGE EXTRACTION AND IR TECHNOLOGIES,
LARGE-SCALE DATA MANAGEMENT AND REASONING ON THE WEB OF DATA, DATA
INTEGRATION, DATASPACES AND ONTOLOGY-BASED DATA ACCESS, NON-STANDARD
REASONING, ALGORITHMS FOR DISTRIBUTED, PARALLELIZED, AND SCALABLE
REASONING, AND SYSTEM DESCRIPTIONS AND EXPERIMENTATION
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. |
| any_adam_object | 1 |
| author_GND | (DE-588)135978548 |
| building | Verbundindex |
| bvnumber | BV041420989 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 703f DAT 616f DAT 000 |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (OCoLC)858014163 (DE-599)BVBBV041420989 |
| dewey-full | 005.7 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.7 |
| dewey-search | 005.7 |
| dewey-sort | 15.7 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-642-39666-3 |
| format | Electronic Conference Proceeding eBook |
| 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">BV041420989</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140306</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">131118s2013 gw d||| o|||| 10||| eng d</controlfield><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">9783642396663</subfield><subfield code="c">eISBN</subfield><subfield code="9">978-3-642-39666-3</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-39666-3</subfield><subfield code="2">doi</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)858014163</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV041420989</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-473</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.7</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="084" ind1=" " ind2=" "><subfield code="a">DAT 000</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><subfield code="c">Wolfgang Faber ... (eds.)</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">1 Online-Ressource (XIII, 272 S.)</subfield><subfield code="b">graph. Darst.</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</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">Druck-Ausgabe, Paperback</subfield><subfield code="z">978-3-642-39665-6</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)BV014880109</subfield><subfield code="9">7994</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-39666-3</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=026868063&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=026868063&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-026868063</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2013 Mannheim gnd-content |
| genre_facet | Konferenzschrift 2013 Mannheim |
| id | DE-604.BV041420989 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:17:04Z |
| institution | BVB |
| institution_GND | (DE-588)1037423763 |
| isbn | 3642396658 9783642396663 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-026868063 |
| oclc_num | 858014163 |
| open_access_boolean | |
| owner | DE-473 DE-BY-UBG DE-M347 DE-20 DE-703 DE-Aug4 DE-92 DE-29 DE-859 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-634 DE-355 DE-BY-UBR |
| owner_facet | DE-473 DE-BY-UBG DE-M347 DE-20 DE-703 DE-Aug4 DE-92 DE-29 DE-859 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-634 DE-355 DE-BY-UBR |
| physical | 1 Online-Ressource (XIII, 272 S.) graph. Darst. |
| psigel | ZDB-2-SCS ZDB-2-LNC |
| 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 Wolfgang Faber ... (eds.) Berlin [u.a.] Springer 2013 1 Online-Ressource (XIII, 272 S.) graph. Darst. txt rdacontent c rdamedia cr 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 Druck-Ausgabe, Paperback 978-3-642-39665-6 Lecture notes in computer science 7994 (DE-604)BV014880109 7994 https://doi.org/10.1007/978-3-642-39666-3 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026868063&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026868063&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| 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 Wolfgang Faber ... (eds.) |
| title_fullStr | Web reasoning and rule systems 7th international conference, RR 2013, Mannheim, Germany, July 27 - 29, 2013 ; proceedings Wolfgang Faber ... (eds.) |
| title_full_unstemmed | Web reasoning and rule systems 7th international conference, RR 2013, Mannheim, Germany, July 27 - 29, 2013 ; proceedings Wolfgang Faber ... (eds.) |
| 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 | https://doi.org/10.1007/978-3-642-39666-3 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026868063&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026868063&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT faberwolfgang webreasoningandrulesystems7thinternationalconferencerr2013mannheimgermanyjuly27292013proceedings AT rrmannheim webreasoningandrulesystems7thinternationalconferencerr2013mannheimgermanyjuly27292013proceedings |