Home arrow Documents

View categories Search document
You must login to submit new documents

Downloads

Publications arrow 2006
Order by: name | date | hits [descendent]
Documents in this subcategory Date added
Data Complexity of Query Answering in Description Logics (149.33 Kbytes) hot! 2006-03-23
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, and Riccardo Rosati.
In Proc. of the 10th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2006), 2006.
hits: 837
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
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
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
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
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
CEL - A Polynomial-time reasoner for Life Science Ontologies (119.63 Kbytes) hot! 2006-06-16
F. Baader, C. Lutz, and B. Suntisrivaraporn.
In Proc. of the 3rd Int. Joint Conference on Automated Reasoning (IJCAR'06), 2006.
hits: 860
Computing the Least Common Subsumer w.r.t. a Background Terminology (315.28 Kbytes) hot! 2006-06-19
Franz Baader, Baris Sertkaya, Anni-Yasmin Turhan.
In Journal of Applied Logic. To Appear. 2006.
hits: 736
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
Beyond Asserted Axioms: Fine-Grain Justifications for OWL-DL Entailments (100.41 Kbytes) hot! 2006-08-30
Aditya Kalyanpur, Bijan Parsia and Bernardo Cuenca Grau. In Proc. of the 2006 Description Logics Workshop, 2006.
hits: 820
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
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
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: 1304
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: 1432
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
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: 1045
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: 1171
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: 1212
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
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
<< Start < Prev 1 2 Next > End >>

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

2005-2007 TONES - Thinking Ontologies
1