ONOTRULE - ONTOlogies meet business RULEs

View Statistics Email Alert RSS Feed

Primary Data

Project Title (de) Projekttitel (de)
ONOTRULE - ONTOlogies meet business RULEs
 

Publications

Results 1-20 of 54 (Search time: 0.003 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Eiter, Thomas ; Krennwallner, Thomas ; Schneider, Patrik ; Xiao, Guohui ; Lukasiewicz, Thomas ; Sali, Attila Uniform Evaluation of Nonmonotonic DL-ProgramsKonferenzbeitrag Inproceedings2012
2Xiao, Guohui ; Eiter, Thomas ; Heymans, Stijn ; Li, Juanzi The DReW System for Nonmonotonic DL-ProgramsKonferenzbeitrag Inproceedings 2012
3Eiter, Thomas ; Fink, Michael ; Stepanova, Daria ; Krötzsch, Markus ; Straccia, Umberto Semantic Independence in DL-programsKonferenzbeitrag Inproceedings 2012
4Fink, Michael ; Brewka, Gerd ; Eiter, Thomas ; McIlraith, Sheila Paraconsistent Hybrid TheoriesKonferenzbeitrag Inproceedings 2012
5Fink, Michael A Paraconsistent Semantics for Hybrid TheoriesBericht Report2012
6Fink, Michael ; El Ghali, Adil ; Chniti, Amina ; Korf, Roman ; Schwichtenberg, Antonia ; Lévy, François ; Puehrer, Joerg ; Eiter, Thomas D2.6 Consistency Maintenance. Final ReportBericht Report2011
7Brewka, Gerhard ; Eiter, Thomas ; Truszczyński, Mirosław Answer Set Programming at a GlanceArtikel Article2011
8Krennwallner, Thomas Promoting Modular Nonmonotonic Logic ProgramsPräsentation Presentation2011
9Oetsch, Johannes ; Puehrer, Joerg ; Tompits, Hans Stepping through an Answer-Set ProgramKonferenzbeitrag Inproceedings 2011
10Xiao, Guohui ; Eiter, Thomas ; Rudolph, Sebastian ; Gutierrez, Claudio Inline Evaluation of Hybrid Knowledge Bases - PhD DescriptionKonferenzbeitrag Inproceedings 2011
11Krennwallner, Thomas ; Gallagher, John ; Gelfond, Michael Promoting Modular Nonmonotonic Logic ProgramsKonferenzbeitrag Inproceedings 2011
12Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Mileo, Alessandra ; Fink, Michael Model Streaming for Distributed Multi-Context SystemsKonferenzbeitrag Inproceedings 2011
13Eiter, Thomas ; Šimkus, Mantas FDNC: Decidable nonmonotonic Disjunctive Logic Programs with Function SymbolsArtikel Article 22-Jan-2010
14Feier, Cristina ; Aït-Kaci, Hassan ; Angele, Jürgen ; De Bruijn, Jos ; Citeau, Hugue ; Eiter, Thomas ; El Ghali, Adil ; Kerhet, Volha ; Kiss, Eva ; Korf, Roman ; Krekeler, Thomas ; Krennwallner, Thomas ; Heymans, Stijn ; Mosca, Alessandro ; Rezk, Martín ; Xiao, Guohui D3.3 Complexity and Optimization of Combinations of Rules and OntologiesBericht Report2010
15Eiter, Thomas ; El Ghali, Adil ; Fernández, Sergio ; Heymans, Stijn ; Krennwallner, Thomas ; Lévy, François BuRO 2010: 1st International Workshop on Business Models, Business Rules and Ontologies, 21 September 2010, ProceedingsKonferenzband Proceedings 2010
16Pührer, Jörg ; Heymans, Stijn ; Eiter, Thomas ; Lora, Aroyo ; Antoniou, Grigoris ; Hyvönen, Eero ; ten Teije, Annette ; Stuckenschmidt, Heiner ; Cabral, Liliana ; Tudorache, Tania Dealing with Inconsistency When Combining Ontologies and Rules Using DL-ProgramsKonferenzbeitrag Inproceedings 2010
17Ortiz de la Fuente, M.Magdalena ; Rudolph, Sebastian ; Simkus, Mantas ; Lin, Fangzhen ; Sattler, Ulrike ; Truszczynski, Miroslaw Worst-Case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2Konferenzbeitrag Inproceedings 2010
18Bienvenu, Meghyn ; Eiter, Thomas ; Lutz, Carsten ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Haarslev, Volker ; Toman, David ; Weddell, Grant Query Answering in the Description Logic SKonferenzbeitrag Inproceedings 2010
19Heymans, Stijn ; Korf, Roman ; Erdmann, Michael ; Puehrer, Joerg ; Eiter, Thomas ; Coelho, Helder ; Studer, Rudi ; Wooldridge, Michael F-Logic#: Loosely Coupling F-Logic Rules and OntologiesKonferenzbeitrag Inproceedings 2010
20Xiao, Guohui ; Lin, Zuoquan ; Ma, Yue ; Qi, Guilin ; Lin, Fangzhen ; Sattler, Ulrike ; Truszczynski, Miroslaw Computing Inconsistency Measurements under Multi-Valued Semantics by Partial Max-SAT SolversKonferenzbeitrag Inproceedings 2010