<html><!-- 
#Editing instructions<pre>
# The following variables need to be adapted by you:
# 2011=Year in which the final papers of the proceedings were produced 
# RuleML2011@BRF Challenge=Acronym of the Workshop
# 28=Day of submission of the workshop proceedings to CEUR-WS.org
# Ott=Month of submission of the workshop proceedings (Ott=Jan,Feb,Mar,Apr,Jun,Jul,Aug,Sep,Oct,Nov,Dec)
# The variable 
# 1004=Volume number of the proceedings with CEUR-WS.org
# shall be adapted by CEUR-WS.org. CEUR-WS.org shall also set the publication date.
#
#
# (*) Replace title of the workshop in the title element 
# (*) Replace title of the workshop in the heading h1 element 
# (*) Note that the style file ceur-ws.css and the image CEUR-WS-logo.png are referring to files within
#     the CEUR-WS.org web site; they are not part of the submission directory
# (*) the lines starting with # shall be removed by you when preparing the file index.html
# 
# Some elements are tagged with a "class=CEUR..." clause. Be careful to maintain these tags!
# They are used both for formatting purposes and for identifying bibliographic elements.
# The CEUR class tags are as follows:
#          CEURLANG: the main language of the proceedings (eng, ger, fre, spa, rus, ita, ...)
#          CEURVOLNR: the volume number of the proceedings (set by us)
#          CEURPUBYEAR: the year in which the proceedings volume was created (see also 2011)
#          CEURURN (optional): the URN of the volume (set by us)
#          CEURVOLTITLE: the title of the proceedings
#          CEURFULLTITLE: the long title of the proceedings
#          CEURLOCTIME: The place and time when the workshop took place
#          CEURVOLEDITOR: full name of an editor of the proceedings
#          CEURTOC: indicator for the start of the table of contents
#          CEURSESSION (optional): separator for a section on the table of contents
#          CEURTITLE: title of a paper within the table of contents
#          CEURPAGES (optional): range of pages of a paper, e.g. 10-20
#          CEURAUTHORS: comma-separated list of authors of a paper (use full names, do not include affiliations)
#          CEURPUBDATE: the precise date of publication at CEUR-WS.org (set by us)
#          
#          AUXTITLE,AUXPAGES,AUXAUTHORS: Like their CEUR-counterparts but not to be indexed by DBLP 
#</pre> 
--><head>
<meta http-equiv="content-type" content="text/html; charset=ISO-8859-1">
		<link rel="stylesheet" type="text/css" href="index_files/ceur-ws.css">
		<title>CEUR-WS.org/Vol-1004 - RuleML2013@Challenge, HLT and DC</title>
	</head>
	<!--CEURLANG=eng -->
	<body>
		<table border="0" cellpadding="0" cellspacing="5" width="95%">
			<tbody>
				<tr>
					<td align="left" valign="middle">
						<a href="http://ceur-ws.org/">
							<img src="index_files/CEUR-WS-logo.png" alt="[CEUR Workshop Proceedings]" border="0">
						</a>
					</td>
					<td align="right" valign="middle">
						<span class="CEURVOLNR">Vol-1004</span>
						<br>
						<span class="CEURURN">urn:nbn:de:0074-1004-3</span>
						<p align="justify">
							<font color="#777777" size="-2">Copyright © 
<span class="CEURPUBYEAR">2013</span> for the individual papers
by the papers' authors. Copying permitted only for private and academic purposes.
This volume is published and copyrighted by its editors.</font>
						</p>
					</td>
				</tr>
			</tbody>
		</table>
		<hr>
		<!-- 
# Instructions for the Proceedings Title <pre>
# The layout of the proceedings title can be adapted to your needs.
# Make sure to include all proceedings editors and their affiliations. 
# Links to home pages are fine but not required. Some workshops have
# a special logo. This could be included here as well. But avoid logos
# of sponsors.
#</pre>
-->
		<br>
		<br>
		<br>
		<h1>
			<a href="http://2013.ruleml.org/">RuleML2013@Challenge, Human Language Technology and Doctoral Consortium</a>
			<br>
			<span class="CEURVOLTITLE"></span>
		</h1>
		<br>
		<h3>
			<span class="CEURFULLTITLE">Proceedings of the 7th International Rule Challenge, the HLT and the DC at RuleML2013, the 8th International Symposium on Rules</span>
			<br>
		</h3>
		<h3>
			<span class="CEURLOCTIME">Seattle, Washington, July 11th-13th, 2013</span>.</h3>
		<br>
		<b> Edited by </b>
		<p>
			<!-- # use full names, but omit any academic title -->
		</p>
		<h3>
			<span class="CEURVOLEDITOR">Paul Fodor</span> *<br>
			<span class="CEURVOLEDITOR"> Dumitru Roman</span> **<br>
			<span class="CEURVOLEDITOR">Darko Anicic</span> ***<br>
			<span class="CEURVOLEDITOR">Adam Wyner</span> ****<br>			
			<span class="CEURVOLEDITOR">Monica Palmirani</span> *****<br>
			<span class="CEURVOLEDITOR">Davide Sottara</span> ******<br>
			<span class="CEURVOLEDITOR">Fran&ccedil;ois L&eacute;vy</span> *******<br>

		</h3>

* <a href="http://www.cs.sunysb.edu/">State University of New York at Stony Brook</a>, USA<br>
** <a href="http://www.sintef.no/">SINTEF</a>, Norway<br>
*** <a href="http://www.kit.edu/english/">FZI / KIT</a>, Germany<br>
**** <a href="http://www.abdn.ac.uk/">University of Aberdeen</a>, UK<br>
***** <a href="http://www.cirsfid.unibo.it/">CIRSFID-University of Bologna</a>, Italy<br>
****** <a href="http://bmi.asu.edu/"> Arizona State University</a>, USA<br>
******* <a href="http://lipn.univ-paris13.fr/">LIPN, Univ. Paris 13</a>, France<br>
		<hr>
		<br>
		<!--
# Instructions for Table of Contents <pre>
# The table of contents normally is a plain list of papers (with titles/authors).
# The paper title should be linked to the paper URL (usually pdf).
# You may include "session" subsections e.g. to reflect the track structure of your workshop.
# Authors should be specified as comma-separated lists with full author names
# (like John Smith). Avoid glue words like 'by' and 'and'. If applicable, then lookup how
# the author is spelled out by DBLP.
# You may also provide additional material such as preface, bibtex files, complete 
# proceedings as a single pdf, and similar items. The additional items should be 
# clearly separated from the paper list, preferably after the table of contents.
# Please only tag original papers with the CEURTITLE/CEURAUTHORS scheme. Rather do not tag
# additional material with this scheme!
# For the time being, presentation slides should also not be tagged by CEURTITLE/CEURAUTHORS.
#</pre>
-->
		<div class="CEURTOC">
			<h2> Table of Contents </h2>
			<!-- # Prefaces, frontmatter etc. typically have no explicit authors -->
			<ul>
				<li>
					<a href="preface.pdf">Preface</a>
					<br>
					<br>
				</li>
			</ul>
			<ol>
				<!-- # The session element is optional; it structures the table of contents -->
				<h3>
					<span class="CEURSESSION">Part 1: RuleML2013@Doctoral Consortium</span>
				</h3>
				<h4>
					<span class="CEURSESSION">Doctoral Consortium Papers</span>
				</h4>
				<!-- # This is an example of a paper without page numbers -->
				<li>
					<a href="paper1.pdf">
						<span class="CEURTITLE">Proposal for Using NLP Interchange Format for Question Answering in Organizations</span>
					</a>
					<br>
					<span class="CEURAUTHORS">Majid Latifi</span>
				</li>
				<!-- # This is an example of a paper without page numbers -->
				<li>
					<a href="paper2.pdf">
						<span class="CEURTITLE">Process Representation Using Transaction Logic</span>
					</a>
					<br>
					<span class="CEURAUTHORS">Reza Basseda</span>
				</li>
				<!-- # This is an example of a paper without page numbers -->
				<li>
					<a href="paper3.pdf">
						<span class="CEURTITLE">First Approaches on Knowledge Representation of Elementary (Patent) Pragmatics</span>
					</a>
					<br>
					<span class="CEURAUTHORS">Shashishekar Ramakrishna</span>
				</li>
				<!-- # This is an example of a paper without page numbers -->
				
				<br>
				<!-- # The session element is optional; it structures the table of contents -->
				<h3>
					<span class="CEURSESSION">Part 2: RuleML2013@Challenge</span>
				</h3>
				<h4>
					<span class="CEURSESSION">Invited Demo Papers</span>
				</h4>
				<!-- # This is an example of a paper without page numbers -->
				<li>
					<a href="paper4.pdf">
						<span class="CEURTITLE">RAWE: An Editor for Rule Markup of Legal Texts</span>
					</a>
					<br>
					<span class="CEURAUTHORS">Monica Palmirani, Luca Cervone, Octavian Bujor, Marco Chiappetta</span>
				</li>
				<!-- # This is an example of a paper without page numbers -->
				
				<h4>
					<span class="CEURSESSION">Challenge Demo Papers</span>
				</h4>
				<!-- # This is an example of a paper without page numbers -->
				<li>
					<a href="paper5.pdf">
						<span class="CEURTITLE">R-CoRe: A Rule-based Contextual Reasoning
Platform for AmI</span>
					</a>
					<br>
					<span class="CEURAUTHORS">Assaad Moawad, Antonis Bikakis, Patrice Caire, Gr&eacute;gory Nain, Yves
Le Traon</span>
				</li>
				<!-- # This is an example of a paper without page numbers -->
				<li>
					<a href="paper6.pdf">
						<span class="CEURTITLE">Interpreting Regulations with SBVR </span>
					</a>
					<br>
					<span class="CEURAUTHORS">Elie Abi-Lahoud, Tom Butler, Donald Chapin, John Hall</span>
				</li>
				<!-- # This is an example of a paper without page numbers -->
				<li>
					<a href="paper7.pdf">
						<span class="CEURTITLE">Graph-based Editor for SWRL Rule Bases</span>
					</a>
					<br>
					<span class="CEURAUTHORS">Jaroslaw Bak, Maciej Nowak, Czes&#322;aw J&#281drzejek</span>
				</li>
				<!-- # This is an example of a paper without page numbers -->
				<li>
					<a href="paper8.pdf">
						<span class="CEURTITLE">Advanced Knowledge Base Debugging for Rulelog</span>
					</a>
					<br>
					<span class="CEURAUTHORS">Carl Andersen, Brett Benyo, Miguel Calejo, Mike Dean, Paul Fodory,
Benjamin N. Grosofz, Michael Kifery, Senlin Liangy, Terrance Swiftx</span>
				</li>
				<!-- # This is an example of a paper without page numbers -->
			<li>
					<a href="paper9.pdf">
						<span class="CEURTITLE">Knowledge-based Highly-specialized Terrorist Event Extraction</span>
					</a>
					<br>
					<span class="CEURAUTHORS">Jakub Dutkiewicz, Czes&#322;aw J&#281drzejek, Jolanta Cybulka, Maciej Falkowski</span>
				</li>				
				<li>
					<a href="paper10.pdf">
						<span class="CEURTITLE">SBVR as a Semantic Hub for Integration of Heterogeneous Systems</span>
					</a>
					<br>
					<span class="CEURAUTHORS">Ling Shi, Dumitru Roman, Arne J. Berre</span>
				</li>
								<!-- # This is an example of a paper without page numbers -->
				<li>
					<a href="paper11.pdf">
						<span class="CEURTITLE">Grailog KS Viz:A Grailog Visualizer for Datalog RuleML Using an XSLT Translator to SVG</span>
					</a>
					<br>
					<span class="CEURAUTHORS">Martin Koch, Sven Schmidt, Harold Boley, Rainer Herpers
</span>
				</li>
				<!-- # This is an example of a paper without page numbers -->
				<li>
					<a href="paper12.pdf">
						<span class="CEURTITLE">Importation Closure that is Robust to Circular Dependencies</span>
					</a>
					<br>
					<span class="CEURAUTHORS">Tara Athan</span>
				</li>
				<!-- # This is an example of a paper without page numbers -->
				<li>
					<a href="paper13.pdf">
						<span class="CEURTITLE">Transforming Association Rules to Business Rules: EasyMiner meets Drools</span>
					</a>
					<br>
					<span class="CEURAUTHORS">Stanislav Voj&iacute;u&#345;, Tom&aacute;&scaron; Kliegr, Andrej Hazucha, Radek &Scaron;krabal, Milan &Scaron;im&#367;nek</span>
				</li>
				<!-- # This is an example of a paper without page numbers -->
				<h3>
					<span class="CEURSESSION">Part 3: RuleML2013@Human Language Technology</span>
				</h3>
				<h4>
					<span class="CEURSESSION">Human Language Technology Papers</span>
				</h4>
				<li>
				
					<a href="paper14.pdf">
						<span class="CEURTITLE">Constructing Controlled English for Both Human Usage and Machine Processing</span>
					</a>
					<br>
					<span class="CEURAUTHORS">Ping Xue, Steve Poteet, Anne Kao, David Mott, Dave Braines</span>
				</li>
				<!-- # This is an example of a paper without page numbers -->
				<li>
					<a href="paper15.pdf">
						<span class="CEURTITLE">RECON - A Controlled English for Business
Rules</span>
					</a>
					<br>
					<span class="CEURAUTHORS">Ed Barkmeyer, Fabian Neuhaus</span>
				</li>
				<li>
					<a href="paper16.pdf">
						<span class="CEURTITLE">A Study on Translating Regulatory Rules from Natural Language to Defeasible Logics</span>
					</a>
					<br>
					<span class="CEURAUTHORS">Adam Wyner, Guido Governatori</span>
				</li>

			</ol>
		</div>
		<b>The whole proceedings can also be downloaded as a single file (<a href="RuleML2013Challenge-full.pdf">
pdf	</a>).</b>
		<hr>
		<font color="#777777" size="-1">
10-July-2013: submitted by Monica Palmirani<br>
			<span class="CEURPUBDATE">10-July-2013</span>: published on CEUR-WS.org
</font>
	

</body></html>