io-port.net

io-port 06106019 Civili, Cristina; Rosati, Riccardo

A broad class of first-order rewritable tuple-generating dependencies. (English)

Barceló, Pablo (ed.) et al., Datalog in academia and industry. Second international workshop, Datalog 2.0, Vienna, Austria, September 11‒13, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32924-1/pbk). Lecture Notes in Computer Science 7494, 68-80 (2012).

1

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06104220 Civili, Cristina; Rosati, Riccardo

Query patterns for existential rules. (English)

Krötzsch, Markus (ed.) et al., Web reasoning and rule systems. 6th international conference, RR 2012, Vienna, Austria, September 10‒12, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33202-9/pbk). Lecture Notes in Computer Science 7497, 42-57 (2012).

2

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06033479 Calvanese, Diego; De Giacomo, Giuseppe; Lenzerini, Maurizio; Rosati, Riccardo

View-based query answering in description logics: semantics and complexity. (English)

J. Comput. Syst. Sci. 78, No. 1, 26-46 (2012).

3

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05949450 Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo; Ruzzi, Marco; Savo, Domenico Fabio

Query rewriting for inconsistent DL-lite ontologies. (English)

Rudolph, Sebastian (ed.) et al., Web reasoning and rule systems. 5th international conference, RR 2011, Galway, Ireland, August 29‒30, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23579-5/pbk). Lecture Notes in Computer Science 6902, 155-169 (2011).

4

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05928377 Rosati, Riccardo

Reasoning about minimal belief and negation as failure. (English)

Comput. Res. Repos. 2011, Article No. 1106.0224 (2011).

5

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05883947 Rosati, Riccardo

On the finite controllability of conjunctive query answering in databases under open-world assumption. (English)

J. Comput. Syst. Sci. 77, No. 3, 572-594 (2011).

6

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 50312317 Calvanese, Diego; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Poggi, Antonella; Rodriguez-Muro, Mariano; Rosati, Riccardo; Ruzzi, Marco; Savo, Domenico Fabio

The MASTRO system for ontology-based data access (English)

Semantic Web 2, No. 1, 43-53 (2011).

7

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70126780 Rosati, Riccardo

On the complexity of dealing with inconsistency in description logic ontologies (English)

IJCAI, 1057-1062 (2011).

8

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 70278272 Masotti, Giulia; Rosati, Riccardo; Ruzzi, Marco

Practical abox cleaning in DL-lite (progress report) (English)

Description Logics (2011).

9

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 70278418 Di Pinto, Floriana; De Giacomo, Giuseppe; Lenzerini, Maurizio; Rosati, Riccardo

Mapping data to higher-order description logic knowledge bases (English)

Description Logics (2011).

10

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 70551958 Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo; Ruzzi, Marco; Savo, Domenico Fabio

Query rewriting for inconsistent DL-lite ontologies (English)

RR, 155-169 (2011).

11

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70982075 De Giacomo, Giuseppe; Lenzerini, Maurizio; Rosati, Riccardo

Higher-order description logics for domain metamodeling (English)

AAAI (2011).

12

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 20002789 Rosati, Riccardo (ed.); Rudolph, Sebastian (ed.); Zakharyaschev, Michael (ed.)

Proceedings of the 24th international workshop on description logics (DL 2011), Barcelona, Spain, July 13-16, 2011 (English)

CEUR Workshop Proceedings: Description Logics 745 (2011).

13

PDF XML AMS-TeX TEXT BIBTeX

io-port 05860291 Cangialosi, Piero; De Giacomo, Giuseppe; De Masellis, Riccardo; Rosati, Riccardo

Conjunctive artifact-centric services. (English)

Maglio, Paul P. (ed.) et al., Service-oriented computing. 8th international conference, ICSOC 2010, San Francisco, CA, USA, December 7‒10, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-17357-8/pbk). Lecture Notes in Computer Science 6470, 318-333 (2010).

14

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05804116 Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo; Ruzzi, Marco; Savo, Domenico Fabio

Inconsistency-tolerant semantics for description logics. (English)

Hitzler, Pascal (ed.) et al., Web reasoning and rule systems. Fourth international conference, RR 2010, Bressanone/Brixen, Italy, September 22‒24, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15917-6/pbk). Lecture Notes in Computer Science 6333, 103-117 (2010).

15

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05766799 Motik, Boris; Rosati, Riccardo

Reconciling description logics and rules. (English)

J. ACM 57, No. 5 (2010).

16

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70327586 Petracco-Giudici, Marco; Vidoni, Daniele; Rosati, Rossana

Compositional effects in italian primary schools: an exploratory analysis of INVALSI SNV data and suggestions for further research (English)

WSKS (2), 460-470 (2010).

17

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70380239 Cangialosi, Piero; De Giacomo, Giuseppe; De Masellis, Riccardo; Rosati, Riccardo

Conjunctive artifact-centric services (English)

ICSOC, 318-333 (2010).

18

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70551962 Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo; Ruzzi, Marco; Savo, Domenico Fabio

Inconsistency-tolerant semantics for description logics (English)

RR, 103-117 (2010).

19

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70748655 Rosati, Riccardo; Almatelli, Alessandro

Improving query answering over DL-lite ontologies (English)

KR (2010).

20

PDF XML AMS-TeX TEXT BIBTeX URL