top

ONTORULE Publications
inproceedings (DBLP:conf/birthday/ArtaleF09)
Artale, A. & Franconi, E.
Foundations of Temporal Conceptual Data Models
Borgida, A., Chaudhri, V. K., Giorgini, P. & Yu, E. S. K. (ed.)
Conceptual Modeling: Foundations and Applications
Springer, 2009, Vol. 5600, pp. 10-35
inproceedings (BieEitLutOrtSim-DL10)
Bienvenu, M., Eiter, T., Lutz, C., Ortiz, M. & Simkus, M.
Query Answering in the Description Logic S
Proceedings of the 23rd International Workshop on Description Logics (DL2010)
2010
article (bruijn-jair2010)
de Bruijn, J. & Heymans, S.
Logical Foundations of RDF(S) with Datatypes
Journal of Artificial Intelligence Research (JAIR), 2010, Vol. 38, pp. 535-568
inproceedings (1611768)
Bruijn, J. & Heymans, S.
Complexity of the Stable Model Semantics for Queries on Incomplete Databases
LPNMR '09: Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Springer-Verlag, 2009, pp. 101-114
inproceedings (DBLP:conf/rr/BruijnR09)
de Bruijn, J. & Rezk, M.
A Logic Based Approach to the Static Analysis of Production Systems
RR
2009, pp. 254-268
article (CalvaneseIJCAI2009)
Calvanese, D., Eiter, T. & Ortiz, M.
Regular path queries in expressive description logics with nominals
Boutilier, C. (ed.)
Proceedings of the 21st International Joint Conference on Artificial Intelligence. AAAI Press/IJCAI, 2009, pp. 714-720
inproceedings (chniti:10)
Chniti, A., Dehors, S., Albert, P. & Charlet, J.
Authoring Business Rules grounded in OWL Ontologies
et al. (Eds.), M. D. (ed.)
RuleML 2010 : The 4th International Web Rule Symposium: Research Based and Industry Focused
LNCS 6403, Springer-Verlag Berlin Heidelberg 2010, 2010
inproceedings (dek2009-ecsqaru)
Dao-Tran, M., Eiter, T. & Krennwallner, T.
Realizing Default Logic over Description Logic Knowledge Bases
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, pp. 602-613
article (DrabentHybridJul2009)
Drabent, W., Eiter, T., Ianni, G., Krennwallner, T., Lukasiewicz, T. & Maluszynski., J.
Hybrid reasoning with rules and ontologies
Bry, F. & Maluszynski, J. (ed.)
Semantic Techniques for the Web, 2009(5500), pp. 1-49
article (simk-eite-08)
Eiter, T. & Simkus, M.
FDNC: Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols
Transactions on Computational Logic (TOCL) , 2010, Vol. 11(2)
article (EiterIJCAI2009Decomposition)
Eiter, T., Fink, M. & Krennwallner, T.
Decomposition of declarative knowledge bases with external functions
Boutilier, C. (ed.)
Proceedings of the 21st International Joint Conference on Artificial Intelligence. AAAI Press/IJCAI, 2009., 2009, pp. 752-758
techreport (EiterINFSYSRR-1843-09-01)
Eiter, T., Ianni, G., Lukasiewicz, T. & Schindlauer., R.
Well-Founded Semantics for Description Logic Programs in the Semantic Web
2009
inproceedings (EiterWoLLIC200926-36)
Eiter, T., Lutz, C., Ortiz, M. & Simkus, M.
Query answering in description logics: the knots approach
Proceedings 16th Workshop on Logic, Language, Information and Computation (WoLLIC 2009)
Springer, 2009(5514), pp. 26-36
article (Eiter)
Eiter, T., Lutz, C., Ortiz, M. & Simkus., M.
Query answering in description logics with transitive roles
Boutilier, C. (ed.)
Proceedings of the 21st International Joint Conference on Artificial Intelligence. AAAI Press/IJCAI, 2009., 2009, pp. 759-764
inproceedings (feier-eswc2009)
Feier, C. & Heymans, S.
Hybrid Reasoning with Forest Logic Programs
Proc. of the European Semantic Web Conference (ESWC 2009)
Springer, 2009
techreport
Conjunctive query answering in the description logic SH using knots
T. Eiter, M. Ortiz, and M. Šimkus
Technical Report INFSYS RR-1843-09-03, Institut für Informationssysteme, Technisch Universität Wien, A-1040 Vienna, Austria, Sept. 2009
2009
techreport
Answering regular path queries in expressive description logics via alternating
D. Calvanese, T. Eiter, and M. Ortiz
Technical Report INFSYS RR-1843-09-04, Institut für Informationssysteme, Technisch Universität Wien, A-1040 Vienna, Austria, Dec. 2009
2009
article (IJCAI09524)
Franconi, E., Seylan, I. & de Bruijn, J.
Effective Query Rewriting with Ontologies over DBoxes
2009
inproceedings (guisse&al09TIA)
Guissé, A., Lévy, F., Nazarenko, A. & Szulman, S.
Annotation sémantique pour l'indexation de règles métiers
L'Homme, M.-C. & Szulman, S. (ed.)
Conférence Internationale sur la Terminologie et l'Intelligence Artificielle (TIA 2009)
Université Paul Sabatier - Toulouse, 2009, pp. (electronic medium)
inproceedings (heymans-ecai2010)
Heymans, S., Eiter, T. & Xiao, G.
Tractable Reasoning with DL-Programs over Datalog-rewritable Description Logics
Coelho, H., Studer, R. & Wooldridge, M. (ed.)
Proc. of 19th European Conference on Artificial Intelligence (ECAI)
IOS Press, 2010, Vol. 215, pp. 35-40
inproceedings (conf/rr/HeymansFE09)
Heymans, S., Feier, C. & Eiter, T.
A Reasoner for Simple Conceptual Logic Programs
Polleres, A. & Swift, T. (ed.)
RR
Springer, 2009, Vol. 5837, pp. 55-70
inproceedings (heymans-flogic)
Heymans, S., Korf, R., Erdmann, M., Pührer, J. & Eiter, T.
F-Logic#: Loosely Coupling F-Logic Rules and Ontologies
Proc. of the 2010 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology
2010, Vol. 1, pp. 248-255
inproceedings (conf/ictai/LevyGNOS10)
Levy, F., Guisse, A., Nazarenko, A., Omrane, N. & Szulman, S.
An Environment for the Joint Management of Written Policies and Business Rules
ICTAI (2)
IEEE Computer Society, 2010, pp. 142-149
inproceedings (ortiz2010worfthfoo1a2)
Ortiz, M., Rudolph, S. & Simkus, M.
Worst-case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2
Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference (KR-10)
AAAI Press, 2010, pp. 269-279
inproceedings (puehrer-eswc2010)
Pührer, J., Heymans, S. & Eiter, T.
Dealing with Inconsistency when Combining Ontologies and Rules using DL-Programs
Aroyo, L., Antoniou, G., Hyvönen, E., ten Teije, A., Stuckenschmidt, H., Cabral, L. & Tudorache, T. (ed.)
Proc. of 7th Extended Semantic Web Conference (ESWC 2010)
Springer Berlin / Heidelberg, 2010, Vol. 6088, pp. 183-197
article (EiterIJCAI2009Bidirectional)
Simkus, M. & Eiter, T.
Bidirectional answer set programs with function symbols
Boutilier, C. (ed.)
Proceedings of the 21st International Joint Conference on Artificial Intelligence. AAAI Press/IJCAI, 2009., 2009, pp. 765-771
inproceedings (xiao-buro2010)
Xiao, G., Heymans, S. & Eiter, T.
DReW: a Reasoner for Datalog-rewritable Description Logics and DL-Programs
1st International Workshop on Business Models, Business Rules and Ontologies (BuRO 2010)
2010
inproceedings (DBLP:conf/kr/XiaoLMQ10)
Xiao, G., Lin, Z., Ma, Y. & Qi, G.
Computing Inconsistency Measurements under Multi-Valued Semantics by Partial Max-SAT Solvers
Lin, F., Sattler, U. & Truszczynski, M. (ed.)
KR
2010
proceedings (buro-10)
Proceedings of the 1st International Workshop on Business Models, Business Rules and Ontologies (BuRO 2010), co-located RR2010 Workshop, September 21, 2010
Eiter, T., El Ghali, A., Fernàndez, S., Heymans, S., Krennwallner, T. & Lévy, F. (ed.)
Proceedings of the 1st International Workshop on Business Models, Business Rules and Ontologies (BuRO 2010), co-located RR2010 Workshop, September 21, 2010
Ontorule Consortium, 2010
article
Les entités nommées : éléments pour la conceptualisation
N. Omrane, A. Nazarenko and S. Szulman
Submitted for publication, fev. 2010
2010
article
Combining terms and named entities for modeling domain ontologies from texts
Nouha Omrane, Adeline Nazarenko and Sylvie Szulman
EKAW2010: the 17th International Conference on Knowledge Engineering and Knowledge Management
2010
article
An Environment for the Joint Management of Written Policies and Business Rules
François Lévy, Abdoulaye Guissé, Adeline Nazarenko, Nouha Omrane and Sylvie Szulman
ICTAI2010: the 22th International Conference on Tools with Artificial Intelligence
2010
article
Formal Description of Resources for Ontology-based Semantic Annotation
Yue Ma, Adeline Nazarenko and Laurent Audibert
Revue des Sciences et Technologies de l'Information 2010
2010
article
Une chaine UIMA pour l'analyse de documents de réglementation
Samir Derdek and Adil El Ghali
SOS'2011
2011
article
Gestion de la cohérence de règles métier éditées à partir d'ontologies OWL
Amina Chniti, Patrick Albert, and Jean Charlet
IC'2011
2011
article
Les entités nommées : des clés linguistiques pour la conceptualisation
Nouha Omrane, Adeline Nazarenko and Sylvie Szulman
IC'2011
2011
article
Un moteur sémantique pour explorer des textes réglementaires
Abdoulaye Guissé, François Lévy and Adeline Nazarenko
IC'2011
2011
article
Une nouvelle version de l’outil Terminae de construction de ressources termino-ontologiques
Sylvie Szulman
IC 2011
2011
article
Reasoning with Annotations of Texts
Yue Ma, François Lévy and Sudeep Ghimire
24th International FLAIRS Conference 2011
2011
article
Integrating written policies in Business Rule Management Systems
Adeline Nazarenko, Abdoulaye Guissé, François Lévy, Nouha Omrane and Sylvie Szulman
RuleML 2011
2011
inproceedings (dl2011)
Ontology Design and Integration with ICOM 3.0 - Tool description and methodology
Pablo R. Fillottrani, Enrico Franconi and Sergio Tessaris
Description Logics 2011 Proceedings
2011
article
Quelo: an ontology-driven query interface
Enrico Franconi, Paolo Guagliardo, Marco Trevisan and Sergio Tessaris
Description Logics 2011 Proceedings
2011
article
Combining Production Systems and Ontologies
Martin Rezk, Werner Nutt
RR2011
2011
article
Reasoning with Actions in Transaction Logic
Martin Rezk, Werner Nutt
RR2011
2011
article
Representing L1 Domain Descriptions as Partially Defined Actions of Transaction Logic
Martin Rezk, Werner Nutt
RR2011
2011
thesis
Logical Formalization of Semantic Business Vocabulary and Rules
Dmitry Solomakhin
MSc thesis, Faculty of Informatics, Vienna University of Technology
2011
article
Nonmonotonic Multi-Context Systems: A Flexible Approach for Integrating Heterogeneous Knowledge Sources
Gerhard Brewka, Thomas Eiter and Michael Fink
Gelfond Festschrift, LNAI 6565, p. 233–258, Springer, 2011
2011
article
Promoting Modular Nonmonotonic Logic Programs
Thomas Krennwallner
Technical Communications of the 27th International Conference on Logic Programming (ICLP 2011), Seventh ICLP Doctoral Student Consortium, Alessandro Dal Palu, Stefan Woltran (eds.), July, p. 266-271, 2011
2011
article
Dynamic Distributed Nonmontonic Multi-Context Systems
Minh Dao-Tran and Thomas Eiter and Michael Fink and Thomas Krennwallner
Thirty Years of Nonmonotonic Reasoning, G. Brewka, Victor Marek and Miroslaw Truszczynski (eds.), to appear, College Publications, London, 2011
2011
article
First-Order Encodings of Modular Nonmonotonic Logic Programs
Minh Dao-Tran and Thomas Eiter and Michael Fink and Thomas Krennwallner
Georg Gottlob (ed.), to appear, Springer, LNCS, 2011
2011
article
Model Streaming for Distributed Multi-Context Systems
Minh Dao-Tran and Thomas Eiter and Michael Fink and Thomas Krennwallner
2nd International Workshop on Logic-based Interpretation of Context: Modeling and Applications, Alessandra Mileo and Michael Fink (eds.), May, p. 11-22, CEUR Workshop Proceedings, Vol. 738, 2011
2011
article
Symmetry Breaking for Distributed Multi-Context Systems
Christian Drescher and Thomas Eiter and Michael Fink and Thomas Krennwallner and Toby Walsh11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011), Vancouver, BC, Canada, May 16-19, 2011, James Delgrande and Wolfgang Faber (eds.), May, p. 26-39, LNAI, Springer, Vol. 6645, 2011
2011
technical report
Mapping between RDF and XML with XSPARQL
Stefan Bischof and Stefan Decker and Thomas Krennwallner and Nuno Lopes and Axel Polleres
Technical Report, Digital Enterprise Research Institute, National University of Ireland, Galway, April, DERI-TR-2011-04-04
2011
article
Declarative Belief Set Merging using Merging Plans
Christoph Redl and Thomas Eiter and Thomas Krennwallner
13th International Symposium on Practical Aspects of Declarative Languages (PADL'11), Austin, Texas, U.S.A., January 24-25, 2011, Ricardo Rocha and John Launchbury (eds.), January, p. 99-114, LNCS, Vol. 6539
2011
article
Stepping through an Answer-Set Program
J. Oetsch, J. Pührer, H. Tompits
11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011), Springer, LNCS, 6645 (2011), 134-147
2011
inproceedings (rr2011)
Inline evaluation of hybrid knowledge bases PhD description
Guohui Xiao and Thomas Eiter
Proceedings of the 5th international conference on Web reasoning and rule systems (RR 2011)
2011
article
Reasoning with Forest Logic Programs and f-hybrid Knowledge Bases
Cristina Feier and Stijn Heymans
Theory and Practice of Logic Programming (TPLP), 2011
2011
article
Metadata for web ontologies and rules: current practices and perspectives
Carlos Tejo-Alonso, Diego Berrueta, Luis Polo and Sergio Fernández
5th Metadata and Semantics Research Conference (MTSR 2011)
2011
article
Lexicalized ontology for a business rules management platform: An automotive use case
Nouha Omrane, Adeline Nazarenko, Peter Rosina, Sylvie Szulman and Christoph Westphal
RuleML@BRF 2011
2011
article
From linguistic to ontologies: the role of named entities in the conceptualization process
Nouha Omrane, Adeline Nazarenko and Sylvie Szulman
International Conference on Knowledge Engineering and Ontology Development KEOD 2011
2011
article
Le poids des entités nommées dans le filtrage des termes d'un domaine
Nouha Omrane, Adeline Nazarenko and Sylvie Szulman
9th International Conference on Terminology and Artificial Intelligence TIA 2011
2011
technical report
Worst-Case Optimal Reasoning with Forest Logic Programs
Cristina Feier
Technical Report INFSYS RR-1843-11-07, Institut für Informationssysteme, Technisch Universität Wien, A-1040 Vienna, Austria December 2011
2011
thesis
Reasoning about Actions in Transaction Logic
Martin Rezk
PhD Thesis, supervisors: Michael Kifer, Werner Nutt
Free University of Bozen-Bolzano
2011
article
Logic-based reasoning support for SBVR (TO APPEAR)
Dmitry Solomakhin, Enrico Franconi, and Alessandro Mosca
CILC-2011 (proceedings)
2011
inproceedings (eite-etal-foiks12)
Uniform Evaluation of Nonmonotonic DL-Programs (TO APPEAR)
Thomas Eiter and Thomas Krennwallner and Patrik Schneider and Guohui Xiao
7th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2012)
2012


Check a more detailled list at bibsonomy.

 

Consortium

  • ONTORULE Partners
  • ONTORULE Partners
  • ONTORULE Partners
  • ONTORULE Partners
  • ONTORULE Partners
  • ONTORULE Partners
  • ONTORULE Partners
  • ONTORULE Partners
  • ONTORULE Partners

bottom

Design inspired by ThemZa. Valid XHTML and CSS

Unless otherwise stated, all contents © ONTORULE Project All Rights Reserved. Legal document