default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRuleML 2015: Berlin, Germany
- Nick Bassiliades
, Georg Gottlob, Fariba Sadri, Adrian Paschke, Dumitru Roman:
Rule Technologies: Foundations, Tools, and Applications - 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings. Lecture Notes in Computer Science 9202, Springer 2015, ISBN 978-3-319-21541-9
Invited Papers
- Michael R. Genesereth, Eric Jui-Yi Kao:
The Herbrand Manifesto - Thinking Inside the Box. 3-12 - Thom W. Frühwirth:
Constraint Handling Rules - What Else? 13-34 - Georg Gottlob, Giorgio Orsi, Andreas Pieris:
Consistency Checking of Re-engineered UML Class Diagrams via Datalog+/-. 35-53 - Johannes Fürnkranz, Tomás Kliegr:
A Brief Overview of Rule Learning. 54-69 - Alexander Artikis, Matthias Weidlich:
Distribution and Uncertainty in Complex Event Recognition. 70-80
General RuleML Track
- Szymon Bobek, Grzegorz J. Nalepa:
Compact Representation of Conditional Probability for Rule-Based Mobile Context-Aware Systems. 83-96 - Tarcisio M. Farias, Ana Roxin, Christophe Nicolle:
FOWLA, A Federated Architecture for Ontologies. 97-111 - João Paulo Orlando, Mark A. Musen, Dilvan A. Moreira:
User Extensible System to Identify Problems in OWL Ontologies and SWRL Rules. 112-126 - Dörthe Arndt, Ruben Verborgh, Jos De Roo, Hong Sun, Erik Mannens, Rik Van de Walle:
Semantics of Notation3 Logic: A Solution for Implicit Quantification. 127-143 - Tara Athan, Roy Bell, Elisa F. Kendall, Adrian Paschke, Davide Sottara:
API4KP Metamodel: A Meta-API for Heterogeneous Knowledge Platforms. 144-160 - Sudhir Agarwal, Abhijeet Mohapatra, Michael R. Genesereth, Harold Boley:
Rule-Based Exploration of Structured Data in the Browser. 161-175 - Gen Zou, Harold Boley:
PSOA2Prolog: Object-Relational Rule Interoperation and Implementation by Translation from PSOA RuleML to ISO Prolog. 176-192 - Pascual Julián Iranzo, Ginés Moreno, Carlos Vázquez:
Similarity-Based Strict Equality in a Fully Integrated Fuzzy Logic Language. 193-207 - Mario Fusco, Davide Sottara, István Ráth, Mark Proctor:
Building a Hybrid Reactive Rule Engine for Relational and Graph Reasoning. 208-222
Complex Event Processing Track
- Megan Katsumi, Michael Grüninger:
Using PSL to Extend and Evaluate Event Ontologies. 225-240 - Ahmad Hasan, Kia Teymourian, Adrian Paschke:
Probabilistic Event Pattern Discovery. 241-257 - Ana Sofia Gomes, José Júlio Alferes:
How to Combine Event Stream Reasoning with Transactions for the Semantic Web. 258-273
Existential Rules and Datalog+/- Track
- Mostafa Milani, Leopoldo E. Bertossi:
Ontology-Based Multidimensional Contexts with Applications to Quality Data Specification and Extraction. 277-293 - Thomas Lukasiewicz, Maria Vanina Martinez, Livia Predoiu, Gerardo I. Simari:
Existential Rules and Bayesian Networks for Probabilistic Ontological Data Exchange. 294-310 - Mantas Simkus:
Binary Frontier-Guarded ASP with Function Symbols. 311-327 - Jean-François Baget, Michel Leclère, Marie-Laure Mugnier, Swan Rocher, Clément Sipieter:
Graal: A Toolkit for Query Answering with Existential Rules. 328-344
Legal Rules and Reasoning Track
- Xin Sun:
Input/Output STIT Logic for Normative Systems. 347-359 - Simon Steyskal, Axel Polleres:
Towards Formal Semantics for ODRL Policies. 360-375 - Reza Basseda, Tiantian Gao, Michael Kifer, Steven Greenspan, Charley Chell:
Representing Flexible Role-Based Access Control Policies Using Objects and Defeasible Reasoning. 376-387 - Sagar Sunkle, Deepali Kholkar, Vinay Kulkarni:
Explanation of Proofs of Regulatory (Non-)Compliance Using Semantic Vocabularies. 388-403
Rule Learning Track
- Stefano Ferilli, Andrea Pazienza, Floriana Esposito:
Rule Generalization Strategies in Incremental Learning of Disjunctive Concepts. 407-421 - Mikolaj Morzy, Agnieszka Lawrynowicz, Mateusz Zozulinski:
Using Substitutive Itemset Mining Framework for Finding Synonymous Properties in Linked Data. 422-430 - Ansaf Salleb-Aouissi, Christel Vrain, Daniel Cassard:
Learning Characteristic Rules in Geographic Information Systems. 431-444
Industry Track
- Rafael Santodomingo, Mathias Uslar, José Antonio Rodríguez-Mondéjar, Miguel Angel Sanz-Bobi:
Rule-Based Data Transformations in Electricity Smart Grids. 447-455 - Ling Shi, Bjørg E. Pettersen, Ivar Østhassel, Nikolay Nikolov, Arash Khorramhonarnama, Arne-Jørgen Berre, Dumitru Roman:
Norwegian State of Estate: A Reporting Service for the State-Owned Properties in Norway. 456-464 - Dörthe Arndt, Ben De Meester, Pieter Bonte, Jeroen Schaballie, Jabran Bhatti, Wim Dereuddre, Ruben Verborgh, Femke Ongenae, Filip De Turck, Rik Van de Walle, Erik Mannens:
Ontology Reasoning Using Rules in an eHealth Context. 465-472
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-03-27 23:19 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
