BibSonomy :: user :: ontorule

Query Answering in the Description Logic S
Meghyn Bienvenu, Thomas Eiter, Carsten Lutz, Magdalena Ortiz, and Mantas Simkus. Proceedings of the 23rd International Workshop on Description Logics DL2010, (2010)
Meghyn Bienvenu, Thomas Eiter, Carsten Lutz, Magdalena Ortiz, and Mantas Simkus. Proceedings of the 23rd International Workshop on Description Logics DL2010, (2010)
2 years and 3 months ago
by ontorule
3
2010 ontorule wp3
(0)
URLDOITeX
Worst-case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2
Magdalena Ortiz, Sebastian Rudolph, and Mantas Simkus. Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference KR-10, page 269-279. AAAI Press, (May 2010)
Magdalena Ortiz, Sebastian Rudolph, and Mantas Simkus. Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference KR-10, page 269-279. AAAI Press, (May 2010)
2 years and 3 months ago
by ontorule
4
2010 ontorule wp3
(0)
URLDOITeX
DReW: a Reasoner for Datalog-rewritable Description Logics and DL-Programs
Guohui Xiao, Stijn Heymans, and Thomas Eiter. 1st International Workshop on Business Models, Business Rules and Ontologies BuRO 2010, (September 2010)
Guohui Xiao, Stijn Heymans, and Thomas Eiter. 1st International Workshop on Business Models, Business Rules and Ontologies BuRO 2010, (September 2010)
2 years and 3 months ago
by ontorule
2
2010 ontorule refereedpub
(0)
URLDOITeX
Tractable Reasoning with DL-Programs over Datalog-rewritable Description Logics
Stijn Heymans, Thomas Eiter, and Guohui Xiao. Proc. of 19th European Conference on Artificial Intelligence ECAI, volume 215 of Frontiers in Artificial Intelligence and Applications, page 35--40. IOS Press, (2010)
Stijn Heymans, Thomas Eiter, and Guohui Xiao. Proc. of 19th European Conference on Artificial Intelligence ECAI, volume 215 of Frontiers in Artificial Intelligence and Applications, page 35--40. IOS Press, (2010)
2 years and 3 months ago
by ontorule
4
2010 myown ontorule refereedpub wp3
(0)
URLDOITeX
⟨⟨⟨1⟩⟩⟩

bookmarks

publications (4)