Query inseparability for ALC ontologies

, , , &
Artificial Intelligence 272 (C):1-51 (2019)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2018.09.003

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,261

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

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.
Well-Being and Health.Greg Bognar - 2008 - Health Care Analysis 16 (2):97-113.
Knowledge Engineering and Intelligence Gathering.Nicolae Sfetcu - manuscript

Analytics

Added to PP
2020-12-22

Downloads
14 (#995,076)

6 months
11 (#244,932)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A Correspondence between Temporal Description Logics.Alessandro Artale & Carsten Lutz - 2004 - Journal of Applied Non-Classical Logics 14 (1-2):209-233.

Add more citations

References found in this work

Model Theory.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.

View all 8 references / Add more references