| BibSonomy publications for /tag/ontorule |
- Effective Query Rewriting with Ontologies over DBoxes
ONTORULE Related publications
- A Logic Based Approach to the Static Analysis of Production Systems
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
- Foundations of Temporal Conceptual Data Models
ONTORULE Related publications
- Open Answer Set Programming with Guarded Programs
Stijn Heymans and Davy Van Nieuwenborgh and Dirk Vermeir Transactions on Computational Logic9(4):1-53August 2008. ACM, 2008. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive v...
ACM, 2008. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in Transactions on Computational Logic, VOL 9, ISS 4, August 2008 http://doi.acm.org/10.1145/1380572.1380575
.
- Decidable Open Answer Set Programming
Stijn Heymans Theoretical Computer Science Lab TINF, Department of Computer Science, Vrije Universiteit Brussel, PhD Thesis, February 2006.
- A Reasoner for Simple Conceptual Logic Programs
Presentation for RR 2009
- 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 .
- 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 .
- 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 .
- 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 .
- 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 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.
- Well-Founded Semantics for Description Logic Programs in the Semantic Web
Thomas Eiter and Giovambattista Ianni and Thomas Lukasiewicz and Schindlauer. (2009)
- 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)
- Guarded Hybrid Knowledge Bases
Stijn Heymans and Jos de Bruijn and Livia Predoiu and Cristina Feier and Davy Van Nieuwenborgh Theory and Practice of Logic Programming TPLP, special issue Logic Programming and the Web8(3):411-429May 2008.
- Open Answer Set Programming for the Semantic Web
Stijn Heymans and Davy Van Nieuwenborgh and Dirk Vermeir Journal of Applied Logic5(1):144-169(2007)
- Conceptual Logic Programs
Stijn Heymans and Davy Van Nieuwenborgh and Dirk Vermeir Annals of Mathematics and Artificial Intelligence Special Issue on Answer Set Programming47(1-2):103-137June 2006.
- A Reasoner for Simple Conceptual Logic Programs
Stijn Heymans and Cristina Feier and Thomas Eiter Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems RR 2009, volume 5837 of Lecture Notes in Computer Science, page 55-70. Chantilly, USA, Springer, October 2009.
|
Dissemination 
