Conference paper
QALD-3: Multilingual question answering over linked data
Elena Cabrio, Philipp Cimiano, et al.
CLEF 2013
In this paper we compare the semantical and syntactical definitions of extensions for open default theories. We prove that, over monadic languages, these definitions are equivalent and do not depend on the cardinality of the underlying infinite world. We also show that, under the domain closure assumption, one free variable open default theories are decidable. © 2006 Elsevier B.V. All rights reserved.
Elena Cabrio, Philipp Cimiano, et al.
CLEF 2013
Chidanand Apté, Fred Damerau, et al.
ACM Transactions on Information Systems (TOIS)
M.J. Slattery, Joan L. Mitchell
IBM J. Res. Dev
N.K. Ratha, A.K. Jain, et al.
Workshop CAMP 2000