- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Query inseparability for ALC ontologies
Artificial Intelligence 272 (C):1-51 (2019)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Games for query inseparability of description logic knowledge bases.Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter & Michael Zakharyaschev - 2016 - Artificial Intelligence 234 (C):78-119.
Model-theoretic inseparability and modularity of description logic ontologies.Boris Konev, Carsten Lutz, Dirk Walther & Frank Wolter - 2013 - Artificial Intelligence 203 (C):66-103.
-Connections of abstract description systems.Oliver Kutz, Carsten Lutz, Frank Wolter & Michael Zakharyaschev - 2004 - Artificial Intelligence 156 (1):1-73.
Knowledge base exchange: The case of OWL 2 QL.Marcelo Arenas, Elena Botoeva, Diego Calvanese & Vladislav Ryzhikov - 2016 - Artificial Intelligence 238 (C):11-62.
Learning via queries and oracles.Frank Stephan - 1998 - Annals of Pure and Applied Logic 94 (1-3):273-296.
Problems with the Inseparability of Esse.Marek Piwowarczyk - 2019 - Roczniki Filozoficzne 67 (4):117-128.
Querying linguistic treebanks with monadic second-order logic in linear time.Stephan Kepser - 2004 - Journal of Logic, Language and Information 13 (4):457-470.
Bounded truth table does not reduce the one-query tautologies to a random oracle.Toshio Suzuki - 2005 - Archive for Mathematical Logic 44 (6):751-762.
Thought insertion and the inseparability thesis.Paul J. Gibbs - 2000 - Philosophy, Psychiatry, and Psychology 7 (3):195-202.
Effective Search Problems.Martin Kummer & Frank Stephan - 1994 - Mathematical Logic Quarterly 40 (2):224-236.
Dreaming: Ontological and Methodological Considerations.M. D. Kirchhoff - 2016 - Constructivist Foundations 11 (2):420-423.
Finitely inseparable first-order axiomatized mereotopological theories.Hsing-Chien Tsai - 2013 - Logic and Logical Philosophy 22 (3):347-363.
The price of query rewriting in ontology-based data access.Georg Gottlob, Stanislav Kikot, Roman Kontchakov, Vladimir Podolskii, Thomas Schwentick & Michael Zakharyaschev - 2014 - Artificial Intelligence 213 (C):42-59.
Analytics
Added to PP
2020-12-22
Downloads
2 (#1,413,371)
6 months
1 (#483,919)
2020-12-22
Downloads
2 (#1,413,371)
6 months
1 (#483,919)
Historical graph of downloads
Citations of this work
Logical separability of labeled data examples under ontologies.Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini & Frank Wolter - 2022 - Artificial Intelligence 313 (C):103785.
A Correspondence between Temporal Description Logics.Alessandro Artale & Carsten Lutz - 2004 - Journal of Applied Non-Classical Logics 14 (1-2):209-233.
References found in this work
Model Theory.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.
Carnap, Goguen, and the hyperontologies: Logical pluralism and heterogeneous structuring in ontology design. [REVIEW]Dominik Lücke - 2010 - Logica Universalis 4 (2):255-333.
Infinitary equilibrium logic and strongly equivalent logic programs.Amelia Harrison, Vladimir Lifschitz, David Pearce & Agustín Valverde - 2017 - Artificial Intelligence 246 (C):22-33.
(Non-)Succinctness of uniform interpolants of general terminologies in the description logic EL.Nadeschda Nikitina & Sebastian Rudolph - 2014 - Artificial Intelligence 215:120-140.
Logic-based ontology comparison and module extraction, with an application to DL-Lite.Roman Kontchakov, Frank Wolter & Michael Zakharyaschev - 2010 - Artificial Intelligence 174 (15):1093-1141.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-5c86f9596c-qsn25 N