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.35795212 = sum of:
      0.35795212 = product of:
        1.1186004 = sum of:
          0.6999103 = weight(subject_txt:wissensverarbeitung in 9) [ClassicSimilarity], result of:
            0.6999103 = score(doc=9,freq=1.0), product of:
              0.13160807 = queryWeight, product of:
                1.0761586 = boost
                8.509026 = idf(docFreq=22, maxDocs=41962)
                0.014372303 = queryNorm
              5.318141 = fieldWeight in 9, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                8.509026 = idf(docFreq=22, maxDocs=41962)
                0.625 = fieldNorm(doc=9)
          0.017727226 = weight(abstract_txt:over in 9) [ClassicSimilarity], result of:
            0.017727226 = score(doc=9,freq=1.0), product of:
              0.066378094 = queryWeight, product of:
                1.0808426 = boost
                4.2730303 = idf(docFreq=1589, maxDocs=41962)
                0.014372303 = queryNorm
              0.2670644 = fieldWeight in 9, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.2730303 = idf(docFreq=1589, maxDocs=41962)
                0.0625 = fieldNorm(doc=9)
          0.025764965 = weight(abstract_txt:computer in 9) [ClassicSimilarity], result of:
            0.025764965 = score(doc=9,freq=2.0), product of:
              0.06759906 = queryWeight, product of:
                1.0907378 = boost
                4.3121505 = idf(docFreq=1528, maxDocs=41962)
                0.014372303 = queryNorm
              0.38114384 = fieldWeight in 9, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                4.3121505 = idf(docFreq=1528, maxDocs=41962)
                0.0625 = fieldNorm(doc=9)
          0.018903455 = weight(abstract_txt:data in 9) [ClassicSimilarity], result of:
            0.018903455 = score(doc=9,freq=2.0), product of:
              0.06294755 = queryWeight, product of:
                1.2890955 = boost
                3.3975618 = idf(docFreq=3815, maxDocs=41962)
                0.014372303 = queryNorm
              0.30030486 = fieldWeight in 9, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                3.3975618 = idf(docFreq=3815, maxDocs=41962)
                0.0625 = fieldNorm(doc=9)
          0.11240345 = weight(abstract_txt:ontology in 9) [ClassicSimilarity], result of:
            0.11240345 = score(doc=9,freq=8.0), product of:
              0.11369832 = queryWeight, product of:
                1.4145786 = boost
                5.5924306 = idf(docFreq=424, maxDocs=41962)
                0.014372303 = queryNorm
              0.9886114 = fieldWeight in 9, product of:
                2.828427 = tf(freq=8.0), with freq of:
                  8.0 = termFreq=8.0
                5.5924306 = idf(docFreq=424, maxDocs=41962)
                0.0625 = fieldNorm(doc=9)
          0.055739228 = weight(abstract_txt:logic in 9) [ClassicSimilarity], result of:
            0.055739228 = score(doc=9,freq=1.0), product of:
              0.14246392 = queryWeight, product of:
                1.5834433 = boost
                6.2600245 = idf(docFreq=217, maxDocs=41962)
                0.014372303 = queryNorm
              0.39125153 = fieldWeight in 9, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.2600245 = idf(docFreq=217, maxDocs=41962)
                0.0625 = fieldNorm(doc=9)
          0.031256944 = weight(abstract_txt:semantic in 9) [ClassicSimilarity], result of:
            0.031256944 = score(doc=9,freq=1.0), product of:
              0.11089851 = queryWeight, product of:
                1.7110336 = boost
                4.509629 = idf(docFreq=1254, maxDocs=41962)
                0.014372303 = queryNorm
              0.2818518 = fieldWeight in 9, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.509629 = idf(docFreq=1254, maxDocs=41962)
                0.0625 = fieldNorm(doc=9)
          0.1568948 = weight(abstract_txt:ontologies in 9) [ClassicSimilarity], result of:
            0.1568948 = score(doc=9,freq=5.0), product of:
              0.19012697 = queryWeight, product of:
                2.2403586 = boost
                5.904727 = idf(docFreq=310, maxDocs=41962)
                0.014372303 = queryNorm
              0.8252107 = fieldWeight in 9, product of:
                2.236068 = tf(freq=5.0), with freq of:
                  5.0 = termFreq=5.0
                5.904727 = idf(docFreq=310, maxDocs=41962)
                0.0625 = fieldNorm(doc=9)
        0.32 = coord(8/25)
    
  2. Mao, M.: Ontology mapping : towards semantic interoperability in distributed and heterogeneous environments (2008) 0.17
    0.16541792 = sum of:
      0.16541792 = product of:
        0.5907783 = sum of:
          0.015511323 = weight(abstract_txt:over in 1660) [ClassicSimilarity], result of:
            0.015511323 = score(doc=1660,freq=1.0), product of:
              0.066378094 = queryWeight, product of:
                1.0808426 = boost
                4.2730303 = idf(docFreq=1589, maxDocs=41962)
                0.014372303 = queryNorm
              0.23368135 = fieldWeight in 1660, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.2730303 = idf(docFreq=1589, maxDocs=41962)
                0.0546875 = fieldNorm(doc=1660)
          0.011695917 = weight(abstract_txt:data in 1660) [ClassicSimilarity], result of:
            0.011695917 = score(doc=1660,freq=1.0), product of:
              0.06294755 = queryWeight, product of:
                1.2890955 = boost
                3.3975618 = idf(docFreq=3815, maxDocs=41962)
                0.014372303 = queryNorm
              0.18580416 = fieldWeight in 1660, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.3975618 = idf(docFreq=3815, maxDocs=41962)
                0.0546875 = fieldNorm(doc=1660)
          0.109962024 = weight(abstract_txt:ontology in 1660) [ClassicSimilarity], result of:
            0.109962024 = score(doc=1660,freq=10.0), product of:
              0.11369832 = queryWeight, product of:
                1.4145786 = boost
                5.5924306 = idf(docFreq=424, maxDocs=41962)
                0.014372303 = queryNorm
              0.9671385 = fieldWeight in 1660, product of:
                3.1622777 = tf(freq=10.0), with freq of:
                  10.0 = termFreq=10.0
                5.5924306 = idf(docFreq=424, maxDocs=41962)
                0.0546875 = fieldNorm(doc=1660)
          0.047232993 = weight(abstract_txt:interoperability in 1660) [ClassicSimilarity], result of:
            0.047232993 = score(doc=1660,freq=1.0), product of:
              0.1394513 = queryWeight, product of:
                1.5666115 = boost
                6.1934814 = idf(docFreq=232, maxDocs=41962)
                0.014372303 = queryNorm
              0.33870602 = fieldWeight in 1660, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.1934814 = idf(docFreq=232, maxDocs=41962)
                0.0546875 = fieldNorm(doc=1660)
          0.054699652 = weight(abstract_txt:semantic in 1660) [ClassicSimilarity], result of:
            0.054699652 = score(doc=1660,freq=4.0), product of:
              0.11089851 = queryWeight, product of:
                1.7110336 = boost
                4.509629 = idf(docFreq=1254, maxDocs=41962)
                0.014372303 = queryNorm
              0.49324065 = fieldWeight in 1660, product of:
                2.0 = tf(freq=4.0), with freq of:
                  4.0 = termFreq=4.0
                4.509629 = idf(docFreq=1254, maxDocs=41962)
                0.0546875 = fieldNorm(doc=1660)
          0.16243538 = weight(abstract_txt:ontologies in 1660) [ClassicSimilarity], result of:
            0.16243538 = score(doc=1660,freq=7.0), product of:
              0.19012697 = queryWeight, product of:
                2.2403586 = boost
                5.904727 = idf(docFreq=310, maxDocs=41962)
                0.014372303 = queryNorm
              0.8543521 = fieldWeight in 1660, product of:
                2.6457512 = tf(freq=7.0), with freq of:
                  7.0 = termFreq=7.0
                5.904727 = idf(docFreq=310, maxDocs=41962)
                0.0546875 = fieldNorm(doc=1660)
          0.189241 = weight(abstract_txt:reasoning in 1660) [ClassicSimilarity], result of:
            0.189241 = score(doc=1660,freq=2.0), product of:
              0.37894168 = queryWeight, product of:
                4.0832524 = boost
                6.457134 = idf(docFreq=178, maxDocs=41962)
                0.014372303 = queryNorm
              0.49939346 = fieldWeight in 1660, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                6.457134 = idf(docFreq=178, maxDocs=41962)
                0.0546875 = fieldNorm(doc=1660)
        0.28 = coord(7/25)
    
  3. 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.14834742 = sum of:
      0.14834742 = product of:
        0.5298122 = sum of:
          0.07219015 = weight(abstract_txt:foundational in 4478) [ClassicSimilarity], result of:
            0.07219015 = score(doc=4478,freq=1.0), product of:
              0.11577983 = queryWeight, product of:
                1.0093726 = boost
                7.980958 = idf(docFreq=38, maxDocs=41962)
                0.014372303 = queryNorm
              0.6235123 = fieldWeight in 4478, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                7.980958 = idf(docFreq=38, maxDocs=41962)
                0.078125 = fieldNorm(doc=4478)
          0.021803077 = weight(abstract_txt:management in 4478) [ClassicSimilarity], result of:
            0.021803077 = score(doc=4478,freq=1.0), product of:
              0.06566533 = queryWeight, product of:
                1.0750239 = boost
                4.2500267 = idf(docFreq=1626, maxDocs=41962)
                0.014372303 = queryNorm
              0.33203334 = fieldWeight in 4478, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.2500267 = idf(docFreq=1626, maxDocs=41962)
                0.078125 = fieldNorm(doc=4478)
          0.1484734 = weight(subject_txt:wissensverarbeitung in 4478) [ClassicSimilarity], result of:
            0.1484734 = score(doc=4478,freq=2.0), product of:
              0.13160807 = queryWeight, product of:
                1.0761586 = boost
                8.509026 = idf(docFreq=22, maxDocs=41962)
                0.014372303 = queryNorm
              1.1281481 = fieldWeight in 4478, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                8.509026 = idf(docFreq=22, maxDocs=41962)
                0.09375 = fieldNorm(doc=4478)
          0.016708452 = weight(abstract_txt:data in 4478) [ClassicSimilarity], result of:
            0.016708452 = score(doc=4478,freq=1.0), product of:
              0.06294755 = queryWeight, product of:
                1.2890955 = boost
                3.3975618 = idf(docFreq=3815, maxDocs=41962)
                0.014372303 = queryNorm
              0.2654345 = fieldWeight in 4478, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.3975618 = idf(docFreq=3815, maxDocs=41962)
                0.078125 = fieldNorm(doc=4478)
          0.065716706 = weight(abstract_txt:volume in 4478) [ClassicSimilarity], result of:
            0.065716706 = score(doc=4478,freq=1.0), product of:
              0.1370171 = queryWeight, product of:
                1.5528784 = boost
                6.1391883 = idf(docFreq=245, maxDocs=41962)
                0.014372303 = queryNorm
              0.4796241 = fieldWeight in 4478, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.1391883 = idf(docFreq=245, maxDocs=41962)
                0.078125 = fieldNorm(doc=4478)
          0.11721354 = weight(abstract_txt:semantic in 4478) [ClassicSimilarity], result of:
            0.11721354 = score(doc=4478,freq=9.0), product of:
              0.11089851 = queryWeight, product of:
                1.7110336 = boost
                4.509629 = idf(docFreq=1254, maxDocs=41962)
                0.014372303 = queryNorm
              1.0569443 = fieldWeight in 4478, product of:
                3.0 = tf(freq=9.0), with freq of:
                  9.0 = termFreq=9.0
                4.509629 = idf(docFreq=1254, maxDocs=41962)
                0.078125 = fieldNorm(doc=4478)
          0.087706864 = weight(abstract_txt:ontologies in 4478) [ClassicSimilarity], result of:
            0.087706864 = score(doc=4478,freq=1.0), product of:
              0.19012697 = queryWeight, product of:
                2.2403586 = boost
                5.904727 = idf(docFreq=310, maxDocs=41962)
                0.014372303 = queryNorm
              0.4613068 = fieldWeight in 4478, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.904727 = idf(docFreq=310, maxDocs=41962)
                0.078125 = fieldNorm(doc=4478)
        0.28 = coord(7/25)
    
  4. Euzenat, J.; Shvaiko, P.: Ontology matching (2010) 0.14
    0.13865878 = sum of:
      0.13865878 = product of:
        0.5777449 = sum of:
          0.2449686 = weight(subject_txt:wissensverarbeitung in 2169) [ClassicSimilarity], result of:
            0.2449686 = score(doc=2169,freq=1.0), product of:
              0.13160807 = queryWeight, product of:
                1.0761586 = boost
                8.509026 = idf(docFreq=22, maxDocs=41962)
                0.014372303 = queryNorm
              1.8613493 = fieldWeight in 2169, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                8.509026 = idf(docFreq=22, maxDocs=41962)
                0.21875 = fieldNorm(doc=2169)
          0.026573207 = weight(abstract_txt:database in 2169) [ClassicSimilarity], result of:
            0.026573207 = score(doc=2169,freq=3.0), product of:
              0.06589429 = queryWeight, product of:
                1.0768964 = boost
                4.2574296 = idf(docFreq=1614, maxDocs=41962)
                0.014372303 = queryNorm
              0.40327024 = fieldWeight in 2169, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                4.2574296 = idf(docFreq=1614, maxDocs=41962)
                0.0546875 = fieldNorm(doc=2169)
          0.015941259 = weight(abstract_txt:computer in 2169) [ClassicSimilarity], result of:
            0.015941259 = score(doc=2169,freq=1.0), product of:
              0.06759906 = queryWeight, product of:
                1.0907378 = boost
                4.3121505 = idf(docFreq=1528, maxDocs=41962)
                0.014372303 = queryNorm
              0.23582073 = fieldWeight in 2169, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.3121505 = idf(docFreq=1528, maxDocs=41962)
                0.0546875 = fieldNorm(doc=2169)
          0.08517622 = weight(abstract_txt:ontology in 2169) [ClassicSimilarity], result of:
            0.08517622 = score(doc=2169,freq=6.0), product of:
              0.11369832 = queryWeight, product of:
                1.4145786 = boost
                5.5924306 = idf(docFreq=424, maxDocs=41962)
                0.014372303 = queryNorm
              0.7491423 = fieldWeight in 2169, product of:
                2.4494898 = tf(freq=6.0), with freq of:
                  6.0 = termFreq=6.0
                5.5924306 = idf(docFreq=424, maxDocs=41962)
                0.0546875 = fieldNorm(doc=2169)
          0.054699652 = weight(abstract_txt:semantic in 2169) [ClassicSimilarity], result of:
            0.054699652 = score(doc=2169,freq=4.0), product of:
              0.11089851 = queryWeight, product of:
                1.7110336 = boost
                4.509629 = idf(docFreq=1254, maxDocs=41962)
                0.014372303 = queryNorm
              0.49324065 = fieldWeight in 2169, product of:
                2.0 = tf(freq=4.0), with freq of:
                  4.0 = termFreq=4.0
                4.509629 = idf(docFreq=1254, maxDocs=41962)
                0.0546875 = fieldNorm(doc=2169)
          0.15038595 = weight(abstract_txt:ontologies in 2169) [ClassicSimilarity], result of:
            0.15038595 = score(doc=2169,freq=6.0), product of:
              0.19012697 = queryWeight, product of:
                2.2403586 = boost
                5.904727 = idf(docFreq=310, maxDocs=41962)
                0.014372303 = queryNorm
              0.7909764 = fieldWeight in 2169, product of:
                2.4494898 = tf(freq=6.0), with freq of:
                  6.0 = termFreq=6.0
                5.904727 = idf(docFreq=310, maxDocs=41962)
                0.0546875 = fieldNorm(doc=2169)
        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.113566265 = sum of:
      0.113566265 = product of:
        0.70978916 = sum of:
          0.20997308 = weight(subject_txt:wissensverarbeitung in 2440) [ClassicSimilarity], result of:
            0.20997308 = score(doc=2440,freq=1.0), product of:
              0.13160807 = queryWeight, product of:
                1.0761586 = boost
                8.509026 = idf(docFreq=22, maxDocs=41962)
                0.014372303 = queryNorm
              1.5954423 = fieldWeight in 2440, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                8.509026 = idf(docFreq=22, maxDocs=41962)
                0.1875 = fieldNorm(doc=2440)
          0.109399304 = weight(abstract_txt:semantic in 2440) [ClassicSimilarity], result of:
            0.109399304 = score(doc=2440,freq=4.0), product of:
              0.11089851 = queryWeight, product of:
                1.7110336 = boost
                4.509629 = idf(docFreq=1254, maxDocs=41962)
                0.014372303 = queryNorm
              0.9864813 = fieldWeight in 2440, product of:
                2.0 = tf(freq=4.0), with freq of:
                  4.0 = termFreq=4.0
                4.509629 = idf(docFreq=1254, maxDocs=41962)
                0.109375 = fieldNorm(doc=2440)
          0.12278961 = weight(abstract_txt:ontologies in 2440) [ClassicSimilarity], result of:
            0.12278961 = score(doc=2440,freq=1.0), product of:
              0.19012697 = queryWeight, product of:
                2.2403586 = boost
                5.904727 = idf(docFreq=310, maxDocs=41962)
                0.014372303 = queryNorm
              0.6458295 = fieldWeight in 2440, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.904727 = idf(docFreq=310, maxDocs=41962)
                0.109375 = fieldNorm(doc=2440)
          0.26762718 = weight(abstract_txt:reasoning in 2440) [ClassicSimilarity], result of:
            0.26762718 = score(doc=2440,freq=1.0), product of:
              0.37894168 = queryWeight, product of:
                4.0832524 = boost
                6.457134 = idf(docFreq=178, maxDocs=41962)
                0.014372303 = queryNorm
              0.706249 = fieldWeight in 2440, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.457134 = idf(docFreq=178, maxDocs=41962)
                0.109375 = fieldNorm(doc=2440)
        0.16 = coord(4/25)