Document (#40935)

Editor
Ianni, G. et al.
Title
Reasoning Web : Semantic Interoperability on the Web, 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures
Imprint
Cham : Springer International Publishing
Year
2017
Pages
XI, 347 S
Isbn
978-3-319-61032-0
Series
Lecture Notes in Computer Scienc;10370 )(Information Systems and Applications, incl. Internet/Web, and HCI
Abstract
This volume contains the lecture notes of the 13th Reasoning Web Summer School, RW 2017, held in London, UK, in July 2017. In 2017, the theme of the school was "Semantic Interoperability on the Web", which encompasses subjects such as data integration, open data management, reasoning over linked data, database to ontology mapping, query answering over ontologies, hybrid reasoning with rules and ontologies, and ontology-based dynamic systems. The papers of this volume focus on these topics and also address foundational reasoning techniques used in answer set programming and ontologies.
Content
Neumaier, Sebastian (et al.): Data Integration for Open Data on the Web - Stamou, Giorgos (et al.): Ontological Query Answering over Semantic Data - Calì, Andrea: Ontology Querying: Datalog Strikes Back - Sequeda, Juan F.: Integrating Relational Databases with the Semantic Web: A Reflection - Rousset, Marie-Christine (et al.): Datalog Revisited for Reasoning in Linked Data - Kaminski, Roland (et al.): A Tutorial on Hybrid Answer Set Solving with clingo - Eiter, Thomas (et al.): Answer Set Programming with External Source Access - Lukasiewicz, Thomas: Uncertainty Reasoning for the Semantic Web - Calvanese, Diego (et al.): OBDA for Log Extraction in Process Mining
Theme
Wissensrepräsentation
Semantic Web
Semantische Interoperabilität
LCSH
Computer science
Mathematical logic
Database management
Information storage and retrieval
Artificial intelligence
Computer Science
Mathematical Logic and Formal Languages
RSWK
RDF <Informatik> / Terminologische Logik
Terminologische Logik
OWL <Informatik>
Ontologie <Wissensverarbeitung> / Semantic Web
RVK
SS 4800

Similar documents (content)

  1. Arp, R.; Smith, B.; Spear, A.D.: Building ontologies with basic formal ontology (2015) 0.36
    0.36421436 = sum of:
      0.36421436 = product of:
        1.1381699 = sum of:
          0.713612 = weight(subject_txt:wissensverarbeitung in 3444) [ClassicSimilarity], result of:
            0.713612 = score(doc=3444,freq=1.0), product of:
              0.13530129 = queryWeight, product of:
                1.0783452 = boost
                8.43879 = idf(docFreq=25, maxDocs=44218)
                0.01486839 = queryNorm
              5.274244 = fieldWeight in 3444, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                8.43879 = idf(docFreq=25, maxDocs=44218)
                0.625 = fieldNorm(doc=3444)
          0.018160447 = weight(abstract_txt:over in 3444) [ClassicSimilarity], result of:
            0.018160447 = score(doc=3444,freq=1.0), product of:
              0.06845758 = queryWeight, product of:
                1.0847573 = boost
                4.244485 = idf(docFreq=1723, maxDocs=44218)
                0.01486839 = queryNorm
              0.2652803 = fieldWeight in 3444, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.244485 = idf(docFreq=1723, maxDocs=44218)
                0.0625 = fieldNorm(doc=3444)
          0.027038215 = weight(abstract_txt:computer in 3444) [ClassicSimilarity], result of:
            0.027038215 = score(doc=3444,freq=2.0), product of:
              0.07084554 = queryWeight, product of:
                1.1035146 = boost
                4.317879 = idf(docFreq=1601, maxDocs=44218)
                0.01486839 = queryNorm
              0.3816502 = fieldWeight in 3444, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                4.317879 = idf(docFreq=1601, maxDocs=44218)
                0.0625 = fieldNorm(doc=3444)
          0.018709913 = weight(abstract_txt:data in 3444) [ClassicSimilarity], result of:
            0.018709913 = score(doc=3444,freq=2.0), product of:
              0.06344617 = queryWeight, product of:
                1.2789989 = boost
                3.3363478 = idf(docFreq=4274, maxDocs=44218)
                0.01486839 = queryNorm
              0.29489428 = fieldWeight in 3444, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                3.3363478 = idf(docFreq=4274, maxDocs=44218)
                0.0625 = fieldNorm(doc=3444)
          0.11368889 = weight(abstract_txt:ontology in 3444) [ClassicSimilarity], result of:
            0.11368889 = score(doc=3444,freq=8.0), product of:
              0.116265945 = queryWeight, product of:
                1.4136702 = boost
                5.5314693 = idf(docFreq=475, maxDocs=44218)
                0.01486839 = queryNorm
              0.9778349 = fieldWeight in 3444, product of:
                2.828427 = tf(freq=8.0), with freq of:
                  8.0 = termFreq=8.0
                5.5314693 = idf(docFreq=475, maxDocs=44218)
                0.0625 = fieldNorm(doc=3444)
          0.0576291 = weight(abstract_txt:logic in 3444) [ClassicSimilarity], result of:
            0.0576291 = score(doc=3444,freq=1.0), product of:
              0.14783084 = queryWeight, product of:
                1.5940588 = boost
                6.237302 = idf(docFreq=234, maxDocs=44218)
                0.01486839 = queryNorm
              0.38983136 = fieldWeight in 3444, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.237302 = idf(docFreq=234, maxDocs=44218)
                0.0625 = fieldNorm(doc=3444)
          0.031909816 = weight(abstract_txt:semantic in 3444) [ClassicSimilarity], result of:
            0.031909816 = score(doc=3444,freq=1.0), product of:
              0.11410827 = queryWeight, product of:
                1.7152444 = boost
                4.4743214 = idf(docFreq=1369, maxDocs=44218)
                0.01486839 = queryNorm
              0.2796451 = fieldWeight in 3444, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.4743214 = idf(docFreq=1369, maxDocs=44218)
                0.0625 = fieldNorm(doc=3444)
          0.1574215 = weight(abstract_txt:ontologies in 3444) [ClassicSimilarity], result of:
            0.1574215 = score(doc=3444,freq=5.0), product of:
              0.19338387 = queryWeight, product of:
                2.2329426 = boost
                5.8247695 = idf(docFreq=354, maxDocs=44218)
                0.01486839 = queryNorm
              0.8140363 = fieldWeight in 3444, product of:
                2.236068 = tf(freq=5.0), with freq of:
                  5.0 = termFreq=5.0
                5.8247695 = idf(docFreq=354, maxDocs=44218)
                0.0625 = fieldNorm(doc=3444)
        0.32 = coord(8/25)
    
  2. Mao, M.: Ontology mapping : towards semantic interoperability in distributed and heterogeneous environments (2008) 0.17
    0.16698979 = sum of:
      0.16698979 = product of:
        0.5963921 = sum of:
          0.015890393 = weight(abstract_txt:over in 4659) [ClassicSimilarity], result of:
            0.015890393 = score(doc=4659,freq=1.0), product of:
              0.06845758 = queryWeight, product of:
                1.0847573 = boost
                4.244485 = idf(docFreq=1723, maxDocs=44218)
                0.01486839 = queryNorm
              0.23212028 = fieldWeight in 4659, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.244485 = idf(docFreq=1723, maxDocs=44218)
                0.0546875 = fieldNorm(doc=4659)
          0.011576168 = weight(abstract_txt:data in 4659) [ClassicSimilarity], result of:
            0.011576168 = score(doc=4659,freq=1.0), product of:
              0.06344617 = queryWeight, product of:
                1.2789989 = boost
                3.3363478 = idf(docFreq=4274, maxDocs=44218)
                0.01486839 = queryNorm
              0.18245652 = fieldWeight in 4659, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.3363478 = idf(docFreq=4274, maxDocs=44218)
                0.0546875 = fieldNorm(doc=4659)
          0.11121955 = weight(abstract_txt:ontology in 4659) [ClassicSimilarity], result of:
            0.11121955 = score(doc=4659,freq=10.0), product of:
              0.116265945 = queryWeight, product of:
                1.4136702 = boost
                5.5314693 = idf(docFreq=475, maxDocs=44218)
                0.01486839 = queryNorm
              0.9565961 = fieldWeight in 4659, product of:
                3.1622777 = tf(freq=10.0), with freq of:
                  10.0 = termFreq=10.0
                5.5314693 = idf(docFreq=475, maxDocs=44218)
                0.0546875 = fieldNorm(doc=4659)
          0.048194543 = weight(abstract_txt:interoperability in 4659) [ClassicSimilarity], result of:
            0.048194543 = score(doc=4659,freq=1.0), product of:
              0.14343783 = queryWeight, product of:
                1.5701953 = boost
                6.1439276 = idf(docFreq=257, maxDocs=44218)
                0.01486839 = queryNorm
              0.33599603 = fieldWeight in 4659, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.1439276 = idf(docFreq=257, maxDocs=44218)
                0.0546875 = fieldNorm(doc=4659)
          0.05584218 = weight(abstract_txt:semantic in 4659) [ClassicSimilarity], result of:
            0.05584218 = score(doc=4659,freq=4.0), product of:
              0.11410827 = queryWeight, product of:
                1.7152444 = boost
                4.4743214 = idf(docFreq=1369, maxDocs=44218)
                0.01486839 = queryNorm
              0.4893789 = fieldWeight in 4659, product of:
                2.0 = tf(freq=4.0), with freq of:
                  4.0 = termFreq=4.0
                4.4743214 = idf(docFreq=1369, maxDocs=44218)
                0.0546875 = fieldNorm(doc=4659)
          0.16298068 = weight(abstract_txt:ontologies in 4659) [ClassicSimilarity], result of:
            0.16298068 = score(doc=4659,freq=7.0), product of:
              0.19338387 = queryWeight, product of:
                2.2329426 = boost
                5.8247695 = idf(docFreq=354, maxDocs=44218)
                0.01486839 = queryNorm
              0.84278315 = fieldWeight in 4659, product of:
                2.6457512 = tf(freq=7.0), with freq of:
                  7.0 = termFreq=7.0
                5.8247695 = idf(docFreq=354, maxDocs=44218)
                0.0546875 = fieldNorm(doc=4659)
          0.19068862 = weight(abstract_txt:reasoning in 4659) [ClassicSimilarity], result of:
            0.19068862 = score(doc=4659,freq=2.0), product of:
              0.38653156 = queryWeight, product of:
                4.075532 = boost
                6.378767 = idf(docFreq=203, maxDocs=44218)
                0.01486839 = queryNorm
              0.4933326 = fieldWeight in 4659, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                6.378767 = idf(docFreq=203, maxDocs=44218)
                0.0546875 = fieldNorm(doc=4659)
        0.28 = coord(7/25)
    
  3. Stuart, D.: Practical ontologies for information professionals (2016) 0.15
    0.15313867 = sum of:
      0.15313867 = product of:
        0.7656933 = sum of:
          0.42816722 = weight(subject_txt:wissensverarbeitung in 5152) [ClassicSimilarity], result of:
            0.42816722 = score(doc=5152,freq=1.0), product of:
              0.13530129 = queryWeight, product of:
                1.0783452 = boost
                8.43879 = idf(docFreq=25, maxDocs=44218)
                0.01486839 = queryNorm
              3.1645465 = fieldWeight in 5152, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                8.43879 = idf(docFreq=25, maxDocs=44218)
                0.375 = fieldNorm(doc=5152)
          0.018709913 = weight(abstract_txt:data in 5152) [ClassicSimilarity], result of:
            0.018709913 = score(doc=5152,freq=2.0), product of:
              0.06344617 = queryWeight, product of:
                1.2789989 = boost
                3.3363478 = idf(docFreq=4274, maxDocs=44218)
                0.01486839 = queryNorm
              0.29489428 = fieldWeight in 5152, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                3.3363478 = idf(docFreq=4274, maxDocs=44218)
                0.0625 = fieldNorm(doc=5152)
          0.040195096 = weight(abstract_txt:ontology in 5152) [ClassicSimilarity], result of:
            0.040195096 = score(doc=5152,freq=1.0), product of:
              0.116265945 = queryWeight, product of:
                1.4136702 = boost
                5.5314693 = idf(docFreq=475, maxDocs=44218)
                0.01486839 = queryNorm
              0.34571683 = fieldWeight in 5152, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.5314693 = idf(docFreq=475, maxDocs=44218)
                0.0625 = fieldNorm(doc=5152)
          0.045127295 = weight(abstract_txt:semantic in 5152) [ClassicSimilarity], result of:
            0.045127295 = score(doc=5152,freq=2.0), product of:
              0.11410827 = queryWeight, product of:
                1.7152444 = boost
                4.4743214 = idf(docFreq=1369, maxDocs=44218)
                0.01486839 = queryNorm
              0.39547786 = fieldWeight in 5152, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                4.4743214 = idf(docFreq=1369, maxDocs=44218)
                0.0625 = fieldNorm(doc=5152)
          0.2334938 = weight(abstract_txt:ontologies in 5152) [ClassicSimilarity], result of:
            0.2334938 = score(doc=5152,freq=11.0), product of:
              0.19338387 = queryWeight, product of:
                2.2329426 = boost
                5.8247695 = idf(docFreq=354, maxDocs=44218)
                0.01486839 = queryNorm
              1.2074109 = fieldWeight in 5152, product of:
                3.3166249 = tf(freq=11.0), with freq of:
                  11.0 = termFreq=11.0
                5.8247695 = idf(docFreq=354, maxDocs=44218)
                0.0625 = fieldNorm(doc=5152)
        0.2 = coord(5/25)
    
  4. Euzenat, J.; Shvaiko, P.: Ontology matching (2010) 0.14
    0.14102264 = sum of:
      0.14102264 = product of:
        0.58759433 = sum of:
          0.2497642 = weight(subject_txt:wissensverarbeitung in 168) [ClassicSimilarity], result of:
            0.2497642 = score(doc=168,freq=1.0), product of:
              0.13530129 = queryWeight, product of:
                1.0783452 = boost
                8.43879 = idf(docFreq=25, maxDocs=44218)
                0.01486839 = queryNorm
              1.8459854 = fieldWeight in 168, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                8.43879 = idf(docFreq=25, maxDocs=44218)
                0.21875 = fieldNorm(doc=168)
          0.028217815 = weight(abstract_txt:database in 168) [ClassicSimilarity], result of:
            0.028217815 = score(doc=168,freq=3.0), product of:
              0.06960498 = queryWeight, product of:
                1.0938102 = boost
                4.2799077 = idf(docFreq=1663, maxDocs=44218)
                0.01486839 = queryNorm
              0.40539938 = fieldWeight in 168, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                4.2799077 = idf(docFreq=1663, maxDocs=44218)
                0.0546875 = fieldNorm(doc=168)
          0.016729042 = weight(abstract_txt:computer in 168) [ClassicSimilarity], result of:
            0.016729042 = score(doc=168,freq=1.0), product of:
              0.07084554 = queryWeight, product of:
                1.1035146 = boost
                4.317879 = idf(docFreq=1601, maxDocs=44218)
                0.01486839 = queryNorm
              0.23613402 = fieldWeight in 168, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.317879 = idf(docFreq=1601, maxDocs=44218)
                0.0546875 = fieldNorm(doc=168)
          0.086150296 = weight(abstract_txt:ontology in 168) [ClassicSimilarity], result of:
            0.086150296 = score(doc=168,freq=6.0), product of:
              0.116265945 = queryWeight, product of:
                1.4136702 = boost
                5.5314693 = idf(docFreq=475, maxDocs=44218)
                0.01486839 = queryNorm
              0.74097615 = fieldWeight in 168, product of:
                2.4494898 = tf(freq=6.0), with freq of:
                  6.0 = termFreq=6.0
                5.5314693 = idf(docFreq=475, maxDocs=44218)
                0.0546875 = fieldNorm(doc=168)
          0.05584218 = weight(abstract_txt:semantic in 168) [ClassicSimilarity], result of:
            0.05584218 = score(doc=168,freq=4.0), product of:
              0.11410827 = queryWeight, product of:
                1.7152444 = boost
                4.4743214 = idf(docFreq=1369, maxDocs=44218)
                0.01486839 = queryNorm
              0.4893789 = fieldWeight in 168, product of:
                2.0 = tf(freq=4.0), with freq of:
                  4.0 = termFreq=4.0
                4.4743214 = idf(docFreq=1369, maxDocs=44218)
                0.0546875 = fieldNorm(doc=168)
          0.15089078 = weight(abstract_txt:ontologies in 168) [ClassicSimilarity], result of:
            0.15089078 = score(doc=168,freq=6.0), product of:
              0.19338387 = queryWeight, product of:
                2.2329426 = boost
                5.8247695 = idf(docFreq=354, maxDocs=44218)
                0.01486839 = queryNorm
              0.78026557 = fieldWeight in 168, product of:
                2.4494898 = tf(freq=6.0), with freq of:
                  6.0 = termFreq=6.0
                5.8247695 = idf(docFreq=354, maxDocs=44218)
                0.0546875 = fieldNorm(doc=168)
        0.24 = coord(6/25)
    
  5. ¬The Semantic Web : research and applications ; second European Semantic WebConference, ESWC 2005, Heraklion, Crete, Greece, May 29 - June 1, 2005 ; proceedings (2005) 0.11
    0.11498307 = sum of:
      0.11498307 = product of:
        0.7186442 = sum of:
          0.21408361 = weight(subject_txt:wissensverarbeitung in 439) [ClassicSimilarity], result of:
            0.21408361 = score(doc=439,freq=1.0), product of:
              0.13530129 = queryWeight, product of:
                1.0783452 = boost
                8.43879 = idf(docFreq=25, maxDocs=44218)
                0.01486839 = queryNorm
              1.5822732 = fieldWeight in 439, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                8.43879 = idf(docFreq=25, maxDocs=44218)
                0.1875 = fieldNorm(doc=439)
          0.11168436 = weight(abstract_txt:semantic in 439) [ClassicSimilarity], result of:
            0.11168436 = score(doc=439,freq=4.0), product of:
              0.11410827 = queryWeight, product of:
                1.7152444 = boost
                4.4743214 = idf(docFreq=1369, maxDocs=44218)
                0.01486839 = queryNorm
              0.9787578 = fieldWeight in 439, product of:
                2.0 = tf(freq=4.0), with freq of:
                  4.0 = termFreq=4.0
                4.4743214 = idf(docFreq=1369, maxDocs=44218)
                0.109375 = fieldNorm(doc=439)
          0.12320181 = weight(abstract_txt:ontologies in 439) [ClassicSimilarity], result of:
            0.12320181 = score(doc=439,freq=1.0), product of:
              0.19338387 = queryWeight, product of:
                2.2329426 = boost
                5.8247695 = idf(docFreq=354, maxDocs=44218)
                0.01486839 = queryNorm
              0.6370842 = fieldWeight in 439, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.8247695 = idf(docFreq=354, maxDocs=44218)
                0.109375 = fieldNorm(doc=439)
          0.26967442 = weight(abstract_txt:reasoning in 439) [ClassicSimilarity], result of:
            0.26967442 = score(doc=439,freq=1.0), product of:
              0.38653156 = queryWeight, product of:
                4.075532 = boost
                6.378767 = idf(docFreq=203, maxDocs=44218)
                0.01486839 = queryNorm
              0.6976776 = fieldWeight in 439, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.378767 = idf(docFreq=203, maxDocs=44218)
                0.109375 = fieldNorm(doc=439)
        0.16 = coord(4/25)