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
On conjunctive query answering in EL (105.09 Kbytes) hot! 2007-09-06
Riccardo Rosati
Proceedings of the 2007 Description Logic Workshop (DL 2007).
hits: 1096
Ontology-based database access (104.86 Kbytes) hot! 2007-09-06
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, and Riccardo Rosati
Proceedings of the 15th Italian Conference on Database Systems (SEBD 2007).
hits: 1018
Ontology-based data access with MASTRO (52.48 Kbytes) hot! 2007-09-06
Antonella Poggi and Marco Ruzzi
Proceedings of the 15th Italian Conference on Database Systems (SEBD 2007).
hits: 1161
Finite Model Reasoning on UML Class Diagrams via Constraint Programming (213.66 Kbytes) hot! 2007-09-06
Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo, and Toni Mancini
Proceedings of the 10th Congress of the Italian Association for Artificial Intelligence (AIIA 2007).
hits: 967
Automatic Synthesis of a Global Behavior from Multiple Distributed Behaviors (172.78 Kbytes) hot! 2007-09-06
Sebastian Sardiña, Fabio Patrizi, and Giuseppe De Giacomo
Proceedings of the 22nd Conference of the American Association for Artificial Intelligence (AAAI 2007).
hits: 1112
Automatic Synthesis of New Behaviors from a Library of Available Behaviors (124.94 Kbytes) hot! 2007-09-06

Giuseppe De Giacomo and Sebastian Sardiña
Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007).

hits: 803
be_ka_ka_mo_OWLED_07 (138.41 Kbytes) hot! 2007-09-05

T. Berger, A. Kaplunova, A. Kaya, and R. Möller.  

Towards a Scalable and Efficient Middleware for Instance Retrieval Inference Services.

hits: 852
ga_mo_SE_07 (197.97 Kbytes) hot! 2007-09-05

M. Garcia and R. Möller.  

Certification of Transformations Algorithms in Model-Driven Software Development.

hits: 858
Ontology-based reasoning techniques for multimedia interpretation and retrieval (1.45 Mbytes) hot! 2007-09-05

R. Möller and B. Neumann.  

Ontology-based reasoning techniques for multimedia interpretation and retrieval

hits: 759
On Scene Interpretation with Description Logics (963.3 Kbytes) hot! 2007-09-05

B. Neumann and R. Möller.

On Scene Interpretation with Description Logics.

hits: 965
Multimedia Interpretation as Abduction (639.8 Kbytes) hot! 2007-09-05

S. Espinosa Peraldi, A. Kaya, S. Melzer, R. Möller, and M. Wessel.  

Multimedia Interpretation as Abduction.

hits: 924
Towards a Media Interpretation Framework for the Semantic Web (290.52 Kbytes) hot! 2007-09-05

S. Espinosa Peraldi, A. Kaya, S. Melzer, R. Möller, and M. Wessel.  

Towards a Media Interpretation Framework for the Semantic Web.

hits: 929
Flexible Software Architectures for Ontology-Based Information Systems (750.34 Kbytes) hot! 2007-09-05

M. Wessel and R. Möller.  

Flexible Software Architectures for Ontology-Based Information Systems.

hits: 771
Design Principles and Realization Techniques for User Friendly, Interactive, and Scalable OBITs (291.7 Kbytes) hot! 2007-09-05

M. Wessel and R. Möller. Design

Principles and Realization Techniques for User Friendly, Interactive, and Scalable Ontology Browsing and Inspection Tools.

hits: 752
A Description Logic of Change (189.21 Kbytes) hot! 2007-09-04
A. Artale and C. Lutz and D. Toman
Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI-07)
hits: 909
Completing Description Logic Knowledge Bases using Formal Concept Analysis (93.52 Kbytes) hot! 2007-09-04

Franz Baader, Bernhard Ganter, Ulrike Sattler and Baris Sertkaya.
Proceedings of the Twentieth International Joint Conference on  Artificial Intelligence (IJCAI-07)

hits: 906
Completing Description Logic Knowledge Bases using Formal Concept Analysis (181.75 Kbytes) hot! 2007-09-04

Franz Baader, Bernhard Ganter, Ulrike Sattler and Baris Sertkaya.
Proceedings of the Third International Workshop OWL: Experiences and Directions (OWLED 2007)

hits: 831
SI! Automata Can Show PSPACE Results for Description Logics (163.53 Kbytes) hot! 2007-09-04

Franz Baader, Jan Hladik and Rafael Penaloza.
Proceedings of the First International Conference on Language and Automata Theory and Applications (LATA'07)

hits: 980
Is Tractable Reasoning in Extensions of the Description Logic EL Useful in Practice? (242.75 Kbytes) hot! 2007-09-04

Franz Baader, Carsten Lutz and Boontawee Suntisrivaraporn.
 Journal of Logic, Language and Information, Special Issue on Method for Modality (M4M), 2007

hits: 863
Axiom Pinpointing in General Tableaux (233.15 Kbytes) hot! 2007-09-04

Franz Baader and Rafael Penaloza.
Proceedings of the 16th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2007)
 

hits: 850

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

2005-2007 TONES - Thinking Ontologies
1