Exact query reformulation with first-order ontologies and databases

, &
In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.), Logics in Artificial Intelligence. Springer. pp. 202--214 (2012)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,130

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

Query inseparability for ALC ontologies.Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter & Michael Zakharyaschev - 2019 - Artificial Intelligence 272 (C):1-51.
Controlled query evaluation in description logics through consistent query answering.Gianluca Cima, Domenico Lembo, Riccardo Rosati & Domenico Fabio Savo - 2024 - Artificial Intelligence 334 (C):104176.
Data complexity of query answering in description logics.Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini & Riccardo Rosati - 2013 - Artificial Intelligence 195 (C):335-360.
Querying several conflicting databases.Laurence Cholvy & Christophe Garion - 2004 - Journal of Applied Non-Classical Logics 14 (3):295-327.
On first-order conditional logics.James P. Delgrande - 1998 - Artificial Intelligence 105 (1-2):105-137.
Representing ontologies using description logics, description graphs, and rules.Boris Motik, Bernardo Cuenca Grau, Ian Horrocks & Ulrike Sattler - 2009 - Artificial Intelligence 173 (14):1275-1309.
An analysis of first-order logics of probability.Joseph Y. Halpern - 1990 - Artificial Intelligence 46 (3):311-350.
Expressiveness of concept expressions in first-order description logics.Natasha Kurtonina & Maarten de Rijke - 1999 - Artificial Intelligence 107 (2):303-333.
Dynamic term-modal logics for first-order epistemic planning.Andrés Occhipinti Liberman, Andreas Achen & Rasmus Kræmmer Rendsvig - 2020 - Artificial Intelligence 286 (C):103305.
Large-Scale cost-based abduction in full-fledged first-order predicate logic with cutting plane inference.Naoya Inoue & Kentaro Inui - 2012 - In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.), Logics in Artificial Intelligence. Springer. pp. 281--293.

Analytics

Added to PP
2014-01-28

Downloads
31 (#725,454)

6 months
6 (#851,951)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references