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
Will my Ontologies Fit Together? (192.26 Kbytes) hot! 2006-05-29
Bernardo Cuenca Grau, Ian Horrocks, Oliver Kutz and Ulrike Sattler.
In Proc. of the 2006 International Workshop on Description Logics (DL 2006), 2006.
hits: 766
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: 1154
The Even More Irresistible SROIQ (275.13 Kbytes) hot! 2006-08-30
Ian Horrocks, Oliver Kutz and Ulrike Sattler.
In Proc. of the 10th International Conference on the Principles of Knowledge Representation and Reasoning (KR-2006), 2006.
hits: 1053
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: 1262
Repairing Unsatisfiable Concepts in OWL Ontologies (245.85 Kbytes) hot! 2006-05-29
Aditya Kalyanpur, Bijan Parsia, Evren Sirin, Bernardo Cuenca Grau.
In Proc. of the 3rd European Semantic Web Conference (ESWC 2006), 2006.
hits: 990
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: 1316
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: 1253
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: 1219
On the Scalability of Description Logic Instance Retrieval (198.84 Kbytes) hot! 2006-06-07
Ralf Moeller, Volker Haarslev, and Michael Wessel.
In Chr. Freksa and M. Kohlhase, editors, 29. Deutsche Jahrestagung für Künstliche Intelligenz, Lecture Notes in Artificial Intelligence. Springer Verlag, 2006.
hits: 874
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: 1355
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: 1306
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: 1177
Modularity and Web Ontologies (309.69 Kbytes) hot! 2006-05-29
Bernardo Cuenca Grau, Bijan Parsia, Evren Sirin and Aditya Kalyanpur.
In Proc. of the 10th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2006), 2006.
hits: 1029
From Wine to Water: Optimizing Description Logic Reasoning for Nominals (218.67 Kbytes) hot! 2006-05-29
Evren Sirin, Bernardo Cuenca Grau and Bijan Parsia.
In Proc. of the 10th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2006), 2006.
hits: 952
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: 1046
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: 1634
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: 1056
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: 1599
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: 1197
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: 1100
<< Start < Prev 1 2 Next > End >>

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

2005-2007 TONES - Thinking Ontologies
1