[an error occurred while processing this directive]<meta name="keywords" content="Department of Computer Science, publications, by title, David TenaCucala"></meta><meta name="description" content="Publications, by title, Department of Computer Science, Oxford, David TenaCucala"></meta><title>Department of Computer Science, University of Oxford: David Tena Cucala : Publications
</title><style type="text/css">
			  .btn-toolbar::after, .btn-toolbar::before
			  {
			    content: " ";
			    display: table;
			  }

			
			.btn-toolbar
			{
			    margin-bottom: 2em;
			}

			  .btn-toolbar::after, .btn-group::after
			  {
			    clear: both;
			  }


			.btn-toolbar .btn, .btn-toolbar .btn-group
			  {
			    float: left;
			}
			
			.btn-group
			  {
			    display: inline-block;
			    position: relative;
			    vertical-align: middle;
			}

			  .btn-group > .btn:first-child:not(:last-child)
			  {
			    border-bottom-right-radius: 0;
			    border-top-right-radius: 0;
			}
			
			.btn-group > .btn:first-child
			  {
			    margin-left: 0;
			}

			.btn-group > .btn
			  {
			    float: left;
			    position: relative;
			}

			  .btn-group > .btn:not(:first-child):not(:last-child)
			  {
			    border-radius: 0;
			}
			
			  .btn-group > .btn:last-child:not(:first-child)
			  {
			    border-bottom-left-radius: 0;
			    border-top-left-radius: 0;
			}
			
			.btn-group .btn + .btn, .btn-group .btn + .btn-group, .btn-group .btn-group + .btn, .btn-group .btn-group + .btn-group
			  {
			    margin-left: -2px;
			}
			</style>[an error occurred while processing this directive]<div class="content-width"><ol class="breadcrumb text-uppercase"><li><a href="/">Home</a></li><li><a href="/aboutus/">About Us</a></li><li><a href="/people/">People</a></li><li><a href="/people/research.html">Research</a></li><li><a href="/people/David.TenaCucala"><span itemprop="name">David Tena Cucala</span></a></li><li class="active">Publications</li></ol></div><!-- MOBILE NAVIGATION --><div class="content-width space-below mobile-menu-placeholder visible-xs visible-sm"></div><!-- COLUMNS --><div class="container-fluid content-width"><div class="row"><div class="col-xs-12 col-md-9 col-md-push-3" id="maincontent"><!-- CONTENT (Column 2) --><div class="page-title"><h1>David Tena Cucala : Publications
</h1></div><div role="toolbar" class="btn-toolbar"><div class="btn-group"><a href="/people/publications/date/David.TenaCucala.html" aria-hidden="true" type="button" class="btn btn-default"><span class="glyphicon glyphicon-sort-by-attributes"></span> By date</a><a href="/people/publications/title/David.TenaCucala.html" aria-hidden="true" type="button" class="btn btn-oxford-blue"><span class="glyphicon glyphicon-sort-by-attributes"></span> By title</a><a href="/people/publications/type/David.TenaCucala.html" aria-hidden="true" type="button" class="btn btn-default"><span class="glyphicon glyphicon-sort-by-attributes"></span> By type</a><a href="/people/publications/bibtex/David.TenaCucala.html" aria-hidden="true" type="button" class="btn btn-default"><span class="glyphicon glyphicon-file"></span> BibTex</a></div></div><p></p><ul class="list-unbulleted list-unbulleted-spaced"><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[1] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            15 Years of Consequence&#x2212;Based Reasoning </strong> </p>
	    <p class="publicationAuthors"> <em> David Tena Cucala&#x201a; Bernardo Cuenca Grau and Ian Horrocks  </em> </p>
	
	<p class="publicationDetails"> 
            In Carsten Lutz&#x201a; Uli Sattler&#x201a; Cesare Tinelli&#x201a; Anni&#x2212;Yasmin Turhan and Frank Wolter, editors,
             
            <em>
            Description Logic&#x201a; Theory Combination&#x201a; and All That &#x2212; Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday</em>.
        
            Vol. 11560
                of Lecture Notes in Computer Science.
        
                Pages 573&#x2013;587.
            Springer.
        2019.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication14688-abstract.html">
			Details <span class="sr-only" > about <em> 15 Years of Consequence&#x2212;Based Reasoning  </em></span> </a> |
			<a href="/publications/publication14688.bib">
			BibTeX  <span class="sr-only" > data for <em> 15 Years of Consequence&#x2212;Based Reasoning  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/978-3-030-22102-7\_27">
		DOI (10.1007/978-3-030-22102-7\_27)
		</a> 
					| <a href="https://doi.org/10.1007/978-3-030-22102-7\_27"> Link <span class="sr-only" > to <em> 15 Years of Consequence&#x2212;Based Reasoning  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[2] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Consequence&#x2212;Based Reasoning for Description Logics with Disjunctions and Number Restrictions </strong> </p>
	    <p class="publicationAuthors"> <em> Andrew Bate&#x201a; Boris Motik&#x201a; Bernardo Cuenca Grau&#x201a; David Tena Cucala&#x201a; Frantisek Simancik and Ian Horrocks  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>J. Artif. Intell. Res.</em>.
        
            Vol. 63.
        
                Pages 625&#x2013;690.
            2018.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication12410-abstract.html">
			Details <span class="sr-only" > about <em> Consequence&#x2212;Based Reasoning for Description Logics with Disjunctions and Number Restrictions  </em></span> </a> |
			<a href="/publications/publication12410.bib">
			BibTeX  <span class="sr-only" > data for <em> Consequence&#x2212;Based Reasoning for Description Logics with Disjunctions and Number Restrictions  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1613/jair.1.11257">
		DOI (10.1613/jair.1.11257)
		</a> 
					| <a href="https://doi.org/10.1613/jair.1.11257"> Link <span class="sr-only" > to <em> Consequence&#x2212;Based Reasoning for Description Logics with Disjunctions and Number Restrictions  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[3] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Consequence&#x2212;based Reasoning for Description Logics with Disjunction&#x201a; Inverse Roles&#x201a; Number Restrictions&#x201a; and Nominals </strong> </p>
	    <p class="publicationAuthors"> <em> David Tena Cucala&#x201a; Bernardo Cuenca Grau and Ian Horrocks  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>CoRR</em>.
        
            Vol. abs/1805.01396.
        2018.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication14691-abstract.html">
			Details <span class="sr-only" > about <em> Consequence&#x2212;based Reasoning for Description Logics with Disjunction&#x201a; Inverse Roles&#x201a; Number Restrictions&#x201a; and Nominals  </em></span> </a> |
			<a href="/publications/publication14691.bib">
			BibTeX  <span class="sr-only" > data for <em> Consequence&#x2212;based Reasoning for Description Logics with Disjunction&#x201a; Inverse Roles&#x201a; Number Restrictions&#x201a; and Nominals  </em></span>   </a>
			
			
					| <a href="http://arxiv.org/abs/1805.01396"> Link <span class="sr-only" > to <em> Consequence&#x2212;based Reasoning for Description Logics with Disjunction&#x201a; Inverse Roles&#x201a; Number Restrictions&#x201a; and Nominals  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[4] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Consequence&#x2212;based Reasoning for Description Logics with Disjunction&#x201a; Inverse Roles&#x201a; Number Restrictions&#x201a; and Nominals </strong> </p>
	    <p class="publicationAuthors"> <em> David Tena Cucala&#x201a; Bernardo Cuenca Grau and Ian Horrocks  </em> </p>
	
	<p class="publicationDetails"> 
            In J&#xe9;r&#xf4;me Lang, editor,
             
            <em>
            Proceedings of the Twenty&#x2212;Seventh International Joint Conference on Artificial Intelligence&#x201a; IJCAI 2018&#x201a; July 13&#x2212;19&#x201a; 2018&#x201a; Stockholm&#x201a; Sweden</em>.
        
                Pages 1970&#x2013;1976.
            ijcai.org.
        2018.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication12076-abstract.html">
			Details <span class="sr-only" > about <em> Consequence&#x2212;based Reasoning for Description Logics with Disjunction&#x201a; Inverse Roles&#x201a; Number Restrictions&#x201a; and Nominals  </em></span> </a> |
			<a href="/publications/publication12076.bib">
			BibTeX  <span class="sr-only" > data for <em> Consequence&#x2212;based Reasoning for Description Logics with Disjunction&#x201a; Inverse Roles&#x201a; Number Restrictions&#x201a; and Nominals  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.24963/ijcai.2018/272">
		DOI (10.24963/ijcai.2018/272)
		</a> 
					| <a href="https://doi.org/10.24963/ijcai.2018/272"> Link <span class="sr-only" > to <em> Consequence&#x2212;based Reasoning for Description Logics with Disjunction&#x201a; Inverse Roles&#x201a; Number Restrictions&#x201a; and Nominals  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[5] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Consequence&#x2212;based Reasoning for Description Logics with Disjunction&#x201a; Inverse Roles&#x201a; and Nominals </strong> </p>
	    <p class="publicationAuthors"> <em> David Tena Cucala&#x201a; Bernardo Cuenca Grau and Ian Horrocks  </em> </p>
	
	<p class="publicationDetails"> 
            In Alessandro Artale&#x201a; Birte Glimm and Roman Kontchakov, editors,
             
            <em>
            Proceedings of the 30th International Workshop on Description Logics&#x201a; Montpellier&#x201a; France&#x201a; July 18&#x2212;21&#x201a; 2017</em>.
        
            Vol. 1879
                of CEUR Workshop Proceedings.
        CEUR&#x2212;WS.org.
        2017.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication11234-abstract.html">
			Details <span class="sr-only" > about <em> Consequence&#x2212;based Reasoning for Description Logics with Disjunction&#x201a; Inverse Roles&#x201a; and Nominals  </em></span> </a> |
			<a href="/publications/publication11234.bib">
			BibTeX  <span class="sr-only" > data for <em> Consequence&#x2212;based Reasoning for Description Logics with Disjunction&#x201a; Inverse Roles&#x201a; and Nominals  </em></span>   </a>
			
			
					| <a href="http://ceur-ws.org/Vol-1879/paper35.pdf"> Download (pdf)  <span class="sr-only" > of <em> Consequence&#x2212;based Reasoning for Description Logics with Disjunction&#x201a; Inverse Roles&#x201a; and Nominals  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[6] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            DatalogMTL with Negation Under Stable Models Semantics </strong> </p>
	    <p class="publicationAuthors"> <em> Przemyslaw Andrzej Walega&#x201a; David J. Tena Cucala&#x201a; Egor V. Kostylev and Bernardo Cuenca Grau  </em> </p>
	
	<p class="publicationDetails"> 
            In Meghyn Bienvenu&#x201a; Gerhard Lakemeyer and Esra Erdem, editors,
             
            <em>
            Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning&#x201a; KR 2021&#x201a; Online event&#x201a; November 3&#x2212;12&#x201a; 2021</em>.
        
                Pages 609&#x2013;618.
            2021.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication14775-abstract.html">
			Details <span class="sr-only" > about <em> DatalogMTL with Negation Under Stable Models Semantics  </em></span> </a> |
			<a href="/publications/publication14775.bib">
			BibTeX  <span class="sr-only" > data for <em> DatalogMTL with Negation Under Stable Models Semantics  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.24963/kr.2021/58">
		DOI (10.24963/kr.2021/58)
		</a> 
					| <a href="https://doi.org/10.24963/kr.2021/58"> Link <span class="sr-only" > to <em> DatalogMTL with Negation Under Stable Models Semantics  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[7] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Faithful Rule Extraction for Differentiable Rule Learning Models </strong> </p>
	    <p class="publicationAuthors"> <em> Ian Horrocks Xiaxia Wang David J. Tena Cucala Bernardo Cuenca Grau  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            The Twelfth International Conference on Learning Representations</em>.
        2024.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication16227-abstract.html">
			Details <span class="sr-only" > about <em> Faithful Rule Extraction for Differentiable Rule Learning Models  </em></span> </a> |
			<a href="/publications/publication16227.bib">
			BibTeX  <span class="sr-only" > data for <em> Faithful Rule Extraction for Differentiable Rule Learning Models  </em></span>   </a>
			
			
					| <a href="https://openreview.net/pdf?id=kBTzlxM2J1"> Link <span class="sr-only" > to <em> Faithful Rule Extraction for Differentiable Rule Learning Models  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[8] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Pay&#x2212;as&#x2212;you&#x2212;go consequence&#x2212;based reasoning for the description logic SROIQ </strong> </p>
	    <p class="publicationAuthors"> <em> David Tena Cucala&#x201a; Bernardo Cuenca Grau and Ian Horrocks  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Artif. Intell.</em>.
        
            Vol. 298.
        
                Pages 103518.
            2021.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication14687-abstract.html">
			Details <span class="sr-only" > about <em> Pay&#x2212;as&#x2212;you&#x2212;go consequence&#x2212;based reasoning for the description logic SROIQ  </em></span> </a> |
			<a href="/publications/publication14687.bib">
			BibTeX  <span class="sr-only" > data for <em> Pay&#x2212;as&#x2212;you&#x2212;go consequence&#x2212;based reasoning for the description logic SROIQ  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1016/j.artint.2021.103518">
		DOI (10.1016/j.artint.2021.103518)
		</a> 
					| <a href="https://doi.org/10.1016/j.artint.2021.103518"> Link <span class="sr-only" > to <em> Pay&#x2212;as&#x2212;you&#x2212;go consequence&#x2212;based reasoning for the description logic SROIQ  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[9] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Sequoia: A Consequence Based Reasoner for SROIQ </strong> </p>
	    <p class="publicationAuthors"> <em> David Tena Cucala&#x201a; Bernardo Cuenca Grau and Ian Horrocks  </em> </p>
	
	<p class="publicationDetails"> 
            In Mantas Simkus and Grant E. Weddell, editors,
             
            <em>
            Proceedings of the 32nd International Workshop on Description Logics&#x201a; Oslo&#x201a; Norway&#x201a; June 18&#x2212;21&#x201a; 2019</em>.
        
            Vol. 2373
                of CEUR Workshop Proceedings.
        CEUR&#x2212;WS.org.
        2019.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication14690-abstract.html">
			Details <span class="sr-only" > about <em> Sequoia: A Consequence Based Reasoner for SROIQ  </em></span> </a> |
			<a href="/publications/publication14690.bib">
			BibTeX  <span class="sr-only" > data for <em> Sequoia: A Consequence Based Reasoner for SROIQ  </em></span>   </a>
			
			
					| <a href="http://ceur-ws.org/Vol-2373/paper-27.pdf"> Download (pdf)  <span class="sr-only" > of <em> Sequoia: A Consequence Based Reasoner for SROIQ  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[10] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Stratified Negation in Datalog with Metric Temporal Operators </strong> </p>
	    <p class="publicationAuthors"> <em> David J. Tena Cucala&#x201a; Przemyslaw Andrzej Walega&#x201a; Bernardo Cuenca Grau and Egor V. Kostylev  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Thirty&#x2212;Fifth AAAI Conference on Artificial Intelligence&#x201a; AAAI 2021&#x201a; Thirty&#x2212;Third Conference on Innovative Applications of Artificial Intelligence&#x201a; IAAI 2021&#x201a; The Eleventh Symposium on Educational Advances in Artificial Intelligence&#x201a; EAAI 2021&#x201a; Virtual Event&#x201a; February 2&#x2212;9&#x201a; 2021</em>.
        
                Pages 6488&#x2013;6495.
            AAAI Press.
        2021.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication14689-abstract.html">
			Details <span class="sr-only" > about <em> Stratified Negation in Datalog with Metric Temporal Operators  </em></span> </a> |
			<a href="/publications/publication14689.bib">
			BibTeX  <span class="sr-only" > data for <em> Stratified Negation in Datalog with Metric Temporal Operators  </em></span>   </a>
			
			
					| <a href="https://ojs.aaai.org/index.php/AAAI/article/view/16804"> Link <span class="sr-only" > to <em> Stratified Negation in Datalog with Metric Temporal Operators  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li></ul></div><div class="col-xs-12 col-md-3 col-md-pull-9 side-menu-col"><h2 class="side-menu-title text-uppercase"><a href="#">About Us</a></h2><ul class="side-menu"><li class="active mobile-menu-source"><a href="/people/">People</a><ul><li><a href="/people/faculty.html">Faculty</a></li><li class="active"><a href="/people/research.html">Research</a></li><li><a href="/people/students.html">Students</a></li><li><a href="/people/support.html">Professional Services</a></li><li><a href="/people/visitingprofessors.html">Visiting Professors</a></li><li><a href="/people/emeritusfaculty.html">Emeritus Faculty</a></li></ul></li><li><a href="/aboutus/vacancies/">Vacancies</a></li><li><a href="/aboutus/women-cs-oxford/index.html">Women in the department</a></li><li><a href="/aboutus/equality-diversity-inclusion/index.html">Equality, diversity and inclusion</a></li><li><a href="https://www.alumniweb.ox.ac.uk/cs/make-a-donation">Support Us</a></li><li><a href="/aboutus/cshistory.html">Our History</a></li><li><a href="/aboutus/contact.html">Contact Us</a></li></ul></div></div></div>[an error occurred while processing this directive]