- An Environment for the Joint Management of Written Policies and Business Rules.
François Levy, Abdoulaye Guisse, Adeline Nazarenko, Nouha Omrane, and Sylvie Szulman ICTAI 2, page 142-149. IEEE Computer Society, (2010)
- Dealing with Inconsistency when Combining Ontologies and Rules using DL-Programs
Jörg Pührer, Stijn Heymans, and Thomas Eiter Proc. of 7th Extended Semantic Web Conference ESWC 2010, volume 6088 of Lecture Notes in Computer Science, page 183-197. Springer Berlin / Heidelberg, (2010)
- Proceedings of the 1st International Workshop on Business Models, Business Rules and Ontologies BuRO 2010, co-located RR2010 Workshop, September 21, 2010
Thomas Eiter, Adil El Ghali, Sergio Fernàndez, Stijn Heymans, Thomas Krennwallner, and François Lévy (Eds.). Ontorule Consortium, (2010)Available at http://ontorule-project.eu/attachments/075_buro2010-proceedings.pdf .
- F-Logic#: Loosely Coupling F-Logic Rules and Ontologies
Stijn Heymans, Roman Korf, Michael Erdmann, Jörg Pührer, and Thomas Eiter Proc. of the 2010 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology, 1, page 248--255. (2010)
- FDNC: Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols
Thomas Eiter, and Mantas Simkus Transactions on Computational Logic TOCL (April 2010)Article 14 50 + 16 pages .
- Logical Foundations of RDFS with Datatypes
Jos de Bruijn, and Stijn Heymans Journal of Artificial Intelligence Research JAIR (2010)Accepted for Publication .
- Computing Inconsistency Measurements under Multi-Valued Semantics by Partial Max-SAT Solvers
Guohui Xiao, Zuoquan Lin, Yue Ma, and Guilin Qi KR, (2010)
- 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)
- 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)
- Authoring Business Rules grounded in OWL Ontologies.
A. Chniti, S. Dehors, P. Albert, and J. Charlet RuleML 2010 : The 4th International Web Rule Symposium: Research Based and Industry Focused, LNCS 6403, Springer-Verlag Berlin Heidelberg 2010, (2010)
- 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)
- 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)
- Well-Founded Semantics for Description Logic Programs in the Semantic Web
Thomas Eiter, Giovambattista Ianni, Thomas Lukasiewicz, and Roman Schindlauer. (2009)
- Hybrid reasoning with rules and ontologies
W. Drabent, T. Eiter, G. Ianni, T. Krennwallner, T. Lukasiewicz, and J. Maluszynski. Semantic Techniques for the Web (July 2009)
- Realizing Default Logic over Description Logic Knowledge Bases
Minh Dao-Tran, 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, page 602-613. Springer, (2009)Forthcoming .
- Decomposition of declarative knowledge bases with external functions
T. Eiter, M. Fink, and T. Krennwallner Proceedings of the 21st International Joint Conference on Artificial Intelligence. AAAI Press/IJCAI, 2009. (2009)
- Regular path queries in expressive description logics with nominals
D. Calvanese, T. Eiter, and M. Ortiz Proceedings of the 21st International Joint Conference on Artificial Intelligence. AAAI Press/IJCAI, 2009. (July 2009)
- Query answering in description logics with transitive roles
T. Eiter, C. Lutz, M. Ortiz, and M. Simkus. Proceedings of the 21st International Joint Conference on Artificial Intelligence. AAAI Press/IJCAI, 2009. (July 2009)
- 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)
- Annotation sémantique pour l'indexation de règles métiers
Abdoulaye Guissé, François Lévy, Adeline Nazarenko, and Sylvie Szulman Conférence Internationale sur la Terminologie et l'Intelligence Artificielle TIA 2009, page electronic medium. Université Paul Sabatier - Toulouse, (November 2009)
- Hybrid Reasoning with Forest Logic Programs
Cristina Feier, and Stijn Heymans Proc. of the European Semantic Web Conference ESWC 2009, Springer, (2009)Forthcoming .
- A Reasoner for Simple Conceptual Logic Programs.
Stijn Heymans, Cristina Feier, and Thomas Eiter RR, volume 5837 of Lecture Notes in Computer Science, page 55-70. Springer, (2009)
- Effective Query Rewriting with Ontologies over DBoxes
Enrico Franconi, Inanç Seylan, and Jos de Bruijn (2009)
- Foundations of Temporal Conceptual Data Models
Alessandro Artale, and Enrico Franconi Conceptual Modeling: Foundations and Applications, volume 5600 of Lecture Notes in Computer Science, page 10-35. Springer, (2009)
- Query answering in description logics: the knots approach
T. Eiter, C. Lutz, M. Ortiz, and M. Simkus Proceedings 16th Workshop on Logic, Language, Information and Computation WoLLIC 2009, 5514, page 26-36. Springer, (2009)
- Complexity of the Stable Model Semantics for Queries on Incomplete Databases
Jos Bruijn, and Stijn Heymans LPNMR '09: Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning, page 101--114. Berlin, Heidelberg, Springer-Verlag, (2009)
- A Logic Based Approach to the Static Analysis of Production Systems
Jos de Bruijn, and Martín Rezk RR, page 254-268. (2009)
|
