Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Markus Krötzsch, Umberto Straccia (eds.) |
Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings |
RR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Rosamaria Barilaro, Nicola Leone, Francesco Ricca, Giorgio Terracina |
Distributed Ontology Based Data Access via Logic Programming. |
RR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Cristina Civili, Riccardo Rosati 0001 |
Query Patterns for Existential Rules. |
RR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Juan F. Sequeda, Marcelo Arenas, Daniel P. Miranker |
Ontology-Based Data Access Using Views. |
RR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Michele Ruta, Floriano Scioscia, Giuseppe Loseto, Filippo Gramegna, Eugenio Di Sciascio |
A Mobile Reasoner for Semantic-Based Matchmaking. |
RR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Anees Mehdi, Alexandre Miguel Pinto, Sebastian Rudolph |
On Integrating Description Logics and Rules under Minimal Hypotheses. |
RR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Knorr 0001, David Carral Martínez, Pascal Hitzler, Adila Alfa Krisnadhi, Frederick Maier, Cong Wang 0016 |
Recent Advances in Integrating OWL and Rules (Technical Communication). |
RR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Chang Liu 0021, Guilin Qi |
Toward Scalable Reasoning over Annotated RDF Data Using MapReduce. |
RR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Mauricio Minuto Espil |
RDF Semantics for Web Association Rules. |
RR |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jean-François Baget, Marie-Laure Mugnier, Michaël Thomazo |
Towards Farsighted Dependencies for Existential Rules. |
RR |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Stanislav Kikot, Roman Kontchakov, Michael Zakharyaschev |
Polynomial Conjunctive Query Rewriting under Unary Inclusion Dependencies. |
RR |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Martín Rezk, Michael Kifer |
On the Equivalence between the $\mathcal{L}_1$ Action Language and Partial Actions in Transaction Logic. |
RR |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Aidan Hogan |
Integrating Linked Data through RDFS and OWL: Some Lessons Learnt. |
RR |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Rudolph, Claudio Gutierrez 0001 (eds.) |
Web Reasoning and Rule Systems - 5th International Conference, RR 2011, Galway, Ireland, August 29-30, 2011. Proceedings |
RR |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Anne Schlicht, Heiner Stuckenschmidt |
MapResolve. |
RR |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Adila Alfa Krisnadhi, Kunal Sengupta, Pascal Hitzler |
Local Closed World Semantics: Grounded Circumscription for Description Logics. |
RR |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Tim Furche, Georg Gottlob, Giovanni Grasso 0001, Giorgio Orsi 0001, Christian Schallhart, Cheng Wang |
Little Knowledge Rules the Web: Domain-Centric Result Page Extraction. |
RR |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Martín Rezk, Werner Nutt |
Combining Production Systems and Ontologies. |
RR |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Marie-Laure Mugnier |
Ontological Query Answering with Existential Rules. |
RR |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Martín Rezk, Michael Kifer |
Reasoning with Actions in Transaction Logic. |
RR |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jakub Kotowski, François Bry, Simon Brodt |
Reasoning as Axioms Change - Incremental View Maintenance Reconsidered. |
RR |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jan Noessner, Mathias Niepert |
ELOG: A Probabilistic Reasoner for OWL EL. |
RR |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Renaud Delbru, Giovanni Tummarello, Axel Polleres |
Context-Dependent OWL Reasoning in Sindice - Experiences and Lessons Learnt. |
RR |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Aidan Boran, Ivan Bedini, Christopher J. Matheus, Peter F. Patel-Schneider, John Keeney |
A Smart Campus Prototype for Demonstrating the Semantic Integration of Heterogeneous Data. |
RR |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ankesh Khandelwal, Ian Jacobi, Lalana Kagal |
Linked Rules: Principles for Rule Reuse on the Web. |
RR |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Marcelo Arenas |
Exchanging More Than Complete Data. |
RR |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati 0001, Marco Ruzzi, Domenico Fabio Savo |
Query Rewriting for Inconsistent DL-Lite Ontologies. |
RR |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Thanh Binh Nguyen 0003 |
Decidability of Unification in EL without Top Constructor. |
RR |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Steven Schockaert, Henri Prade |
Interpolation and Extrapolation in Conceptual Spaces: A Case Study in the Music Domain. |
RR |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Khalil Riad Bouzidi, Catherine Faron-Zucker, Bruno Fiés, Nhan Le Thanh |
An Ontological Approach for Modeling Technical Standards for Compliance Checking. |
RR |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Shasha Huang, Qingguo Li, Pascal Hitzler |
Paraconsistent Semantics for Hybrid MKNF Knowledge Bases. |
RR |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Christian de Sainte Marie, Miguel Iglesias Escudero, Peter Rosina |
The ONTORULE Project : Where Ontology Meets Business Rules. |
RR |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Bischof 0002, Nuno Lopes 0002, Axel Polleres |
Improve Efficiency of Mapping Data between XML and RDF with XSPARQL. |
RR |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Kodylan Moodley, Thomas Meyer 0002, Ivan José Varzinczak |
Root Justifications for Ontology Repair. |
RR |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Guohui Xiao 0001, Thomas Eiter |
Inline Evaluation of Hybrid Knowledge Bases - PhD Description. |
RR |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Georg Gottlob, Thomas Lukasiewicz, Gerardo I. Simari |
Conjunctive Query Answering in Probabilistic Datalog+/- Ontologies. |
RR |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Tomás Kliegr, Andrej Hazucha, Tomás Marek |
Instant Feedback on Discovered Association Rules with PMML-Based Query-by-Example. |
RR |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Calì, Georg Gottlob, Andreas Pieris |
Query Answering under Non-guarded Rules in Datalog+/-. |
RR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Markus Krötzsch, Sebastian Rudolph, Peter H. Schmitt |
On the Semantic Relationship between Datalog and Description Logics. |
RR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jia Tao 0001, Giora Slutzki, Vasant G. Honavar |
Secrecy-Preserving Query Answering for Instance Checking in EL\mathcal{EL}. |
RR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Axel Polleres |
SPARQL1.1: New Features and Friends (OWL2, RIF). |
RR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Loris Bozzato, Mauro Ferrari 0002 |
Composition of Semantic Web Services in a Constructive Description Logic. |
RR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati 0001, Marco Ruzzi, Domenico Fabio Savo |
Inconsistency-Tolerant Semantics for Description Logics. |
RR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Bragaglia, Federico Chesani, Paola Mello, Davide Sottara |
A Step toward Tight Integration of Fuzzy Ontological Reasoning with Forward Rules. |
RR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Nicola Fanizzi, Claudia d'Amato, Floriana Esposito |
Learning to Rank Individuals in Description Logics Using Kernel Perceptrons. |
RR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Carsten Keßler |
A RESTful SWRL Rule Editor. |
RR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Michael Meier 0002 |
On the Termination of the Chase Algorithm. |
RR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Oliver Gries, Ralf Möller 0001, Anahita Nafissi, Maurice Rosenfeld, Kamil Sokolski, Michael Wessel |
A Probabilistic Abduction Engine for Media Interpretation Based on Ontologies. |
RR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Fernando Náufel do Amaral |
Usability of a Visual Language for DL Concept Descriptions. |
RR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Marco Marano, Philipp Obermeier, Axel Polleres |
Processing RIF and OWL2RL within DLVHEX. |
RR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Reinhard Pichler, Axel Polleres, Sebastian Skritek, Stefan Woltran |
Redundancy Elimination on RDF Graphs in the Presence of Rules, Constraints, and Queries. |
RR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ankesh Khandelwal, Jie Bao 0001, Lalana Kagal, Ian Jacobi, Li Ding 0001, James A. Hendler |
Analyzing the AIR Language: A Semantic Web (Production) Rule Language. |
RR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Hui Wan 0001, Michael Kifer, Benjamin N. Grosof |
Defeasibility in Answer Set Programs via Argumentation Theories. |
RR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou |
Embeddings of Simple Modular Extended RDF. |
RR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Evren Sirin |
Data Validation with OWL Integrity Constraints - (Extended Abstract). |
RR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Klara A. Weiand, Steffen Hausmann, Tim Furche, François Bry |
KWilt: A Semantic Patchwork for Flexible Access to Heterogeneous Knowledge. |
RR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Darko Anicic, Paul Fodor, Sebastian Rudolph, Roland Stühmer, Nenad Stojanovic, Rudi Studer |
A Rule-Based Language for Complex Event Processing and Reasoning. |
RR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jorge Coelho 0001, Besik Dundua, Mário Florido, Temur Kutsia |
A Rule-Based Approach to XML Processing and Web Reasoning. |
RR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Harald Zauner, Benedikt Linse, Tim Furche, François Bry |
A RPL through RDF: Expressive Navigation in RDF Graphs. |
RR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Frederick Maier |
Extending Paraconsistent SROIQ\mathcal{SROIQ}. |
RR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Martin Knechtel, Heiner Stuckenschmidt |
Query-Based Access Control for Ontologies. |
RR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Hitzler, Thomas Lukasiewicz (eds.) |
Web Reasoning and Rule Systems - Fourth International Conference, RR 2010, Bressanone/Brixen, Italy, September 22-24, 2010. Proceedings |
RR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Giacomo Fiumara, Massimo Marchi, Rosamaria Pagano, Alessandro Provetti |
Rule-Based Spam E-mail Annotation. |
RR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | François Bry, Tim Furche, Benedikt Linse |
The Perfect Match: RPL and RDF Rule Languages. |
RR |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Simon Brodt, François Bry, Norbert Eisinger |
Search for More Declarativity. |
RR |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Umberto Straccia |
A Minimal Deductive System for General Fuzzy RDF. |
RR |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Aidan Hogan, Stefan Decker |
On the Ostensibly Silent 'W' in OWL 2 RL. |
RR |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Yue Ma 0009, Pascal Hitzler |
Paraconsistent Reasoning for OWL 2. |
RR |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Lukasiewicz |
Uncertainty Reasoning for the Semantic Web. |
RR |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Christian Meilicke, Heiner Stuckenschmidt |
An Efficient Method for Computing Alignment Diagnoses. |
RR |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio |
A Formal Theory for Modular ERDF Ontologies. |
RR |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Axel Polleres, Terrance Swift (eds.) |
Web Reasoning and Rule Systems, Third International Conference, RR 2009, Chantilly, VA, USA, October 25-26, 2009, Proceedings |
RR |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Gergely Lukácsy, Péter Szeredi |
Scalable Web Reasoning Using Logic Programming Techniques. |
RR |
2009 |
DBLP DOI BibTeX RDF |
DL, Scalability, Parallelism, Logic Programming, OWL |
1 | Benjamin N. Grosof |
SILK: Higher Level Rules with Defaults and Semantic Scalability. |
RR |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Robert A. Kowalski, Fariba Sadri |
Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents. |
RR |
2009 |
DBLP DOI BibTeX RDF |
Abductive logic programming, agents, Integrity constraints, Production systems |
1 | Steven Schockaert, Jeroen Janssen, Dirk Vermeir, Martine De Cock |
Answer Sets in a Fuzzy Equilibrium Logic. |
RR |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Anne Schlicht, Heiner Stuckenschmidt |
Distributed Resolution for Expressive Ontology Networks. |
RR |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Jos de Bruijn, Martín Rezk |
A Logic Based Approach to the Static Analysis of Production Systems. |
RR |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Hui Wan 0001 |
Belief Logic Programming with Cyclic Dependencies. |
RR |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Stijn Heymans, Cristina Feier, Thomas Eiter |
A Reasoner for Simple Conceptual Logic Programs. |
RR |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Stephan Grimm, Pascal Hitzler |
A Preferential Tableaux Calculus for Circumscriptive ALCO{\mathcal ALCO}. |
RR |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Matt-Mouley Bouamrane, Alan L. Rector, Martin Hurrell |
A Hybrid Architecture for a Preoperative Decision Support System Using a Rule Engine and a Reasoner on a Clinical Ontology. |
RR |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Michael Meier 0002 |
Towards Rule-Based Minimization of RDF Graphs under Constraints. |
RR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Oliver Fritzen, Wolfgang May, Franz Schenk |
Markup and Component Interoperability for Active Rules. |
RR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Billig |
A TRIPLE-Oriented Approach for Integrating Higher-Order Rules and External Contexts. |
RR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Antonis Bikakis, Grigoris Antoniou |
Alternative Strategies for Contextual Reasoning with Conflicts in Ambient Computing. |
RR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | François Bry, Tim Furche, Clemens Ley, Benedikt Linse, Bruno Marnette |
Taming Existence in RDF Querying. |
RR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Guilin Qi, Jeff Z. Pan |
A Tableau Algorithm for Possibilistic Description Logic . |
RR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Tuvshintur Tserendorj, Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler |
Approximate OWL-Reasoning with Screech. |
RR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jakob Henriksson, Michael Pradel, Steffen Zschaler, Jeff Z. Pan |
Ontology Design and Reuse with Conceptual Roles. |
RR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Xiaowang Zhang, Zuoquan Lin |
Paraconsistent Reasoning with Quasi-classical Semantic in . |
RR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Guilin Qi, Fangkai Yang |
A Survey of Revision Approaches in Description Logics. |
RR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Riccardo Rosati 0001 |
On Combining Description Logic Ontologies and Nonrecursive Datalog Rules. |
RR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Xing Wang 0002, Zong Min Ma 0001, Li Yan 0001, Xiangfu Meng |
Vague-SWRL: A Fuzzy Extension of SWRL. |
RR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Rudolph, Tuvshintur Tserendorj, Pascal Hitzler |
What Is Approximate Reasoning?. |
RR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Stijn Heymans, Ioan Toma |
Ranking Services Using Fuzzy HEXPrograms. |
RR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jianfeng Du, Guilin Qi, Yi-Dong Shen |
Lexicographical Inference over Inconsistent DL-Based Ontologies. |
RR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Diego Calvanese, Georg Lausen (eds.) |
Web Reasoning and Rule Systems, Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings |
RR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Joanna Józefowska, Agnieszka Lawrynowicz, Tomasz Lukaszewski |
On Reducing Redundancy in Mining Relational Association Rules from the Semantic Web. |
RR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Viorica R. Chifu, Ioan Salomie, Simona Manole |
Fluent Calculus Based Web Service Composition. |
RR |
2008 |
DBLP DOI BibTeX RDF |
|