| BibSonomy publications for /user/ontorule/ontorule |
- A Logic Based Approach to the Static Analysis of Production Systems
ONTORULE Related publications
- Foundations of Temporal Conceptual Data Models
ONTORULE Related publications
- Complexity of the Stable Model Semantics for Queries on Incomplete Databases
ONTORULE Related publications
- Conceptual Modeling: Foundations and Applications - Essays in Honor of John Mylopoulos
ONTORULE Related publications
- Effective Query Rewriting with Ontologies over DBoxes
ONTORULE Related publications
- Query answering in description logics: the knots approach
T. Eiter and C. Lutz and M. Ortiz and M. Simkus Proceedings 16th Workshop on Logic, Language, Information and Computation WoLLIC 2009, 5514, page 26-36. Springer, (2009)
- Well-Founded Semantics for Description Logic Programs in the Semantic Web
Thomas Eiter and Giovambattista Ianni and Thomas Lukasiewicz and Schindlauer. (2009)
- Hybrid reasoning with rules and ontologies
W. Drabent and T. Eiter and G. Ianni and T. Krennwallner and T. Lukasiewicz and J. Maluszynski. Semantic Techniques for the WebJuly 2009.
- Regular path queries in expressive description logics with nominals
M. Ortiz and D. Calvanese Proceedings of the 21st International Joint Conference on Artificial Intelligence. AAAI Press/IJCAI, 2009.July 2009. To appear .
- Hybrid Reasoning with Forest Logic Programs
Cristina Feier and Stijn Heymans Proc. of the European Semantic Web Conference ESWC 2009, Springer, (2009) Forthcoming .
- Bidirectional answer set programs with function symbols
M. Simkus and T. Eiter Proceedings of the 21st International Joint Conference on Artificial Intelligence. AAAI Press/IJCAI, 2009.July 2009. To appear .
- Decomposition of declarative knowledge bases with external functions
T. Krennwallner and T. Eiter Proceedings of the 21st International Joint Conference on Artificial Intelligence. AAAI Press/IJCAI, 2009.(2009) To appear .
- Query answering in description logics with transitive roles
T. Eiter and C. Lutz and M. Ortiz and M. Simkus. Proceedings of the 21st International Joint Conference on Artificial Intelligence. AAAI Press/IJCAI, 2009.July 2009. To appear .
- Realizing Default Logic over Description Logic Knowledge Bases
Minh DAO Tran and Thomas Eiter and Thomas Krennwallner Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty ECSQARU 2009, Verona, Italy, July 1--3, 2009, Springer, (2009) Forthcoming .
|
Dissemination 
