Home arrow Documents

View categories Search document
You must login to submit new documents

Downloads

Publications arrow 2007
Order by: name | date | hits [descendent]
Documents in this subcategory Date added
Conjunctive Query Entailment in SHOQ (186.02 Kbytes) hot! 2007-09-03
Birte Glimm, Ian Horrocks and Ulrike Sattler. In Proceedings of the 2007 International Description Logics Workshop (DL-2007)
hits: 1261
Modular Ontology Languages Revisited (219.75 Kbytes) hot! 2007-09-03
Bernardo Cuenca Grau and Oliver Kutz. Proc. of the IJCAI-2007 Workshop on Semantic Web for Collaborative Knowledge Acquisition
hits: 1002
Next Steps for OWL (142.28 Kbytes) hot! 2007-09-03

Bernardo Cuenca Grau, Ian Horrocks, Bijan Parsia , Peter Patel-Schneider and Ulrike Sattler
Proc. of the Second OWL:Experiences and Directions Workshop (OWLED-2006)

hits: 996
Extracting Modules from Ontologies: A Logic-based Approach (168.25 Kbytes) hot! 2007-09-03
Bernardo Cuenca Grau , Ian Horrocks , Yevgeny Kazakov and Ulrike Sattler
Proc. of the Third International OWL:Experiences and Directions Workshop (OWLED-2007). number 258 in CEUR Proceedings.
hits: 889
A Tableau Decision procedure for SHOIQ (300.67 Kbytes) hot! 2007-09-03
Ian Horrocks and Ulrike Sattler. Journal of Automated Reasoning 39(1), 2007
hits: 774
A Logical Framework for Modularity of Ontologies (131.41 Kbytes) hot! 2007-09-03

Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov , and Ulrike Sattler
In Proc. of the 20th Int. Joint Conference on Artificial Intelligence (IJCAI 2007), pages 298-303 , Hyderabad, India, January 6–12 2007. Morgan Kaufmann Publishers

hits: 924
Pellet: A practical OWL DL Reasoner (129.68 Kbytes) hot! 2007-09-03

Evren Sirin, Bijan Parsia, Bernardo Cuenca Grau, Aditya Kalyanpur, Yarden Katz.  Journal of Web Semantics Volume 5, Issue 2

hits: 1123
Optimising Terminological Reasoning for Expressive Description Logics (325.19 Kbytes) hot! 2007-09-03
Dimitry Tsarkov, Ian Horrocks, Peter Patel-Schneider. Journal of Automated Reasoning 39(1).
hits: 984
Just the Right Amount: Extracting Modules from Ontologies (224.04 Kbytes) hot! 2007-09-03

Bernardo Cuenca Grau , Ian Horrocks , Yevgeny Kazakov and Ulrike Sattler
In Proc. of the 16th International World Wide Web Conference (WWW 2007), pages 717-727, Banff, AB, Canada, May 8–12 2007. ACM Press.

hits: 870
Ontology Reuse: Better Safe than Sorry (181.43 Kbytes) hot! 2007-09-03
Bernardo Cuenca Grau , Ian Horrocks , Yevgeny Kazakov and Ulrike Sattler
Proc. of the 2007 Description Logic Workshop (DL-2007). Volume 250 of CEUR Proceedings
hits: 959
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
Pinpointing in the Description Logic EL (138.11 Kbytes) hot! 2007-09-04

Franz Baader, Rafael Penaloza and Boontawee Suntisrivaraporn.
Proceedings of the 2007 International Workshop on Description Logics (DL2007) 

hits: 922
Computing the Least Common Subsumer w.r.t. a Background Terminology (333.81 Kbytes) hot! 2007-09-04

Franz Baader, Baris Sertkaya and Anni-Yasmin Turhan.
Journal of Applied Logic , 5:392-420, 2007.

hits: 876
Conjunctive Query Answering for the Description Logic SHIQ (172.56 Kbytes) hot! 2007-09-04

Birte Glimm, Ian Horrocks, Carsten Lutz and Ulrike Sattler.
Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI-07) . AAAI Press.
 

hits: 939
PDL with Intersection and Converse is 2EXP-complete (203.52 Kbytes) hot! 2007-09-04

S. Goeller, M. Lohrey, and C. Lutz.
Tenth International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2007), Lecture Notes in Computer Science. Springer.

 

hits: 752
<< Start < Prev 1 2 3 4 Next > End >>

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

2005-2007 TONES - Thinking Ontologies
1