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.37 
    0.36508903 = sum of:
  0.36508903 = product of:
    1.1409032 = sum of:
      0.71648014 = weight(subject_txt:wissensverarbeitung in 4444) [ClassicSimilarity], result of:
        0.71648014 = score(doc=4444,freq=1.0), product of:
          0.1357714 = queryWeight, product of:
            1.0782993 = boost
            8.443371 = idf(docFreq=25, maxDocs=44421)
            0.01491259 = queryNorm
          5.277107 = fieldWeight in 4444, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            8.443371 = idf(docFreq=25, maxDocs=44421)
            0.625 = fieldNorm(doc=4444)
      0.018180886 = weight(abstract_txt:over in 4444) [ClassicSimilarity], result of:
        0.018180886 = score(doc=4444,freq=1.0), product of:
          0.06856338 = queryWeight, product of:
            1.0836681 = boost
            4.242705 = idf(docFreq=1734, maxDocs=44421)
            0.01491259 = queryNorm
          0.26516905 = fieldWeight in 4444, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            4.242705 = idf(docFreq=1734, maxDocs=44421)
            0.0625 = fieldNorm(doc=4444)
      0.027095176 = weight(abstract_txt:computer in 4444) [ClassicSimilarity], result of:
        0.027095176 = score(doc=4444,freq=2.0), product of:
          0.07100139 = queryWeight, product of:
            1.1027666 = boost
            4.317478 = idf(docFreq=1609, maxDocs=44421)
            0.01491259 = queryNorm
          0.38161474 = fieldWeight in 4444, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            4.317478 = idf(docFreq=1609, maxDocs=44421)
            0.0625 = fieldNorm(doc=4444)
      0.018651498 = weight(abstract_txt:data in 4444) [ClassicSimilarity], result of:
        0.018651498 = score(doc=4444,freq=2.0), product of:
          0.063364364 = queryWeight, product of:
            1.2759051 = boost
            3.3302255 = idf(docFreq=4320, maxDocs=44421)
            0.01491259 = queryNorm
          0.29435313 = fieldWeight in 4444, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            3.3302255 = idf(docFreq=4320, maxDocs=44421)
            0.0625 = fieldNorm(doc=4444)
      0.11346975 = weight(abstract_txt:ontology in 4444) [ClassicSimilarity], result of:
        0.11346975 = score(doc=4444,freq=8.0), product of:
          0.11620877 = queryWeight, product of:
            1.4108136 = boost
            5.5235233 = idf(docFreq=481, maxDocs=44421)
            0.01491259 = queryNorm
          0.9764302 = fieldWeight in 4444, product of:
            2.828427 = tf(freq=8.0), with freq of:
              8.0 = termFreq=8.0
            5.5235233 = idf(docFreq=481, maxDocs=44421)
            0.0625 = fieldNorm(doc=4444)
      0.057775874 = weight(abstract_txt:logic in 4444) [ClassicSimilarity], result of:
        0.057775874 = score(doc=4444,freq=1.0), product of:
          0.14819942 = queryWeight, product of:
            1.5932115 = boost
            6.2376356 = idf(docFreq=235, maxDocs=44421)
            0.01491259 = queryNorm
          0.38985223 = fieldWeight in 4444, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            6.2376356 = idf(docFreq=235, maxDocs=44421)
            0.0625 = fieldNorm(doc=4444)
      0.03199047 = weight(abstract_txt:semantic in 4444) [ClassicSimilarity], result of:
        0.03199047 = score(doc=4444,freq=1.0), product of:
          0.1143913 = queryWeight, product of:
            1.7143216 = boost
            4.4745317 = idf(docFreq=1375, maxDocs=44421)
            0.01491259 = queryNorm
          0.27965823 = fieldWeight in 4444, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            4.4745317 = idf(docFreq=1375, maxDocs=44421)
            0.0625 = fieldNorm(doc=4444)
      0.15725936 = weight(abstract_txt:ontologies in 4444) [ClassicSimilarity], result of:
        0.15725936 = score(doc=4444,freq=5.0), product of:
          0.19340466 = queryWeight, product of:
            2.2290986 = boost
            5.8181453 = idf(docFreq=358, maxDocs=44421)
            0.01491259 = queryNorm
          0.81311053 = fieldWeight in 4444, product of:
            2.236068 = tf(freq=5.0), with freq of:
              5.0 = termFreq=5.0
            5.8181453 = idf(docFreq=358, maxDocs=44421)
            0.0625 = fieldNorm(doc=4444)
    0.32 = coord(8/25)
  2. Mao, M.: Ontology mapping : towards semantic interoperability in distributed and heterogeneous environments (2008) 0.17 
    0.16614152 = sum of:
  0.16614152 = product of:
    0.59336257 = sum of:
      0.015908277 = weight(abstract_txt:over in 659) [ClassicSimilarity], result of:
        0.015908277 = score(doc=659,freq=1.0), product of:
          0.06856338 = queryWeight, product of:
            1.0836681 = boost
            4.242705 = idf(docFreq=1734, maxDocs=44421)
            0.01491259 = queryNorm
          0.23202293 = fieldWeight in 659, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            4.242705 = idf(docFreq=1734, maxDocs=44421)
            0.0546875 = fieldNorm(doc=659)
      0.011540026 = weight(abstract_txt:data in 659) [ClassicSimilarity], result of:
        0.011540026 = score(doc=659,freq=1.0), product of:
          0.063364364 = queryWeight, product of:
            1.2759051 = boost
            3.3302255 = idf(docFreq=4320, maxDocs=44421)
            0.01491259 = queryNorm
          0.18212171 = fieldWeight in 659, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            3.3302255 = idf(docFreq=4320, maxDocs=44421)
            0.0546875 = fieldNorm(doc=659)
      0.11100516 = weight(abstract_txt:ontology in 659) [ClassicSimilarity], result of:
        0.11100516 = score(doc=659,freq=10.0), product of:
          0.11620877 = queryWeight, product of:
            1.4108136 = boost
            5.5235233 = idf(docFreq=481, maxDocs=44421)
            0.01491259 = queryNorm
          0.9552219 = fieldWeight in 659, product of:
            3.1622777 = tf(freq=10.0), with freq of:
              10.0 = termFreq=10.0
            5.5235233 = idf(docFreq=481, maxDocs=44421)
            0.0546875 = fieldNorm(doc=659)
      0.048417673 = weight(abstract_txt:interoperability in 659) [ClassicSimilarity], result of:
        0.048417673 = score(doc=659,freq=1.0), product of:
          0.14399455 = queryWeight, product of:
            1.5704467 = boost
            6.148508 = idf(docFreq=257, maxDocs=44421)
            0.01491259 = queryNorm
          0.33624655 = fieldWeight in 659, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            6.148508 = idf(docFreq=257, maxDocs=44421)
            0.0546875 = fieldNorm(doc=659)
      0.05598332 = weight(abstract_txt:semantic in 659) [ClassicSimilarity], result of:
        0.05598332 = score(doc=659,freq=4.0), product of:
          0.1143913 = queryWeight, product of:
            1.7143216 = boost
            4.4745317 = idf(docFreq=1375, maxDocs=44421)
            0.01491259 = queryNorm
          0.4894019 = fieldWeight in 659, product of:
            2.0 = tf(freq=4.0), with freq of:
              4.0 = termFreq=4.0
            4.4745317 = idf(docFreq=1375, maxDocs=44421)
            0.0546875 = fieldNorm(doc=659)
      0.16281281 = weight(abstract_txt:ontologies in 659) [ClassicSimilarity], result of:
        0.16281281 = score(doc=659,freq=7.0), product of:
          0.19340466 = queryWeight, product of:
            2.2290986 = boost
            5.8181453 = idf(docFreq=358, maxDocs=44421)
            0.01491259 = queryNorm
          0.84182465 = fieldWeight in 659, product of:
            2.6457512 = tf(freq=7.0), with freq of:
              7.0 = termFreq=7.0
            5.8181453 = idf(docFreq=358, maxDocs=44421)
            0.0546875 = fieldNorm(doc=659)
      0.18769534 = weight(abstract_txt:reasoning in 659) [ClassicSimilarity], result of:
        0.18769534 = score(doc=659,freq=2.0), product of:
          0.38277993 = queryWeight, product of:
            4.048506 = boost
            6.3401756 = idf(docFreq=212, maxDocs=44421)
            0.01491259 = queryNorm
          0.49034792 = fieldWeight in 659, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            6.3401756 = idf(docFreq=212, maxDocs=44421)
            0.0546875 = fieldNorm(doc=659)
    0.28 = coord(7/25)
  3. Stuart, D.: Practical ontologies for information professionals (2016) 0.15 
    0.15343039 = sum of:
  0.15343039 = product of:
    0.7671519 = sum of:
      0.42988807 = weight(subject_txt:wissensverarbeitung in 152) [ClassicSimilarity], result of:
        0.42988807 = score(doc=152,freq=1.0), product of:
          0.1357714 = queryWeight, product of:
            1.0782993 = boost
            8.443371 = idf(docFreq=25, maxDocs=44421)
            0.01491259 = queryNorm
          3.166264 = fieldWeight in 152, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            8.443371 = idf(docFreq=25, maxDocs=44421)
            0.375 = fieldNorm(doc=152)
      0.018651498 = weight(abstract_txt:data in 152) [ClassicSimilarity], result of:
        0.018651498 = score(doc=152,freq=2.0), product of:
          0.063364364 = queryWeight, product of:
            1.2759051 = boost
            3.3302255 = idf(docFreq=4320, maxDocs=44421)
            0.01491259 = queryNorm
          0.29435313 = fieldWeight in 152, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            3.3302255 = idf(docFreq=4320, maxDocs=44421)
            0.0625 = fieldNorm(doc=152)
      0.040117614 = weight(abstract_txt:ontology in 152) [ClassicSimilarity], result of:
        0.040117614 = score(doc=152,freq=1.0), product of:
          0.11620877 = queryWeight, product of:
            1.4108136 = boost
            5.5235233 = idf(docFreq=481, maxDocs=44421)
            0.01491259 = queryNorm
          0.3452202 = fieldWeight in 152, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            5.5235233 = idf(docFreq=481, maxDocs=44421)
            0.0625 = fieldNorm(doc=152)
      0.045241352 = weight(abstract_txt:semantic in 152) [ClassicSimilarity], result of:
        0.045241352 = score(doc=152,freq=2.0), product of:
          0.1143913 = queryWeight, product of:
            1.7143216 = boost
            4.4745317 = idf(docFreq=1375, maxDocs=44421)
            0.01491259 = queryNorm
          0.39549646 = fieldWeight in 152, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            4.4745317 = idf(docFreq=1375, maxDocs=44421)
            0.0625 = fieldNorm(doc=152)
      0.23325334 = weight(abstract_txt:ontologies in 152) [ClassicSimilarity], result of:
        0.23325334 = score(doc=152,freq=11.0), product of:
          0.19340466 = queryWeight, product of:
            2.2290986 = boost
            5.8181453 = idf(docFreq=358, maxDocs=44421)
            0.01491259 = queryNorm
          1.2060379 = fieldWeight in 152, product of:
            3.3166249 = tf(freq=11.0), with freq of:
              11.0 = termFreq=11.0
            5.8181453 = idf(docFreq=358, maxDocs=44421)
            0.0625 = fieldNorm(doc=152)
    0.2 = coord(5/25)
  4. Euzenat, J.; Shvaiko, P.: Ontology matching (2010) 0.14 
    0.1412524 = sum of:
  0.1412524 = product of:
    0.5885517 = sum of:
      0.25076804 = weight(subject_txt:wissensverarbeitung in 1168) [ClassicSimilarity], result of:
        0.25076804 = score(doc=1168,freq=1.0), product of:
          0.1357714 = queryWeight, product of:
            1.0782993 = boost
            8.443371 = idf(docFreq=25, maxDocs=44421)
            0.01491259 = queryNorm
          1.8469874 = fieldWeight in 1168, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            8.443371 = idf(docFreq=25, maxDocs=44421)
            0.21875 = fieldNorm(doc=1168)
      0.028316483 = weight(abstract_txt:database in 1168) [ClassicSimilarity], result of:
        0.028316483 = score(doc=1168,freq=3.0), product of:
          0.06982259 = queryWeight, product of:
            1.0935739 = boost
            4.2814875 = idf(docFreq=1668, maxDocs=44421)
            0.01491259 = queryNorm
          0.40554905 = fieldWeight in 1168, product of:
            1.7320508 = tf(freq=3.0), with freq of:
              3.0 = termFreq=3.0
            4.2814875 = idf(docFreq=1668, maxDocs=44421)
            0.0546875 = fieldNorm(doc=1168)
      0.016764287 = weight(abstract_txt:computer in 1168) [ClassicSimilarity], result of:
        0.016764287 = score(doc=1168,freq=1.0), product of:
          0.07100139 = queryWeight, product of:
            1.1027666 = boost
            4.317478 = idf(docFreq=1609, maxDocs=44421)
            0.01491259 = queryNorm
          0.23611209 = fieldWeight in 1168, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            4.317478 = idf(docFreq=1609, maxDocs=44421)
            0.0546875 = fieldNorm(doc=1168)
      0.08598422 = weight(abstract_txt:ontology in 1168) [ClassicSimilarity], result of:
        0.08598422 = score(doc=1168,freq=6.0), product of:
          0.11620877 = queryWeight, product of:
            1.4108136 = boost
            5.5235233 = idf(docFreq=481, maxDocs=44421)
            0.01491259 = queryNorm
          0.7399117 = fieldWeight in 1168, product of:
            2.4494898 = tf(freq=6.0), with freq of:
              6.0 = termFreq=6.0
            5.5235233 = idf(docFreq=481, maxDocs=44421)
            0.0546875 = fieldNorm(doc=1168)
      0.05598332 = weight(abstract_txt:semantic in 1168) [ClassicSimilarity], result of:
        0.05598332 = score(doc=1168,freq=4.0), product of:
          0.1143913 = queryWeight, product of:
            1.7143216 = boost
            4.4745317 = idf(docFreq=1375, maxDocs=44421)
            0.01491259 = queryNorm
          0.4894019 = fieldWeight in 1168, product of:
            2.0 = tf(freq=4.0), with freq of:
              4.0 = termFreq=4.0
            4.4745317 = idf(docFreq=1375, maxDocs=44421)
            0.0546875 = fieldNorm(doc=1168)
      0.15073538 = weight(abstract_txt:ontologies in 1168) [ClassicSimilarity], result of:
        0.15073538 = score(doc=1168,freq=6.0), product of:
          0.19340466 = queryWeight, product of:
            2.2290986 = boost
            5.8181453 = idf(docFreq=358, maxDocs=44421)
            0.01491259 = queryNorm
          0.77937824 = fieldWeight in 1168, product of:
            2.4494898 = tf(freq=6.0), with freq of:
              6.0 = termFreq=6.0
            5.8181453 = idf(docFreq=358, maxDocs=44421)
            0.0546875 = fieldNorm(doc=1168)
    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.11446831 = sum of:
  0.11446831 = product of:
    0.7154269 = sum of:
      0.21494403 = weight(subject_txt:wissensverarbeitung in 1439) [ClassicSimilarity], result of:
        0.21494403 = score(doc=1439,freq=1.0), product of:
          0.1357714 = queryWeight, product of:
            1.0782993 = boost
            8.443371 = idf(docFreq=25, maxDocs=44421)
            0.01491259 = queryNorm
          1.583132 = fieldWeight in 1439, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            8.443371 = idf(docFreq=25, maxDocs=44421)
            0.1875 = fieldNorm(doc=1439)
      0.11196664 = weight(abstract_txt:semantic in 1439) [ClassicSimilarity], result of:
        0.11196664 = score(doc=1439,freq=4.0), product of:
          0.1143913 = queryWeight, product of:
            1.7143216 = boost
            4.4745317 = idf(docFreq=1375, maxDocs=44421)
            0.01491259 = queryNorm
          0.9788038 = fieldWeight in 1439, product of:
            2.0 = tf(freq=4.0), with freq of:
              4.0 = termFreq=4.0
            4.4745317 = idf(docFreq=1375, maxDocs=44421)
            0.109375 = fieldNorm(doc=1439)
      0.12307492 = weight(abstract_txt:ontologies in 1439) [ClassicSimilarity], result of:
        0.12307492 = score(doc=1439,freq=1.0), product of:
          0.19340466 = queryWeight, product of:
            2.2290986 = boost
            5.8181453 = idf(docFreq=358, maxDocs=44421)
            0.01491259 = queryNorm
          0.63635963 = fieldWeight in 1439, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            5.8181453 = idf(docFreq=358, maxDocs=44421)
            0.109375 = fieldNorm(doc=1439)
      0.2654413 = weight(abstract_txt:reasoning in 1439) [ClassicSimilarity], result of:
        0.2654413 = score(doc=1439,freq=1.0), product of:
          0.38277993 = queryWeight, product of:
            4.048506 = boost
            6.3401756 = idf(docFreq=212, maxDocs=44421)
            0.01491259 = queryNorm
          0.6934567 = fieldWeight in 1439, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            6.3401756 = idf(docFreq=212, maxDocs=44421)
            0.109375 = fieldNorm(doc=1439)
    0.16 = coord(4/25)