SCOPUS 정보 검색 플랫폼

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2009, Pages 2010-2015

DL-LITEℛin the light of propositional logic for decentralized data management

(3) Abdallah, N a Goasdoue F a Rousset, M C b

a CNRS (France)

b UNIV GRENOBLE ALPES (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; DATA DESCRIPTION; DISTRIBUTED COMPUTER SYSTEMS; FORMAL LOGIC; PEER TO PEER NETWORKS;

CONSISTENCY CHECKING; DESCRIPTION LOGIC; INFERENCE SYSTEMS; MINICON ALGORITHM; PEER DATA MANAGEMENT SYSTEMS; PROPOSITIONAL LOGIC; QUERY REFORMULATION; STATE OF THE ART;

INFORMATION MANAGEMENT;

EID: 74549223920 PISSN: 10450823 EISSN: None Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper

Times cited : (6)

References (11)

1
- 33744482837
- Distributed reasoning in a peer-to-peer setting
- P. Adjiman, P. Chatalic, F. Goasdoué, M.-C. Rousset, and L. Simon. Distributed reasoning in a peer-to-peer setting. JAIR, 25, 2006.
- (2006) JAIR , vol.25
- Adjiman, P.¹ Chatalic, P.² Goasdoué, F.³ Rousset, M.-C.⁴ Simon, L.⁵

2
- 74549133276
- Somerdfs in the semantic web
- P. Adjiman, F. Goasdoué, and M.-C. Rousset. Somerdfs in the semantic web. JODS, 8, 2007.
- (2007) JODS , vol.8
- Adjiman, P.¹ Goasdoué, F.² Rousset, M.-C.³

3
- 77954696444
- The semantics of consistency and trust in peer data exchange systems
- L. E. Bertossi and L. Bravo. The semantics of consistency and trust in peer data exchange systems. In LPAR, 2007.
- LPAR, 2007
- Bertossi, L.E.¹ Bravo, L.²

4
- 34548305118
- Tractable reasoning and efficient query answering in description logics: The dl-lite family
- D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini, and R. Rosati. Tractable reasoning and efficient query answering in description logics: The dl-lite family. JAR, 39(3):385-429, 2007.
- (2007) JAR , vol.39 , Issue.3 , pp. 385-429
- Calvanese, D.¹ De Giacomo, G.² Lembo, D.³ Lenzerini, M.⁴ Rosati, R.⁵

5
- 43049138060
- Inconsistency tolerance in p2p data integration: An epistemic logic approach
- D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini, and R. Rosati. Inconsistency tolerance in p2p data integration: An epistemic logic approach. Information Systems, 33(4-5), 2008.
- (2008) Information Systems , vol.33 , Issue.4-5
- Calvanese, D.¹ De Giacomo, G.² Lembo, D.³ Lenzerini, M.⁴ Rosati, R.⁵

6
- 67650387382
- View-based query answering over description logic ontologies
- D. Calvanese, G. De Giacomo, M. Lenzerini, and R. Rosati. View-based query answering over description logic ontologies. In KR, 2008.
- KR, 2008
- Calvanese, D.¹ De Giacomo, G.² Lenzerini, M.³ Rosati, R.⁴

7
- 85135987117
- Queries and updates in the coDB peer-to-peer database system
- E. Franconi, G. Kuper, A. Lopatenko, and I. Zaihrayeu. Queries and updates in the coDB peer-to-peer database system. In VLDB, 2004.
- VLDB, 2004
- Franconi, E.¹ Kuper, G.² Lopatenko, A.³ Zaihrayeu, I.⁴

8
- 0344927771
- Schema mediation in peer data management systems
- A. Y. Halevy, Z. G. Ives, D. Suciu, and I. Tatarinov. Schema mediation in peer data management systems. In ICDE, 2003.
- ICDE, 2003
- Halevy, A.Y.¹ Ives, Z.G.² Suciu, D.³ Tatarinov, I.⁴

9
- 0035658039
- Answering queries using views: A survey
- A. Y. Halevy. Answering queries using views: A survey. VLDB J., 10(4):270-294, 2001.
- (2001) VLDB J. , vol.10 , Issue.4 , pp. 270-294
- Halevy, A.Y.¹

10
- 0035486497
- Minicon: A scalable algorithm for answering queries using views
- R. Pottinger and A. Y. Halevy. Minicon: A scalable algorithm for answering queries using views. VLDB J., 10(2-3):182-198, 2001.
- (2001) VLDB J. , vol.10 , Issue.2-3 , pp. 182-198
- Pottinger, R.¹ Halevy, A.Y.²

11
- 84880740288
- Aspects of distributed and modular ontology reasoning
- L. Serafini, A. Borgida, and A. Tamilin. Aspects of distributed and modular ontology reasoning. In IJCAI, 2005.
- IJCAI, 2005
- Serafini, L.¹ Borgida, A.² Tamilin, A.³

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.