Home arrow Documents

View categories Search document
You must login to submit new documents

Downloads

Publications arrow 2007
Order by: name | date | hits [ascendent]
Documents in this subcategory Date added
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
Data Complexity in the EL family of DLs (181.59 Kbytes) hot! 2007-09-04

A. Krisnadhi and C. Lutz.
In Proceedings of the 2007 International Workshop on Description Logics (DL2007), CEUR-WS.

 

hits: 809
Inverse Roles Make Conjunctive Queries Hard (248.97 Kbytes) hot! 2007-09-04

Carsten Lutz.
Proceedings of the 2007 International Workshop on Description Logics (DL2007), CEUR-WS.

hits: 787
Conservative Extensions in the Lightweight Description Logic EL (261.53 Kbytes) hot! 2007-09-04

Carsten Lutz and Frank Wolter.
In Proceedings of the 21st Conference on Automated Deduction (CADE-21). Springer, 2007.

hits: 865
Conservative Extensions in Expressive Description Logics (129.33 Kbytes) hot! 2007-09-04

Carsten Lutz, Dirk Walther and Frank Wolter.
In Proceedings of the Twentieth International Joint Conference on Artificial Intelligence IJCAI-07. AAAI Press, 2007.

hits: 873
Planning in Action Formalisms based on DLs: First Results (145.71 Kbytes) hot! 2007-09-04

Maja Milicic.
In Proceedings of the 2007 International Workshop on Description Logics (DL2007), CEUR-WS.

hits: 763
Speeding up Approximation with Nicer Concepts (203.91 Kbytes) hot! 2007-09-04

Anni-Yasmin Turhan and Yusri Bong.
In Proceedings of the 2007 International Workshop on Description Logics (DL2007), CEUR-WS.

hits: 948
The Complexity of Query Containment in Expressive Fragments of XPath 2.0 (297.12 Kbytes) hot! 2007-09-04

B. ten Cate and C. Lutz.
In Proceedings of the 26th ACM Symposium on Principles of Database Systems (PODS'07). ACM Press.

 

hits: 806
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

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

2005-2007 TONES - Thinking Ontologies
1