#### Filter Results:

- Full text PDF available (197)

#### Publication Year

1971

2018

- This year (18)
- Last 5 years (86)
- Last 10 years (172)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Brain Region

#### Data Set Used

#### Method

#### Organism

Learn More

- Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
- Journal of Automated Reasoning
- 2007

We propose a new family of description logics (DLs), called DL-Lite, specifically tailored to capture basic ontology languages, while keeping low complexity of reasoning. Reasoning here means notâ€¦ (More)

- Antonella Poggi, Domenico Lembo, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati
- J. Data Semantics
- 2008

Many organizations nowadays face the problem of accessing existing data sources by means of flexible mechanisms that are both powerful and efficient. Ontologies are widely considered as a suitableâ€¦ (More)

We propose a new Description Logic, called DL-Lite, specifically tailored to capture basic ontology languages, while keeping low complexity of reasoning. Reasoning here means not only computingâ€¦ (More)

- Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
- Description Logics
- 2005

In this paper we study data complexity of answering conjunctive queries over DL knowledge bases constituted by an ABox and a TBox. In particular, we characterize the LogSpace boundary (over the data)â€¦ (More)

- Riccardo Rosati
- KR
- 2006

The integration of Description Logics and Datalog rules presents many semantic and computational problems. In particular, reasoning in a system fully integrating Description Logics knowledge basesâ€¦ (More)

- Boris Motik, Riccardo Rosati
- J. ACM
- 2008

Description logics (DLs) and rules are formalisms that emphasize different aspects of knowledge representation: whereas DLs are focused on specifying and reasoning about conceptual knowledge, rulesâ€¦ (More)

- Riccardo Rosati
- J. Web Sem.
- 2005

We define the formal framework of r-hybrid knowledge bases (KBs) integrating ontologies and rules. A r-hybrid KB has a structural component (ontology) and a rule component. Such a framework is veryâ€¦ (More)

It is well-known that inconsistency causes severe problems in classical logic. In particular, since an inconsistent logical theory has no model, it logically implies every formula, and, therefore,â€¦ (More)

- Diego Calvanese, Giuseppe De Giacomo, +4 authors Riccardo Rosati
- Reasoning Web
- 2009

Ontologies provide a conceptualization of a domain of interest. Nowadays, they are typically represented in terms of Description Logics (DLs), and are seen as the key technology used to describe theâ€¦ (More)

- Boris Motik, Riccardo Rosati
- IJCAI
- 2007

Integrating description logics (DL) and logic programming (LP) would produce a very powerful and useful formalism. However, DLs and LP are based on quite different principles, so achieving a seamlessâ€¦ (More)