Document (#40936)

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.35509068 = sum of:
      0.35509068 = product of:
        1.1096584 = sum of:
          0.6864122 = weight(subject_txt:wissensverarbeitung in 4445) [ClassicSimilarity], result of:
            0.6864122 = score(doc=4445,freq=1.0), product of:
              0.1307231 = queryWeight, product of:
                1.0636976 = boost
                8.401419 = idf(docFreq=25, maxDocs=42596)
                0.014627886 = queryNorm
              5.250887 = fieldWeight in 4445, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                8.401419 = idf(docFreq=25, maxDocs=42596)
                0.625 = fieldNorm(doc=4445)
          0.01792961 = weight(abstract_txt:over in 4445) [ClassicSimilarity], result of:
            0.01792961 = score(doc=4445,freq=1.0), product of:
              0.0673007 = queryWeight, product of:
                1.0793611 = boost
                4.262567 = idf(docFreq=1630, maxDocs=42596)
                0.014627886 = queryNorm
              0.26641044 = fieldWeight in 4445, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.262567 = idf(docFreq=1630, maxDocs=42596)
                0.0625 = fieldNorm(doc=4445)
          0.026193976 = weight(abstract_txt:computer in 4445) [ClassicSimilarity], result of:
            0.026193976 = score(doc=4445,freq=2.0), product of:
              0.0687749 = queryWeight, product of:
                1.0911186 = boost
                4.3089995 = idf(docFreq=1556, maxDocs=42596)
                0.014627886 = queryNorm
              0.38086534 = fieldWeight in 4445, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                4.3089995 = idf(docFreq=1556, maxDocs=42596)
                0.0625 = fieldNorm(doc=4445)
          0.018866742 = weight(abstract_txt:data in 4445) [ClassicSimilarity], result of:
            0.018866742 = score(doc=4445,freq=2.0), product of:
              0.06325925 = queryWeight, product of:
                1.2816358 = boost
                3.3742545 = idf(docFreq=3964, maxDocs=42596)
                0.014627886 = queryNorm
              0.29824477 = fieldWeight in 4445, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                3.3742545 = idf(docFreq=3964, maxDocs=42596)
                0.0625 = fieldNorm(doc=4445)
          0.11430169 = weight(abstract_txt:ontology in 4445) [ClassicSimilarity], result of:
            0.11430169 = score(doc=4445,freq=8.0), product of:
              0.11569399 = queryWeight, product of:
                1.4151822 = boost
                5.588778 = idf(docFreq=432, maxDocs=42596)
                0.014627886 = queryNorm
              0.9879657 = fieldWeight in 4445, product of:
                2.828427 = tf(freq=8.0), with freq of:
                  8.0 = termFreq=8.0
                5.588778 = idf(docFreq=432, maxDocs=42596)
                0.0625 = fieldNorm(doc=4445)
          0.056827907 = weight(abstract_txt:logic in 4445) [ClassicSimilarity], result of:
            0.056827907 = score(doc=4445,freq=1.0), product of:
              0.14521566 = queryWeight, product of:
                1.5854907 = boost
                6.261353 = idf(docFreq=220, maxDocs=42596)
                0.014627886 = queryNorm
              0.39133456 = fieldWeight in 4445, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.261353 = idf(docFreq=220, maxDocs=42596)
                0.0625 = fieldNorm(doc=4445)
          0.031615544 = weight(abstract_txt:semantic in 4445) [ClassicSimilarity], result of:
            0.031615544 = score(doc=4445,freq=1.0), product of:
              0.112444066 = queryWeight, product of:
                1.70872 = boost
                4.4986696 = idf(docFreq=1287, maxDocs=42596)
                0.014627886 = queryNorm
              0.28116685 = fieldWeight in 4445, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.4986696 = idf(docFreq=1287, maxDocs=42596)
                0.0625 = fieldNorm(doc=4445)
          0.15751071 = weight(abstract_txt:ontologies in 4445) [ClassicSimilarity], result of:
            0.15751071 = score(doc=4445,freq=5.0), product of:
              0.19181658 = queryWeight, product of:
                2.2317507 = boost
                5.8756905 = idf(docFreq=324, maxDocs=42596)
                0.014627886 = queryNorm
              0.82115275 = fieldWeight in 4445, product of:
                2.236068 = tf(freq=5.0), with freq of:
                  5.0 = termFreq=5.0
                5.8756905 = idf(docFreq=324, maxDocs=42596)
                0.0625 = fieldNorm(doc=4445)
        0.32 = coord(8/25)
    
  2. Mao, M.: Ontology mapping : towards semantic interoperability in distributed and heterogeneous environments (2008) 0.17
    0.16709575 = sum of:
      0.16709575 = product of:
        0.5967705 = sum of:
          0.015688408 = weight(abstract_txt:over in 660) [ClassicSimilarity], result of:
            0.015688408 = score(doc=660,freq=1.0), product of:
              0.0673007 = queryWeight, product of:
                1.0793611 = boost
                4.262567 = idf(docFreq=1630, maxDocs=42596)
                0.014627886 = queryNorm
              0.23310913 = fieldWeight in 660, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.262567 = idf(docFreq=1630, maxDocs=42596)
                0.0546875 = fieldNorm(doc=660)
          0.011673201 = weight(abstract_txt:data in 660) [ClassicSimilarity], result of:
            0.011673201 = score(doc=660,freq=1.0), product of:
              0.06325925 = queryWeight, product of:
                1.2816358 = boost
                3.3742545 = idf(docFreq=3964, maxDocs=42596)
                0.014627886 = queryNorm
              0.18452954 = fieldWeight in 660, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.3742545 = idf(docFreq=3964, maxDocs=42596)
                0.0546875 = fieldNorm(doc=660)
          0.11181903 = weight(abstract_txt:ontology in 660) [ClassicSimilarity], result of:
            0.11181903 = score(doc=660,freq=10.0), product of:
              0.11569399 = queryWeight, product of:
                1.4151822 = boost
                5.588778 = idf(docFreq=432, maxDocs=42596)
                0.014627886 = queryNorm
              0.96650684 = fieldWeight in 660, product of:
                3.1622777 = tf(freq=10.0), with freq of:
                  10.0 = termFreq=10.0
                5.588778 = idf(docFreq=432, maxDocs=42596)
                0.0546875 = fieldNorm(doc=660)
          0.047497604 = weight(abstract_txt:interoperability in 660) [ClassicSimilarity], result of:
            0.047497604 = score(doc=660,freq=1.0), product of:
              0.14084716 = queryWeight, product of:
                1.5614606 = boost
                6.1664543 = idf(docFreq=242, maxDocs=42596)
                0.014627886 = queryNorm
              0.33722797 = fieldWeight in 660, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.1664543 = idf(docFreq=242, maxDocs=42596)
                0.0546875 = fieldNorm(doc=660)
          0.055327203 = weight(abstract_txt:semantic in 660) [ClassicSimilarity], result of:
            0.055327203 = score(doc=660,freq=4.0), product of:
              0.112444066 = queryWeight, product of:
                1.70872 = boost
                4.4986696 = idf(docFreq=1287, maxDocs=42596)
                0.014627886 = queryNorm
              0.492042 = fieldWeight in 660, product of:
                2.0 = tf(freq=4.0), with freq of:
                  4.0 = termFreq=4.0
                4.4986696 = idf(docFreq=1287, maxDocs=42596)
                0.0546875 = fieldNorm(doc=660)
          0.16307303 = weight(abstract_txt:ontologies in 660) [ClassicSimilarity], result of:
            0.16307303 = score(doc=660,freq=7.0), product of:
              0.19181658 = queryWeight, product of:
                2.2317507 = boost
                5.8756905 = idf(docFreq=324, maxDocs=42596)
                0.014627886 = queryNorm
              0.8501508 = fieldWeight in 660, product of:
                2.6457512 = tf(freq=7.0), with freq of:
                  7.0 = termFreq=7.0
                5.8756905 = idf(docFreq=324, maxDocs=42596)
                0.0546875 = fieldNorm(doc=660)
          0.19169204 = weight(abstract_txt:reasoning in 660) [ClassicSimilarity], result of:
            0.19169204 = score(doc=660,freq=2.0), product of:
              0.38459742 = queryWeight, product of:
                4.079718 = boost
                6.44458 = idf(docFreq=183, maxDocs=42596)
                0.014627886 = queryNorm
              0.49842256 = fieldWeight in 660, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                6.44458 = idf(docFreq=183, maxDocs=42596)
                0.0546875 = fieldNorm(doc=660)
        0.28 = coord(7/25)
    
  3. Stuart, D.: Practical ontologies for information professionals (2016) 0.15
    0.14989261 = sum of:
      0.14989261 = product of:
        0.7494631 = sum of:
          0.41184732 = weight(subject_txt:wissensverarbeitung in 750) [ClassicSimilarity], result of:
            0.41184732 = score(doc=750,freq=1.0), product of:
              0.1307231 = queryWeight, product of:
                1.0636976 = boost
                8.401419 = idf(docFreq=25, maxDocs=42596)
                0.014627886 = queryNorm
              3.150532 = fieldWeight in 750, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                8.401419 = idf(docFreq=25, maxDocs=42596)
                0.375 = fieldNorm(doc=750)
          0.018866742 = weight(abstract_txt:data in 750) [ClassicSimilarity], result of:
            0.018866742 = score(doc=750,freq=2.0), product of:
              0.06325925 = queryWeight, product of:
                1.2816358 = boost
                3.3742545 = idf(docFreq=3964, maxDocs=42596)
                0.014627886 = queryNorm
              0.29824477 = fieldWeight in 750, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                3.3742545 = idf(docFreq=3964, maxDocs=42596)
                0.0625 = fieldNorm(doc=750)
          0.04041175 = weight(abstract_txt:ontology in 750) [ClassicSimilarity], result of:
            0.04041175 = score(doc=750,freq=1.0), product of:
              0.11569399 = queryWeight, product of:
                1.4151822 = boost
                5.588778 = idf(docFreq=432, maxDocs=42596)
                0.014627886 = queryNorm
              0.34929863 = fieldWeight in 750, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.588778 = idf(docFreq=432, maxDocs=42596)
                0.0625 = fieldNorm(doc=750)
          0.04471113 = weight(abstract_txt:semantic in 750) [ClassicSimilarity], result of:
            0.04471113 = score(doc=750,freq=2.0), product of:
              0.112444066 = queryWeight, product of:
                1.70872 = boost
                4.4986696 = idf(docFreq=1287, maxDocs=42596)
                0.014627886 = queryNorm
              0.39762998 = fieldWeight in 750, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                4.4986696 = idf(docFreq=1287, maxDocs=42596)
                0.0625 = fieldNorm(doc=750)
          0.23362614 = weight(abstract_txt:ontologies in 750) [ClassicSimilarity], result of:
            0.23362614 = score(doc=750,freq=11.0), product of:
              0.19181658 = queryWeight, product of:
                2.2317507 = boost
                5.8756905 = idf(docFreq=324, maxDocs=42596)
                0.014627886 = queryNorm
              1.2179663 = fieldWeight in 750, product of:
                3.3166249 = tf(freq=11.0), with freq of:
                  11.0 = termFreq=11.0
                5.8756905 = idf(docFreq=324, maxDocs=42596)
                0.0625 = fieldNorm(doc=750)
        0.2 = coord(5/25)
    
  4. Aberer, K. et al.: ¬The Semantic Web : 6th International Semantic Web Conference, 2nd Asian Semantic Web Conference, ISWC 2007 + ASWC 2007, Busan, Korea, November 11-15, 2007 : proceedings (2007) 0.15
    0.14804572 = sum of:
      0.14804572 = product of:
        0.5287347 = sum of:
          0.07129195 = weight(abstract_txt:foundational in 3657) [ClassicSimilarity], result of:
            0.07129195 = score(doc=3657,freq=1.0), product of:
              0.115535654 = queryWeight, product of:
                7.8983154 = idf(docFreq=42, maxDocs=42596)
                0.014627886 = queryNorm
              0.6170559 = fieldWeight in 3657, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                7.8983154 = idf(docFreq=42, maxDocs=42596)
                0.078125 = fieldNorm(doc=3657)
          0.14561 = weight(subject_txt:wissensverarbeitung in 3657) [ClassicSimilarity], result of:
            0.14561 = score(doc=3657,freq=2.0), product of:
              0.1307231 = queryWeight, product of:
                1.0636976 = boost
                8.401419 = idf(docFreq=25, maxDocs=42596)
                0.014627886 = queryNorm
              1.1138812 = fieldWeight in 3657, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                8.401419 = idf(docFreq=25, maxDocs=42596)
                0.09375 = fieldNorm(doc=3657)
          0.022144584 = weight(abstract_txt:management in 3657) [ClassicSimilarity], result of:
            0.022144584 = score(doc=3657,freq=1.0), product of:
              0.06676426 = queryWeight, product of:
                1.0750508 = boost
                4.2455454 = idf(docFreq=1658, maxDocs=42596)
                0.014627886 = queryNorm
              0.33168322 = fieldWeight in 3657, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.2455454 = idf(docFreq=1658, maxDocs=42596)
                0.078125 = fieldNorm(doc=3657)
          0.016676001 = weight(abstract_txt:data in 3657) [ClassicSimilarity], result of:
            0.016676001 = score(doc=3657,freq=1.0), product of:
              0.06325925 = queryWeight, product of:
                1.2816358 = boost
                3.3742545 = idf(docFreq=3964, maxDocs=42596)
                0.014627886 = queryNorm
              0.26361364 = fieldWeight in 3657, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.3742545 = idf(docFreq=3964, maxDocs=42596)
                0.078125 = fieldNorm(doc=3657)
          0.066402696 = weight(abstract_txt:volume in 3657) [ClassicSimilarity], result of:
            0.066402696 = score(doc=3657,freq=1.0), product of:
              0.13883197 = queryWeight, product of:
                1.5502499 = boost
                6.1221814 = idf(docFreq=253, maxDocs=42596)
                0.014627886 = queryNorm
              0.47829542 = fieldWeight in 3657, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.1221814 = idf(docFreq=253, maxDocs=42596)
                0.078125 = fieldNorm(doc=3657)
          0.11855829 = weight(abstract_txt:semantic in 3657) [ClassicSimilarity], result of:
            0.11855829 = score(doc=3657,freq=9.0), product of:
              0.112444066 = queryWeight, product of:
                1.70872 = boost
                4.4986696 = idf(docFreq=1287, maxDocs=42596)
                0.014627886 = queryNorm
              1.0543756 = fieldWeight in 3657, product of:
                3.0 = tf(freq=9.0), with freq of:
                  9.0 = termFreq=9.0
                4.4986696 = idf(docFreq=1287, maxDocs=42596)
                0.078125 = fieldNorm(doc=3657)
          0.08805116 = weight(abstract_txt:ontologies in 3657) [ClassicSimilarity], result of:
            0.08805116 = score(doc=3657,freq=1.0), product of:
              0.19181658 = queryWeight, product of:
                2.2317507 = boost
                5.8756905 = idf(docFreq=324, maxDocs=42596)
                0.014627886 = queryNorm
              0.45903832 = fieldWeight in 3657, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.8756905 = idf(docFreq=324, maxDocs=42596)
                0.078125 = fieldNorm(doc=3657)
        0.28 = coord(7/25)
    
  5. Euzenat, J.; Shvaiko, P.: Ontology matching (2010) 0.14
    0.13836451 = sum of:
      0.13836451 = product of:
        0.5765188 = sum of:
          0.24024427 = weight(subject_txt:wissensverarbeitung in 1169) [ClassicSimilarity], result of:
            0.24024427 = score(doc=1169,freq=1.0), product of:
              0.1307231 = queryWeight, product of:
                1.0636976 = boost
                8.401419 = idf(docFreq=25, maxDocs=42596)
                0.014627886 = queryNorm
              1.8378103 = fieldWeight in 1169, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                8.401419 = idf(docFreq=25, maxDocs=42596)
                0.21875 = fieldNorm(doc=1169)
          0.02714969 = weight(abstract_txt:database in 1169) [ClassicSimilarity], result of:
            0.02714969 = score(doc=1169,freq=3.0), product of:
              0.06726201 = queryWeight, product of:
                1.0790508 = boost
                4.2613416 = idf(docFreq=1632, maxDocs=42596)
                0.014627886 = queryNorm
              0.40364078 = fieldWeight in 1169, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                4.2613416 = idf(docFreq=1632, maxDocs=42596)
                0.0546875 = fieldNorm(doc=1169)
          0.016206697 = weight(abstract_txt:computer in 1169) [ClassicSimilarity], result of:
            0.016206697 = score(doc=1169,freq=1.0), product of:
              0.0687749 = queryWeight, product of:
                1.0911186 = boost
                4.3089995 = idf(docFreq=1556, maxDocs=42596)
                0.014627886 = queryNorm
              0.23564841 = fieldWeight in 1169, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.3089995 = idf(docFreq=1556, maxDocs=42596)
                0.0546875 = fieldNorm(doc=1169)
          0.08661465 = weight(abstract_txt:ontology in 1169) [ClassicSimilarity], result of:
            0.08661465 = score(doc=1169,freq=6.0), product of:
              0.11569399 = queryWeight, product of:
                1.4151822 = boost
                5.588778 = idf(docFreq=432, maxDocs=42596)
                0.014627886 = queryNorm
              0.74865305 = fieldWeight in 1169, product of:
                2.4494898 = tf(freq=6.0), with freq of:
                  6.0 = termFreq=6.0
                5.588778 = idf(docFreq=432, maxDocs=42596)
                0.0546875 = fieldNorm(doc=1169)
          0.055327203 = weight(abstract_txt:semantic in 1169) [ClassicSimilarity], result of:
            0.055327203 = score(doc=1169,freq=4.0), product of:
              0.112444066 = queryWeight, product of:
                1.70872 = boost
                4.4986696 = idf(docFreq=1287, maxDocs=42596)
                0.014627886 = queryNorm
              0.492042 = fieldWeight in 1169, product of:
                2.0 = tf(freq=4.0), with freq of:
                  4.0 = termFreq=4.0
                4.4986696 = idf(docFreq=1287, maxDocs=42596)
                0.0546875 = fieldNorm(doc=1169)
          0.1509763 = weight(abstract_txt:ontologies in 1169) [ClassicSimilarity], result of:
            0.1509763 = score(doc=1169,freq=6.0), product of:
              0.19181658 = queryWeight, product of:
                2.2317507 = boost
                5.8756905 = idf(docFreq=324, maxDocs=42596)
                0.014627886 = queryNorm
              0.7870868 = fieldWeight in 1169, product of:
                2.4494898 = tf(freq=6.0), with freq of:
                  6.0 = termFreq=6.0
                5.8756905 = idf(docFreq=324, maxDocs=42596)
                0.0546875 = fieldNorm(doc=1169)
        0.24 = coord(6/25)