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: 841
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: 961
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: 1034
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: 772
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: 1006
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: 880
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: 869
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: 741
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: 1059
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: 824
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: 1165
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: 1112
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: 1315
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: 1447
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: 1067
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: 1057
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: 1184
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: 1226
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: 1269
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: 1274
<< Start < Prev 1 2 Next > End >>

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

2005-2007 TONES - Thinking Ontologies
1