Home arrow Documents

View categories Search document
You must login to submit new documents

Downloads

Publications arrow 2008
Order by: name | date | hits [ascendent]
Documents in this subcategory Date added
The revival of structural subsumption in tableau-based description logic reasoners (195.16 Kbytes) hot! 2008-10-28

V. Haarslev and R. Möller

 In Proceedings of the 2008 International Workshop on Description Logics (DL-2008)

hits: 916
amor_etal_SEBD_2008 (213.16 Kbytes) hot! 2008-10-27
A. Amoroso, G. Esposito, D. Lembo, P. Urbano, and R. Vertucci. Ontology based data integration with MASTRO-I for Configuration and Data Management at SELEX Sistemi Integrati. In Proceedings of the 16th Italian Conference on Database Systems (SEBD 2008), pages 81–92, 2008.
hits: 881
Data integration through DL-LiteA ontologies (496.78 Kbytes) hot! 2008-10-27
D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini, A. Poggi, R. Rosati, and M. Ruzzi. In K.D. Schewe and B. Thalheim, editors, Semantics in Data and Knowledge Bases: Postproc. of the Int. Workshop SDKB 2008, volume 4925 of Lecture Notes in Computer Science, pages 26–47. Springer, 2008.
hits: 870
Inconsistency tolerance in P2P data integration: an epistemic logic approach (392.85 Kbytes) hot! 2008-10-27
D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini, and R. Rosati. Information Systems, 33(4):360–384, 2008.
hits: 834
Path-based identification constraints in Description Logics (303.76 Kbytes) hot! 2008-10-27
D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini, and R. Rosati. In Proc. of the 11th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2008), 2008.
hits: 861
Conjunctive query containment and answering under Description Logic constraints (379.56 Kbytes) hot! 2008-10-27
D. Calvanese, G. De Giacomo, and M. Lenzerini. ACM Trans. on Computational Logic, 9(3):22.1–22.31, 2008.
hits: 851
View-based query answering over Description Logic ontologies. (368.31 Kbytes) hot! 2008-10-27
D. Calvanese, G. De Giacomo, M. Lenzerini, and R. Rosati. In Proc. of the 11th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2008), 2008.
hits: 883
When DL-lite met OWL... (231.05 Kbytes) hot! 2008-10-27
C. Corona, E. Di Pasquale, A. Poggi, M. Ruzzi, and D. F. Savo. In Proc. of the 5th Int. Workshop on OWL: Experiences and Directions (OWLED 2008), 2008.
hits: 932
On instance level update and erasure in Description Logic ontologies (274.2 Kbytes) hot! 2008-10-27

G. De Giacomo, M. Lenzerini, A. Poggi, and R. Rosati.  J. of Logic and Computation, Special Issue on Ontology Dynamics, 2008.

hits: 794
Towards higher-order DL-Lite (preliminary report) (101.93 Kbytes) hot! 2008-10-27
G. De Giacomo, M. Lenzerini, and R. Rosati. In Proc. of the 2008 Int. Work. on Description Logic (DL 2008), 2008.
hits: 773
Linking data to ontologies (395.48 Kbytes) hot! 2008-10-27
A. Poggi, D. Lembo, D. Calvanese, G. De Giacomo, M. Lenzerini, and R. Rosati. Journal on Data Semantics, X:133–173, 2008.
hits: 826
Ontology-based database access with DIG-Mastro and the ODBA plugin for protégé (demo) (162.31 Kbytes) hot! 2008-10-27
A. Poggi, M. Rodriguez-Muro, and M. Ruzzi. ). In Proc. of the 4th Int. Work. on OWL: Experiences and Directions (OWLED 2008 DC), 2008
hits: 885
Finite model reasoning in DL-lite (404.32 Kbytes) hot! 2008-10-27
R. Rosati. In Proc. of the 5th European Semantic Web Conference (ESWC 2008), volume 5021 of Lecture Notes in Computer Science, pages 215–229. Springer, 2008.
hits: 1144
On combining Description Logic ontologies and nonrecursive Datalog rules (136.79 Kbytes) hot! 2008-10-27
R. Rosati.  In Proc. of the 2nd Int. Conf. on Web Reasoning and Rule Systems (RR 2008), 2008.
hits: 841
cuen_horr_kaza_satt_JAIR_2008 (634.07 Kbytes) hot! 2008-10-24
B. Cuenca Grau, I. Horrocks, Y. Kazakov, and U. Sattler. Modular Reuse of Ontologies: Theory and Practice. Journal of Artificial Intelligence Research (JAIR), Vol. 31, pages 273-318, 2008.
hits: 804
Conjunctive Query Answering for the Description Logic (501.28 Kbytes) hot! 2008-10-24
B. Glimm, I. Horrocks, C. Lutz, and U. Sattler. Journal of Artificial Intelligence Research, Vol. 31, pages 157-204, 2008.
hits: 833
Reasoning in Description Logics by a Reduction to Disjunctive Datalog (294 Kbytes) hot! 2008-10-24
U. Hustadt, B. Motik, and U. Sattler.   Journal of Automated Reasoning, Springer Verlag, 39(3), 351-384, 2007.
hits: 834
Safe and Economic Re-Use of Ontologies: A Logic-Based Methodology and Tool Support (778.46 Kbytes) hot! 2008-10-24
E. Jimenez-Ruiz, B. Cuenca Grau, U. Sattler, T. Schneider, and R. Berlanga. In The Semantic Web: Research and Applications, vol. 5021 of LNCS, Springer Verlag, 2008.
hits: 1007
OWL 2: The next step for OWL (498.38 Kbytes) hot! 2008-10-24
B. Cuenca Grau, I. Horrocks, B. Motik, B. Parsia, P. Patel-Schneider, and U. Sattler.  Web Semantics: Science, Services and Agents on the World Wide Web
hits: 827
Laconic and Precise Justifications in OWL (240.23 Kbytes) hot! 2008-10-24
M. Horridge, B. Parsia, and U. Sattler (2007). In Proc. of the 7th International Semantic Web Conference (ISWC 2008), Vol. 5318 of LNCS, Springer, 2008.
hits: 899
<< Start < Prev 1 2 Next > End >>

DocMan 1.2.3 - 17/06/2004 - © 2003-2004 DocMan dev team

2005-2007 TONES - Thinking Ontologies
1