Home arrow Documents

View categories Search document
You must login to submit new documents

Downloads

Publications arrow 2007
Order by: name | date | hits [ascendent]
Documents in this subcategory Date added
Flexible Software Architectures for Ontology-Based Information Systems (750.34 Kbytes) hot! 2008-10-20

M. Wessel and R. Möller

Journal of Applied Logic,  Special Issue on Empirically Successful Systems. 2007


hits: 1070
Pinpointing in the Description Logic EL+ (364.59 Kbytes) hot! 2008-10-09
Franz Baader, Rafael Penaloza, and Boontawee Suntisrivaraporn. In Proceedings of the 30th German Conference on Artificial Intelligence (KI2007), LNAI, Osnabrück, Germany, 2007. Springer.
hits: 999
Complexity of Planning in Action Formalisms Based on Description Logics (184.27 Kbytes) hot! 2008-10-09

Maja Milicic.
In Proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2007), Lecture Notes in Artificial Intelligence. Springer-Verlag, 2007.

hits: 1049
Data Complexity in the EL family of Description Logics (215.24 Kbytes) hot! 2008-10-09

Adila Krisnadhi and Carsten Lutz. 
Proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR2007)
, volume 4790 of Lecture Notes in Artificial Intelligence, pages 333347. Springer-Verlag, 2007.

hits: 938
SNOMED CT's Problem List: Ontologists' and Logicians' Therapy Suggestions (216.38 Kbytes) hot! 2008-10-09

Stefan Schulz, Boontawee Suntisrivaraporn, and Franz Baader.
In Proceedings of The Medinfo 2007 Congress, Studies in Health Technology and Informatics (SHTI-series). IOS Press, 2007.

hits: 989
Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite family (478.47 Kbytes) hot! 2007-09-06
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite family Journal of Automated Reasoning, 2007.
hits: 1329
Inconsistency Tolerance in P2P Data Integration: an Epistemic Logic Approach (373.6 Kbytes) hot! 2007-09-06
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
Information Systems, 2007.
hits: 1310
Conjunctive query containment and answering under description logics constraints (379.56 Kbytes) hot! 2007-09-06
Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini
ACM Trans. on Computational Logic, 2007.
hits: 1159
View-based query processing: On the relationship between rewriting, answering and losslessness (403.06 Kbytes) hot! 2007-09-06
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, and Moshe Y. Vardi
Theoretical Computer Science, 2007.
hits: 1390
On the Approximation of Instance Level Update and Erasure in Description Logics (126.87 Kbytes) hot! 2007-09-06
Giuseppe De Giacomo, Maurizio Lenzerini, Antonella Poggi, and Riccardo Rosati
In Proceedings of the 22nd Conf. of the American Association for Artificial Intelligence (AAAI 2007).
hits: 1138
On reconciling data exchange, data integration, and peer data management (251.67 Kbytes) hot! 2007-09-06
Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, and Riccardo Rosati
Proceedings of the 26th ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems (PODS 2007).
hits: 1266
Consistent query answering over Description Logic Ontologies (270.62 Kbytes) hot! 2007-09-06

Domenico Lembo and Marco Ruzzi
Proceedings of the first International Conference on Web reasoning and Rule Systems (RR 2007).

hits: 1321
EQL-Lite: Effective first-order query processing in Description Logics (217.03 Kbytes) hot! 2007-09-06
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, and Riccardo Rosati
Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007).
hits: 1235
A faithful integration of Description Logics with Logic Programming (187.9 Kbytes) hot! 2007-09-06
Boris Motik and Riccardo Rosati
Proceedings of the 20h International Joint Conference on Artificial Intelligence (IJCAI 2007).
hits: 1184
The limits of querying ontologies (217.39 Kbytes) hot! 2007-09-06
Riccardo Rosati
Proceedings of the 11th International Conference on Database Theory (ICDT 2007).
hits: 1268
Can OWL model football leagues? (199.29 Kbytes) hot! 2007-09-06
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, and Riccardo Rosati
Proceedings of the 3rd Workshop on OWL: Experiences and Directions (OWLED 2007).
hits: 1217
Ontology-based data access with MASTRO (20.54 Kbytes) hot! 2007-09-06
Antonella Poggi and Marco Ruzzi
Proceedings of the 3rd Workshop on OWL: Experiences and Directions (OWLED 2007).
hits: 1256
Consistent query answering over Description Logic Ontologies (218.97 Kbytes) hot! 2007-09-06
Domenico Lembo and Marco Ruzzi
Proceedings of the 2007 Description Logic Workshop (DL 2007).
hits: 1423
Actions and programs over description logic ontologies (225.38 Kbytes) hot! 2007-09-06
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, and Riccardo Rosati
Proceedings of the 2007 International Workshop on Description Logic (DL 2007).
hits: 1181
MASTRO-I: Efficient integration of relational data through DL Ontologies (88.22 Kbytes) hot! 2007-09-06
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, and Riccardo Rosati
Proceedings of the 2007 Description Logic Workshop (DL 2007).
hits: 1285
<< Start < Prev 1 2 3 4 Next > End >>

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

2005-2007 TONES - Thinking Ontologies
1