Results 11 to 20 of about 20,278 (110)

Ontology-based data access with databases: a short course [PDF]

, 2013
Ontology-based data access (OBDA) is regarded as a key ingredient of the new generation of information systems. In the OBDA paradigm, an ontology defines a high-level global schema of (already existing) data sources and provides a vocabulary for user ...
A. Artale, A. Calì, A. Calì, A. Chortaras, A. Poggi, A. Razborov, B. Glimm, C. Lutz, C.E. Shannon, D. Calvanese, D. Calvanese, J. Dolby, J.W. Lloyd, M. Garey, M. Grigni, M. König, M. Ortiz, N. Alon, R. Raz, R. Rosati, S. Arora, S. Kikot, T. Eiter, U. Hustadt   +23 more
core   +3 more sources

Inconsistent boundaries [PDF]

, 2014
Research on this paper was supported by a grant from the Marsden Fund, Royal Society of New Zealand.Mereotopology is a theory of connected parts. The existence of boundaries, as parts of everyday objects, is basic to any such theory; but in classical ...
A Oliver, A Varzi, A. J. Cotnoir, AN Whitehead, B Bolzano, B Dainton, B Smith, BL Clarke, C Peirce, D Zimmerman, F Arntzenius, F Brentano, G Priest, G Priest, H Hudson, H Putnam, HC Bunt, HS Hestevold, I Pratt-Harmon, J Beall, J Rogers, J Stell, JG Hocking, JL Kelley, K Koslicki, M Bunge, M Dummett, P Forrest, P Geach, P Hovda, P Roeper, PM Simons, R Brady, R Carnap, R Casati, R Martin, RA Sorensen, RM Chisholm, T Sider, X Zhang, Z Weber, Zach Weber   +41 more
core   +1 more source

Lipschitz functions on topometric spaces

, 2013
We study functions on topometric spaces which are both (metrically) Lipschitz and (topologically) continuous, using them in contexts where, in classical topology, ordinary continuous functions are used.
Yaacov, Itaï Ben
core   +2 more sources

Drawing OWL 2 ontologies with Eddy the editor [PDF]

, 2018
In this paper we introduce Eddy, a new open-source tool for the graphical editing of OWL~2 ontologies. Eddy is specifically designed for creating ontologies in Graphol, a completely visual ontology language that is equivalent to OWL~2.
Lembo, Domenico, Pantaleone, Daniele, Santarelli, Valerio, Savo, Domenico Fabio   +3 more
core   +1 more source

On the Herbrand content of LK

, 2016
We present a structural representation of the Herbrand content of LK-proofs with cuts of complexity prenex Sigma-2/Pi-2. The representation takes the form of a typed non-deterministic tree grammar of order 2 which generates a finite language of first ...
Afshari, Bahareh, Hetzl, Stefan, Leigh, Graham E.   +2 more
core   +3 more sources

Computably regular topological spaces [PDF]

, 2013
This article continues the study of computable elementary topology started by the author and T. Grubba in 2009 and extends the author's 2010 study of axioms of computable separation.
Weihrauch, Klaus
core   +2 more sources

Using Event Calculus to Formalise Policy Specification and Analysis [PDF]

, 2003
As the interest in using policy-based approaches for systems management grows, it is becoming increasingly important to develop methods for performing analysis and refinement of policy specifications.
Bandara, Arosha, Lupu, Emil C, Russo, Alessandra   +2 more
core   +3 more sources

A system of relational syllogistic incorporating full Boolean reasoning

, 2013
We present a system of relational syllogistic, based on classical propositional logic, having primitives of the following form: Some A are R-related to some B; Some A are R-related to all B; All A are R-related to some B; All A are R-related to ...
A. Ferro, A. Wedberg, C. Lutz, D. A. McAllester, D. Westerståhl, Dimiter Vakarelov, E. Orlowska, G. Gargov, G. Gargov, G. Politzer, H. J. Leevers, I. Pratt-Hartmann, I. Pratt-Hartmann, I. Pratt-Hartmann, I. Pratt-Hartmann, I. Pratt-Hartmann, J. Shepherdson, J. Łukasiewicz, L. S. Moss, L. S. Moss, M. Y. Khayata, N. Nishihara, N. Pfeifer, Nikolay Ivanov, P. Balbiani, P. Balbiani, V. Goranko, W. C. Purdy   +27 more
core   +1 more source

Environmental Performance Evaluation Under the Frontier Analysis Framework: A Farm‐Level Systematic Review and Meta‐Analysis

Journal of Agricultural Economics, EarlyView.
ABSTRACT Quantifying and improving the environmental performance (EP) of agriculture has become an urgent research and policy priority. Over the past three decades, frontier‐based analytical frameworks have been widely applied to evaluate farm‐level EP.
Fissha Asmare, Bethan Thompson, Tarek Soliman, Thomas Donovan, Klaus Glenk, Andrew Barnes   +5 more
wiley   +1 more source

Topological Foundations of Cognitive Science [PDF]

, 1984
A collection of papers presented at the First International Summer Institute in Cognitive Science, University at Buffalo, July 1994, including the following papers: ** Topological Foundations of Cognitive Science, Barry Smith
Eschenbach, Carola, Habel, Christopher, Smith, Barry   +2 more
core