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
1Xiao, Guohui ; Eiter, Thomas ; Heymans, Stijn ; Li, Juanzi The DReW System for Nonmonotonic DL-ProgramsKonferenzbeitrag Inproceedings 2012
2Eiter, Thomas ; Fink, Michael ; Stepanova, Daria ; Krötzsch, Markus ; Straccia, Umberto Semantic Independence in DL-programsKonferenzbeitrag Inproceedings 2012
3Fink, Michael A Paraconsistent Semantics for Hybrid TheoriesBericht Report2012
4Fink, Michael ; Brewka, Gerd ; Eiter, Thomas ; McIlraith, Sheila Paraconsistent Hybrid TheoriesKonferenzbeitrag Inproceedings 2012
5Eiter, Thomas ; Krennwallner, Thomas ; Schneider, Patrik ; Xiao, Guohui ; Lukasiewicz, Thomas ; Sali, Attila Uniform Evaluation of Nonmonotonic DL-ProgramsKonferenzbeitrag Inproceedings2012
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
7Oetsch, Johannes ; Puehrer, Joerg ; Tompits, Hans Stepping through an Answer-Set ProgramKonferenzbeitrag Inproceedings 2011
8Xiao, Guohui ; Eiter, Thomas ; Rudolph, Sebastian ; Gutierrez, Claudio Inline Evaluation of Hybrid Knowledge Bases - PhD DescriptionKonferenzbeitrag Inproceedings 2011
9Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Mileo, Alessandra ; Fink, Michael Model Streaming for Distributed Multi-Context SystemsKonferenzbeitrag Inproceedings 2011
10Krennwallner, Thomas ; Gallagher, John ; Gelfond, Michael Promoting Modular Nonmonotonic Logic ProgramsKonferenzbeitrag Inproceedings 2011
11Brewka, Gerhard ; Eiter, Thomas ; Truszczyński, Mirosław Answer Set Programming at a GlanceArtikel Article2011
12Krennwallner, Thomas Promoting Modular Nonmonotonic Logic ProgramsPräsentation Presentation2011
13Feier, 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
14Pü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
15Ortiz 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
16Xiao, Guohui ; Heymans, Stijn ; Eiter, Thomas ; Eiter, Thomas ; El Ghali, Adil ; Fernández, Sergio ; Heymans, Stijn ; Krennwallner, Thomas ; Lévy, François DReW: a Reasoner for Datalog-rewritable Description Logics and DL-ProgramsKonferenzbeitrag Inproceedings 2010
17Bienvenu, 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
18Heymans, 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
19Feier, Cristina ; Heymans, Stijn ; Woltran, Stefan ; Balduccini, Marcello An Optimization for Reasoning with Forest Logic ProgramsKonferenzbeitrag 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