| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Martín Rezk, Michael Kifer |
Reasoning with Actions in Transaction Logic.  |
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 | Nguyen Thanh Binh |
Decidability of Unification in EL without Top Constructor. |
RR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Guohui Xiao, Thomas Eiter |
Inline Evaluation of Hybrid Knowledge Bases - PhD Description. |
RR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tim Furche, Georg Gottlob, Giovanni Grasso, Giorgio Orsi, Christian Schallhart, Cheng Wang |
Little Knowledge Rules the Web: Domain-Centric Result Page Extraction. |
RR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kodylan Moodley, Thomas Meyer, Ivan José Varzinczak |
Root Justifications for Ontology Repair. |
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 | Adila Alfa Krisnadhi, Kunal Sengupta, Pascal Hitzler |
Local Closed World Semantics: Grounded Circumscription for Description Logics. |
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 | 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 | Jan Noessner, Mathias Niepert |
ELOG: A Probabilistic Reasoner for OWL EL. |
RR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Rudolph, Claudio Gutierrez (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 | Martín Rezk, Werner Nutt |
Combining Production Systems and Ontologies. |
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 | Christian de Sainte Marie, Miguel Iglesias Escudero, Peter Rosina |
The ONTORULE Project : Where Ontology Meets Business 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 | Anne Schlicht, Heiner Stuckenschmidt |
MapResolve. |
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 | Marie-Laure Mugnier |
Ontological Query Answering with Existential Rules. |
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 | Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo |
Query Rewriting for Inconsistent DL-Lite Ontologies. |
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 | Shasha Huang, Qingguo Li, Pascal Hitzler |
Paraconsistent Semantics for Hybrid MKNF Knowledge Bases. |
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 | Renaud Delbru, Giovanni Tummarello, Axel Polleres |
Context-Dependent OWL Reasoning in Sindice - Experiences and Lessons Learnt. |
RR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauricio Minuto Espil |
RDF Semantics for Web Association Rules. |
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 | Jakub Kotowski, François Bry, Simon Brodt |
Reasoning as Axioms Change - Incremental View Maintenance Reconsidered. |
RR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Evren Sirin |
Data Validation with OWL Integrity Constraints - (Extended Abstract). |
RR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Frederick Maier |
Extending Paraconsistent SROIQ\mathcal{SROIQ}. |
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 | Andrea Calì, Georg Gottlob, Andreas Pieris |
Query Answering under Non-guarded Rules in Datalog+/-. |
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 | Jia Tao, Giora Slutzki, Vasant Honavar |
Secrecy-Preserving Query Answering for Instance Checking in EL\mathcal{EL}. |
RR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Knechtel, Heiner Stuckenschmidt |
Query-Based Access Control for Ontologies. |
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 | Michael Meier |
On the Termination of the Chase Algorithm. |
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 | Loris Bozzato, Mauro Ferrari |
Composition of Semantic Web Services in a Constructive Description Logic. |
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 | Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou |
Embeddings of Simple Modular Extended RDF. |
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 | 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 | Oliver Gries, Ralf Möller, 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 | Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo |
Inconsistency-Tolerant Semantics for Description Logics. |
RR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hui Wan, Michael Kifer, Benjamin N. Grosof |
Defeasibility in Answer Set Programs via Argumentation Theories. |
RR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ankesh Khandelwal, Jie Bao, Lalana Kagal, Ian Jacobi, Li Ding, James A. Hendler |
Analyzing the AIR Language: A Semantic Web (Production) Rule Language. |
RR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Axel Polleres |
SPARQL1.1: New Features and Friends (OWL2, RIF). |
RR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jorge Coelho, Besik Dundua, Mário Florido, Temur Kutsia |
A Rule-Based Approach to XML Processing and Web Reasoning. |
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 | Markus Krötzsch, Sebastian Rudolph, Peter H. Schmitt |
On the Semantic Relationship between Datalog and Description Logics. |
RR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Carsten Keßler |
A RESTful SWRL Rule Editor. |
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 | 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 | 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 | Hui Wan |
Belief Logic Programming with Cyclic Dependencies. |
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 | 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 | Yue Ma, Pascal Hitzler |
Paraconsistent Reasoning for OWL 2. |
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 | Thomas Lukasiewicz |
Uncertainty Reasoning for the Semantic Web. |
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 | Stephan Grimm, Pascal Hitzler |
A Preferential Tableaux Calculus for Circumscriptive ALCO{\mathcal ALCO}. |
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 | Christian Meilicke, Heiner Stuckenschmidt |
An Efficient Method for Computing Alignment Diagnoses. |
RR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven Schockaert, Jeroen Janssen, Dirk Vermeir, Martine De Cock |
Answer Sets in a Fuzzy Equilibrium Logic. |
RR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin N. Grosof |
SILK: Higher Level Rules with Defaults and Semantic Scalability. |
RR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne Schlicht, Heiner Stuckenschmidt |
Distributed Resolution for Expressive Ontology Networks. |
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 | 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 | François Bry, Tim Furche, Benedikt Linse |
The Perfect Match: RPL and RDF Rule Languages. |
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 | Antonis Bikakis, Grigoris Antoniou |
Alternative Strategies for Contextual Reasoning with Conflicts in Ambient Computing. |
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 | Stijn Heymans, Ioan Toma |
Ranking Services Using Fuzzy HEXPrograms. |
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 | François Bry, Tim Furche, Benedikt Linse |
Simulation Subsumption or Déjà vu on the Web. |
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 | Viorica R. Chifu, Ioan Salomie, Simona Manole |
Fluent Calculus Based Web Service Composition. |
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 | Sebastian Rudolph, Tuvshintur Tserendorj, Pascal Hitzler |
What Is Approximate Reasoning?. |
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 | François Bry, Tim Furche, Clemens Ley, Benedikt Linse, Bruno Marnette |
Taming Existence in RDF Querying. |
RR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Terracina, Erika De Francesco, Claudio Panetta, Nicola Leone |
Enhancing a DLP System for Advanced Database Applications. |
RR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Kifer |
Rule Interchange Format: The Framework. |
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 | Boris Motik |
Semantics and Reasoning Algorithms for a Faithful Integration of Description Logics and Rules. |
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 BibTeX RDF |
|
| 1 | Daniel Elenius, Grit Denker, Mark-Oliver Stehr |
A Semantic Web Reasoner for Rules, Equations and Constraints. |
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 | Andreas Billig |
A TRIPLE-Oriented Approach for Integrating Higher-Order Rules and External Contexts. |
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 | Antoine Zimmermann, Chan Le Duc |
Reasoning with a Network of Aligned Ontologies. |
RR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Meier 0002 |
Towards Rule-Based Minimization of RDF Graphs under Constraints. |
RR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Xing Wang, Z. M. Ma, Li Yan, Xiangfu Meng |
Vague-SWRL: A Fuzzy Extension of SWRL. |
RR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Riccardo Rosati |
On Combining Description Logic Ontologies and Nonrecursive Datalog Rules. |
RR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Morteza Haghir Chehreghani, Hassan Abolhassani, Mostafa Haghir Chehreghani |
Attaining Higher Quality for Density Based Algorithms. |
RR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Grazyna Brzykcy, Jerzy Bartoszek |
Context in Rules Used in P2P Semantic Data Integration System. |
RR |
2007 |
DBLP DOI BibTeX RDF |
context-aware processes, Prolog-like computations, operational semantics, P2P system, situation theory |
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")