Home arrow Documents

View categories Search document
You must login to submit new documents

Downloads

Publications arrow 2006
Order by: name | date | hits [ascendent]
Documents in this subcategory Date added
mo_ha_we_DJKI_06 (198.84 Kbytes) hot! 2007-09-05

Ralf Möller, Volker Haarslev, and Michael Wessel.

On the Scalability of Description Logic Instance Retrieval.

hits: 1166
Reasoning Support for Ontology Design (134.2 Kbytes) hot! 2006-10-09

Carsten Lutz, Franz Baader, Enrico Franconi, Domenico Lembo, Ralf Möller, Riccardo Rosati, Ulrike Sattler, Boontawee Suntisrivaraporn, Sergio Tessaris
In Proc. of the of the second international workshop OWL: Experiences and Directions Workshop (OWLED 2006)

hits: 1310
DIG 2.0 -- Towards a Flexible Interface for Description Logic Reasoners (163.73 Kbytes) hot! 2006-10-09
Anni-Yasmin Turhan, Sean Bechhofer, Alissa Kaplunova, Thorsten Liebig, Marko Luther, Ralf Möller , Olaf Noppens, Peter Patel-Schneider, Boontawee Suntisrivaraporn, Timo Weithöner.
In Proc. of the of the second international workshop OWL: Experiences and Directions Workshop (OWLED 2006)
hits: 1188
On the Update of Description Logic Ontologies at the Instance Level (110.69 Kbytes) hot! 2006-09-25
Giuseppe De Giacomo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati.
In Proc. of the 21st Nat. Conf. on Artificial Intelligence (AAAI 2006), 2006.
hits: 1211
On the Decidability and Finite Controllability of Query Processing in Databases with Incomplete Info (177.89 Kbytes) hot! 2006-09-25
Riccardo Rosati.
In Proc. of the 25th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS 2006), pages 356-365, 2006.
hits: 1295
DL+log: Tight Integration of Description Logics and Disjunctive Datalog (128.2 Kbytes) hot! 2006-09-25
Riccardo Rosati.
In Proc. of the 10th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2006), pages 68-78. 2006.
hits: 1581
On the First-order Reducibility of Unions of Conjunctive Queries over Inconsistent Databases (262.02 Kbytes) hot! 2006-09-25

Domenico Lembo, Riccardo Rosati, and Marco Ruzzi.
In Proc. of the Int.l Work. on Inconsistency and Incompleteness in Databases (IIDB 2006). 2006.

hits: 1341
Data Complexity of Answering Unions of Conjunctive Queries in SHIQ (213.47 Kbytes) hot! 2006-09-13
Magdalena Ortiz, Diego Calvanese, and Thomas Eiter.
In Proc. of the 2006 Description Logic Workshop (DL 2006). CEUR Electronic Workshop Proceedings, http://ceur-ws.org/Vol-189/, 2006.
hits: 1247
Characterizing Data Complexity for Conjunctive Query Answering in Expressive Description Logics (232.56 Kbytes) hot! 2006-09-13
Magdalena Ortiz, Diego Calvanese, and Thomas Eiter.
In Proc. of the 21st Nat. Conf. on Artificial Intelligence (AAAI 2006), 2006.
hits: 1252
Epistemic First-order Queries over Description Logic Knowledge Bases (209.38 Kbytes) hot! 2006-09-13
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, and Riccardo Rosati.
In Proc. of the 2006 Description Logic Workshop (DL 2006). CEUR Electronic Workshop Proceedings, http://ceur-ws.org/Vol-189/, 2006.
hits: 1627
Updating Description Logic ABoxes (185.51 Kbytes) hot! 2006-08-31
H. Liu, C. Lutz, M. Milicic, and F. Wolter.
In Patrick Doherty, John Mylopoulos, and Christopher Welty, editors, Proc. of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR-2006), pages 46–56. AAAI Press, 2006.
hits: 1144
Did I Damage my Ontology? A Case for Conservative Extensions in Description Logics (171.21 Kbytes) hot! 2006-08-31
S. Ghilardi, C. Lutz, and F. Wolter.
In Patrick Doherty, John Mylopoulos, and Christopher Welty, editors, Proc. of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR 2006), pages 187–197. AAAI Press, 2006.
hits: 1091
Reasoning about Actions using Description Logics with general TBoxes (233.51 Kbytes) hot! 2006-08-31
H. Liu, C. Lutz, M. Milicic, and F. Wolter.
In Proc. of the 10th European Conference on Logics in Artificial Intelligence (JELIA 2006), 2006.
hits: 1296
A Tableau Algorithm for Description Logics with Concrete Domains and General TBoxes (334.23 Kbytes) hot! 2006-08-31
C. Lutz and M. Milicic.
Journal of Automated Reasoning. Special Issue on on Automated Reasoning with Analytic Tableaux and Related Methods, 2006.
hits: 1423
Efficient Reasoning in EL+ (158.44 Kbytes) hot! 2006-08-31
F. Baader, C. Lutz, and B. Suntisrivaraporn.
In Proc. of the 2006 International Workshop on Description Logics (DL2006), CEUR-WS, 2006.
hits: 1049
Expressive Non-Monotonic Description Logics Based on Circumscription (186.87 Kbytes) hot! 2006-08-31
P. Bonatti, C. Lutz, and F. Wolter.
In P. Doherty, J. Mylopoulos, and C. Welty, editors, Proc. of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR'06), pages 400–410. AAAI Press, 2006.
hits: 1040
Description Logic Actions with general TBoxes: a Pragmatic Approach (132.25 Kbytes) hot! 2006-08-31
H. Liu, C. Lutz, M. Milicic, and F. Wolter.
In Proc. of the 2006 Int. Workshop on Description Logics (DL2006), 2006.
hits: 1166
Complexity and Succinctness of Public Announcement Logic (169.38 Kbytes) hot! 2006-08-31
C. Lutz.
In Peter Stone and Gerhard Weiss, editors, Proc. of the 5th Int. Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'06), pages 137–144. Association for Computing Machinery (ACM), 2006.
hits: 1205
Pushing Doors for Modeling Contexts with OWL DL – a Case Study (126.94 Kbytes) hot! 2006-08-31
A.-Y. Turhan, T. Springer, and M. Berger.
In J. Indulska and D. Nicklas, editors, Proc. of the Workshop on Context Modeling and Reasoning (CoMoRea'06). IEEE Computer Society, March 2006.
hits: 1234
The Complexity of Enriched µ-Calculi (417.63 Kbytes) hot! 2006-08-31
Piero Bonatti, Carsten Lutz, Aniello Murano, and Moshe Vardi.
In Michele Bugliesi, Bart Preneel, Vladimiro Sassone, and Ingo Wegener, editors, Proc. of the 33rd Int. Colloquium on Automata, Languages and Programming, Part II (ICALP'06), volume 4052 of Lecture Notes in Computer Science, pages 540–551. Springer-Verlag. 2006.
hits: 1252
<< Start < Prev 1 2 Next > End >>

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

2005-2007 TONES - Thinking Ontologies
1