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.