<?xml version="1.0" encoding="UTF-8"?>
<TEI xml:space="preserve" xmlns="http://www.tei-c.org/ns/1.0" 
xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" 
xsi:schemaLocation="http://www.tei-c.org/ns/1.0 https://raw.githubusercontent.com/kermitt2/grobid/master/grobid-home/schemas/xsd/Grobid.xsd"
 xmlns:xlink="http://www.w3.org/1999/xlink">
	<teiHeader xml:lang="en">
		<fileDesc>
			<titleStmt>
				<title level="a" type="main">A Little Logic Goes a Long Way -Logical Reasoning in Web Data Integration and Ontology Learning</title>
			</titleStmt>
			<publicationStmt>
				<publisher/>
				<availability status="unknown"><licence/></availability>
			</publicationStmt>
			<sourceDesc>
				<biblStruct>
					<analytic>
						<author>
							<persName><forename type="first">Heiner</forename><surname>Stuckenschmidt</surname></persName>
							<affiliation key="aff0">
								<orgName type="institution">Universität Mannheim</orgName>
							</affiliation>
						</author>
						<title level="a" type="main">A Little Logic Goes a Long Way -Logical Reasoning in Web Data Integration and Ontology Learning</title>
					</analytic>
					<monogr>
						<imprint>
							<date/>
						</imprint>
					</monogr>
					<idno type="MD5">E42472691958B6C7DB3A8C9A55A7EBFF</idno>
				</biblStruct>
			</sourceDesc>
		</fileDesc>
		<encodingDesc>
			<appInfo>
				<application version="0.7.2" ident="GROBID" when="2023-03-23T22:34+0000">
					<desc>GROBID - A machine learning software for extracting information from scholarly documents</desc>
					<ref target="https://github.com/kermitt2/grobid"/>
				</application>
			</appInfo>
		</encodingDesc>
		<profileDesc>
			<abstract/>
		</profileDesc>
	</teiHeader>
	<text xml:lang="en">
		<body>
<div xmlns="http://www.tei-c.org/ns/1.0"><p>There is an ongoing dispute in the Semantic Web Community about the usefulness of (Description) Logic as a basis for describing data on the web. While researchers in logic argue with the benefits of logic in terms of a clean semantics and richness of the language, criticism against the use of logic normally focusses on two points: its computational complexity and its inability to represent soft constraints. In this talk, we will address these criticisms and argue that if used in the right way description logics are a valuable tool for typical tasks on the semantic web. We use problem of semantic matchmaking as an example to show that the use of rather inexpressive logics with good computational properties already provide significant benefits by eliminating incoherent matches. In the second part of the talk we address the problem of dealing with soft constraints and show two solutions to this problem that have proven useful for matchmaking: Approximate subsumption as a purely logical framework for partial matchmaking and Log-Linear Description Logics as a new combination of Description Logics with (log-linear) probabilistic models. We show that purely logical matchmaking achieves results comparable with state of the art matchmaking systems that rely on similarity functions and present results that show that log-linear description logics outperform existing matching systems. We conclude that in the context of semantic web applications expressive power of the logics used is less important than the integration with other formalisms and technologies for improving efficiency and the ability to deal with imperfect knowledge.</p></div>		</body>
		<back>
			<div type="references">

				<listBibl/>
			</div>
		</back>
	</text>
</TEI>
