Rule Technologies: Foundations, Tools, and Applications

Big data, with its four main characteristics (Volume, Velocity, Variety, and Veracity) pose challenges to the gathering, management, analytics, and visualization of events. These very same four characteristics, however, also hold a great promise in unlocking the story behind data. In this talk, we focus on the observation that event creation is guided by processes. For example, GPS information, emitted by buses in an urban setting follow the bus scheduled route. Also, RTLS information about the whereabouts of patients and nurses in a hospital is guided by the predefined schedule of work. With this observation at hand, we thoroughly seek a method for mining, not the data, but rather the rules that guide data creation and show how, by knowing such rules, big data tasks become more efficient and more effective. In particular, we demonstrate how, by knowing the rules that govern event creation, we can detect complex events sooner and make use of historical data to predict future behaviors.

[1]  Georg Gottlob,et al.  Datalog±: a unified approach to ontologies and integrity constraints , 2009, ICDT '09.

[2]  Nikos Pelekis,et al.  Event Recognition for Maritime Surveillance , 2015, EDBT.

[3]  Bernardo Cuenca Grau,et al.  OWL 2 Web Ontology Language: Profiles , 2009 .

[4]  Panagiotis Papapetrou,et al.  Size Matters: Finding the Most Informative Set of Window Lengths , 2012, ECML/PKDD.

[5]  Alan L. Rector Knowledge Driven Software and "Fractal Tailoring": Ontologies in development environments for clinical systems , 2010, FOIS.

[6]  Hung T. Nguyen,et al.  A First Course in Fuzzy Logic , 1996 .

[7]  Donato Malerba,et al.  A Logic Framework for the Incremental Inductive Synthesis of Datalog Theories , 1997, LOPSTR.

[8]  Guido Governatori,et al.  A system for modal and deontic defeasible reasoning , 2007, SAC '08.

[9]  James A. Hendler,et al.  N3Logic: A logical framework for the World Wide Web , 2007, Theory and Practice of Logic Programming.

[10]  Michael Kifer,et al.  Logic Programming with Defaults and Argumentation Theories , 2009, ICLP.

[11]  Jiawei Han,et al.  An Efficient Two-Step Method for Classification of Spatial Data , 1998 .

[12]  Charles L. Forgy,et al.  Rete: a fast algorithm for the many pattern/many object pattern match problem , 1991 .

[13]  Jiawei Han,et al.  Efficient and Effective Clustering Methods for Spatial Data Mining , 1994, VLDB.

[14]  Marwane El Kharbili,et al.  Towards a Framework for Semantic Business Process Compliance Management , 2008 .

[15]  Jaroslav Kuchar,et al.  Learning Business Rules with Association Rule Classifiers , 2014, RuleML.

[16]  Timothy Cain,et al.  The DUCTOR: A Theory Revision System for Propositional Domains , 1991, ML.

[17]  Clemente Rubio-Manzano,et al.  A declarative semantics for Bousi~Prolog , 2009, PPDP '09.

[18]  Roque Marín,et al.  ClaSP: An Efficient Algorithm for Mining Frequent Closed Sequences , 2013, PAKDD.

[19]  Heikki Mannila,et al.  Levelwise Search and Borders of Theories in Knowledge Discovery , 1997, Data Mining and Knowledge Discovery.

[20]  Irina Perfilieva,et al.  Logical foundations of rule-based systems , 2006, Fuzzy Sets Syst..

[21]  Diego Calvanese,et al.  Reasoning on UML class diagrams , 2005, Artif. Intell..

[22]  Ginés Moreno,et al.  Programming with Fuzzy Logic Rules by Using the FLOPER Tool , 2008, RuleML.

[23]  David S. Johnson,et al.  A Catalog of Complexity Classes , 1991, Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity.

[24]  Carlos Vázquez,et al.  Fuzzy logic rules modeling similarity-based strict equality , 2014, 2014 Federated Conference on Computer Science and Information Systems.

[25]  Alípio Mário Jorge,et al.  Ensembles of jittered association rule classifiers , 2010, Data Mining and Knowledge Discovery.

[26]  Hiroyuki Kitagawa,et al.  Probabilistic Event Stream Processing with Lineage , 2008 .

[27]  Henrik Eriksson,et al.  The evolution of Protégé: an environment for knowledge-based systems development , 2003, Int. J. Hum. Comput. Stud..

[28]  Michael Gelfond,et al.  Classical negation in logic programs and disjunctive databases , 1991, New Generation Computing.

[29]  Aitor Almeida,et al.  Assessing Ambiguity of Context Data in Intelligent Environments: Towards a More Reliable Context Managing System , 2012, Sensors.

[30]  Marie-Laure Mugnier,et al.  Query Rewriting for Existential Rules with Compiled Preorder , 2015, IJCAI.

[31]  Fabian M. Suchanek,et al.  AMIE: association rule mining under incomplete evidence in ontological knowledge bases , 2013, WWW.

[32]  Roberto J. Bayardo Brute-Force Mining of High-Confidence Classification Rules , 1997, KDD.

[33]  Sebastian Rudolph,et al.  EP-SPARQL: a unified language for event processing and stream reasoning , 2011, WWW.

[34]  Andrea Calì,et al.  On Separability of Ontological Constraints , 2012, AMW.

[35]  David Poole,et al.  The Independent Choice Logic and Beyond , 2008, Probabilistic Inductive Logic Programming.

[36]  David S. Johnson,et al.  Testing containment of conjunctive queries under functional and inclusion dependencies , 1982, J. Comput. Syst. Sci..

[37]  Ian Horrocks,et al.  Computing Stable Models for Nonmonotonic Existential Rules , 2013, IJCAI.

[38]  Uwe Keller June Some Remarks on the Definability of Transitive Closure in First-order Logic and Datalog , 2004 .

[39]  Srinivasan Parthasarathy,et al.  New Algorithms for Fast Discovery of Association Rules , 1997, KDD.

[40]  Maurizio Lenzerini,et al.  Data integration: a theoretical perspective , 2002, PODS.

[41]  Sharma Chakravarthy,et al.  Composite Events for Active Databases: Semantics, Contexts and Detection , 1994, VLDB.

[42]  Allen Ginsberg,et al.  Theory Reduction, Theory Revision, and Retranslation , 1990, AAAI.

[43]  Sebastian Rudolph,et al.  A Generic Querying Algorithm for Greedy Sets of Existential Rules , 2012, KR.

[44]  Guido Governatori,et al.  A Methodological Evaluation of Business Process Compliance Management Frameworks , 2013, AP-BPM.

[45]  Leopoldo E. Bertossi,et al.  Multidimensional Contexts for Data Quality Assessment , 2012, AMW.

[46]  Nesime Tatbul,et al.  RIP: run-based intra-query parallelism for scalable complex event processing , 2013, DEBS.

[47]  Dr. Pierre Deransart,et al.  Prolog: The Standard , 1996, Springer Berlin Heidelberg.

[48]  Axel Uhl,et al.  MDA Distilled , 2004 .

[49]  Davide Martinenghi,et al.  Querying Context-Aware Databases , 2009, FQAS.

[50]  Lise Getoor,et al.  A short introduction to probabilistic soft logic , 2012, NIPS 2012.

[51]  Michael Kifer,et al.  HILOG: A Foundation for Higher-Order Logic Programming , 1993, J. Log. Program..

[52]  Ehud Shapiro,et al.  Algorithmic Program Debugging , 1983 .

[53]  Tomislav Dragicevic,et al.  A Device-Level Service-Oriented Middleware Platform for Self-Manageable DC Microgrid Applications Utilizing Semantic-Enabled Distributed Energy Resources , 2014 .

[54]  Michael Zakharyaschev,et al.  Query Rewriting and Optimisation with Database Dependencies in Ontop , 2013, Description Logics.

[55]  Nick Bassiliades,et al.  Visualizing Semantic Web proofs of defeasible logic in the DR-DEVICE system , 2011, Knowl. Based Syst..

[56]  Martin Hirzel,et al.  Partition and compose: parallel complex event processing , 2012, DEBS.

[57]  Jennifer Widom,et al.  Database systems - the complete book (2. ed.) , 2009 .

[58]  Huilin Wang,et al.  Managing Rules in Semantic Web:Redundancy Elimination and Consistency Check , 2011 .

[59]  Donato Malerba,et al.  Discovering Geographic Knowledge: The INGENS System , 2000, ISMIS.

[60]  Johannes Fürnkranz,et al.  ROC ‘n’ Rule Learning—Towards a Better Understanding of Covering Algorithms , 2005, Machine Learning.

[61]  Alexander Artikis,et al.  A probabilistic logic programming event calculus , 2012, Theory and Practice of Logic Programming.

[62]  Ying Liu,et al.  A static compliance-checking framework for business process models , 2007, IBM Syst. J..

[63]  Maria I. Sessa,et al.  Approximate reasoning by similarity-based SLD resolution , 2002, Theor. Comput. Sci..

[64]  Jinyan Li,et al.  Efficient mining of emerging patterns: discovering trends and differences , 1999, KDD '99.

[65]  Alon Y. Halevy,et al.  Why Your Data Won’t Mix , 2005, ACM Queue.

[66]  Slim Abdennadher,et al.  Operational Equivalence of CHR Programs and Constraints , 1999, CP.

[67]  Georg Gottlob,et al.  Expressiveness of guarded existential rule languages , 2014, PODS.

[68]  Carsten Lutz,et al.  The Combined Approach to OBDA: Taming Role Hierarchies using Filters , 2012, SSWS+HPCSW@ISWC.

[69]  Elke A. Rundensteiner,et al.  Semantic stream query optimization exploiting dynamic metadata , 2011, 2011 IEEE 27th International Conference on Data Engineering.

[70]  Peter A. Flach,et al.  Rule Evaluation Measures: A Unifying View , 1999, ILP.

[71]  Ken Satoh,et al.  On the complexities of consistency checking for restricted UML class diagrams , 2010, Theor. Comput. Sci..

[72]  Luc De Raedt,et al.  Mining Association Rules in Multiple Relations , 1997, ILP.

[73]  Guido Boella,et al.  Introduction to the special issue on normative multiagent systems , 2008, Autonomous Agents and Multi-Agent Systems.

[74]  Kotagiri Ramamohanarao,et al.  Efficiently Mining Interesting Emerging Patterns , 2003, WAIM.

[75]  Marcelo Arenas,et al.  Semantics and complexity of SPARQL , 2006, TODS.

[76]  Jennifer Widom,et al.  Database Systems: The Complete Book , 2001 .

[77]  Ian Horrocks,et al.  OWL rules: A proposal and prototype implementation , 2005, J. Web Semant..

[78]  Jesús Alcalá-Fdez,et al.  A Fuzzy Association Rule-Based Classification Model for High-Dimensional Problems With Genetic Rule Selection and Lateral Tuning , 2011, IEEE Transactions on Fuzzy Systems.

[79]  Giorgos B. Stamou,et al.  Optimized Query Rewriting for OWL 2 QL , 2011, CADE.

[80]  Marcelo Arenas,et al.  Data exchange beyond complete data , 2011, PODS.

[81]  Andreas Herzig,et al.  Properties of logics of individual and group agency , 2008, Advances in Modal Logic.

[82]  Leopoldo E. Bertossi,et al.  Database Repairing and Consistent Query Answering , 2011, Database Repairing and Consistent Query Answering.

[83]  Sanjay Ghemawat,et al.  MapReduce: Simplified Data Processing on Large Clusters , 2004, OSDI.

[84]  Wolfgang Klas,et al.  A survey of techniques for achieving metadata interoperability , 2010, CSUR.

[85]  Michael R. Genesereth,et al.  Introduction to Logic, Second Edition , 2013, Introduction to Logic.

[86]  Usama M. Fayyad,et al.  Multi-Interval Discretization of Continuous-Valued Attributes for Classification Learning , 1993, IJCAI.

[87]  Henning Schulzrinne,et al.  Common Policy: A Document Format for Expressing Privacy Preferences , 2007, RFC.

[88]  Harold Boley,et al.  PSOA2TPTP: A Reference Translator for Interoperating PSOA RuleML with TPTP Reasoners , 2012, RuleML.

[89]  Marie-Laure Mugnier Ontological Query Answering with Existential Rules , 2011, RR.

[90]  Lalana Kagal Rei : A Policy Language for the Me-Centric Project , 2002 .

[91]  Shazia Wasim Sadiq,et al.  Detecting Regulatory Compliance for Business Process Models through Semantic Annotations , 2008, Business Process Management Workshops.

[92]  Manuel Ojeda-Aciego,et al.  Similarity-based unification: a multi-adjoint approach , 2004, EUSFLAT Conf..

[93]  Michael Kifer,et al.  Tabling for transaction logic , 2010, PPDP.

[94]  George A. Vouros,et al.  Probabilistic Event Calculus for Event Recognition , 2012, ACM Trans. Comput. Log..

[95]  Mathias Weske,et al.  Resolution of Compliance Violation in Business Process Models: A Planning-Based Approach , 2009, OTM Conferences.

[96]  Guido Boella,et al.  Managing legal interpretation in regulatory compliance , 2013, ICAIL.

[97]  Christian S. Jensen,et al.  Google fusion tables: data management, integration and collaboration in the cloud , 2010, SoCC '10.

[98]  Ingo Br,et al.  Prolog programming for artificial intelligence , 1990 .

[99]  Tim Berners-Lee,et al.  Linked Data - The Story So Far , 2009, Int. J. Semantic Web Inf. Syst..

[100]  Michael Kifer,et al.  Results on Reasoning about Updates in Transaction Logic , 1996, Transactions and Change in Logic Databases.

[101]  W. N. Borst,et al.  Construction of Engineering Ontologies for Knowledge Sharing and Reuse , 1997 .

[102]  J. Wheeler Magic Quadrant for Enterprise Governance , Risk and Compliance Platforms , 2011 .

[103]  J. A. Rodriguez-Mondejar,et al.  The ADDRESS Energy Box: Design and implementation , 2012, 2012 IEEE International Energy Conference and Exhibition (ENERGYCON).

[104]  Won Suk Lee,et al.  Finding recent frequent itemsets adaptively over online data streams , 2003, KDD '03.

[105]  Grzegorz J. Nalepa,et al.  Mobile context-based framework for threat monitoring in urban environment with social threat monitor , 2014, Multimedia Tools and Applications.

[106]  Giorgos Stoilos,et al.  Optimising Resolution-Based Rewriting Algorithms for DL Ontologies , 2013, Description Logics.

[107]  Grzegorz J. Nalepa,et al.  HalVA - Rule Analysis Framework for XTT2 Rules , 2011, RuleML Europe.

[108]  Barteld P. Kooi,et al.  Moral Conflicts between Groups of Agents , 2008, J. Philos. Log..

[109]  Amit P. Sheth,et al.  A Survey of the Semantic Specification of Sensors , 2009, SSN.

[110]  Thomas Lukasiewicz,et al.  From Classical to Consistent Query Answering under Existential Rules , 2015, AMW.

[111]  Hannes Strass,et al.  RFuzzy: Syntax, semantics and implementation details of a simple and expressive fuzzy tool over Prolog , 2011, Inf. Sci..

[112]  Robert B. Doorenbos Production Matching for Large Learning Systems , 1995 .

[113]  Grzegorz J. Nalepa,et al.  Formalization and Modeling of Rules Using the XTT2 Method , 2011, Int. J. Artif. Intell. Tools.

[114]  Hausi A. Müller,et al.  Reverse engineering: a roadmap , 2000, ICSE '00.

[115]  Stijn Heymans,et al.  Reasoning with Forest Logic Programs and f-hybrid knowledge bases*† , 2011, Theory and Practice of Logic Programming.

[116]  Torsten Hahmann,et al.  Modular first-order ontologies via repositories , 2012, Appl. Ontology.

[117]  Ryszard S. Michalski,et al.  Incremental learning of concept descriptions: A method and experimental results , 1988 .

[118]  Boris Motik,et al.  Query Answering for OWL-DL with Rules , 2004, SEMWEB.

[119]  Kristin Decker,et al.  Uml Distilled A Brief Guide To The Standard Object Modeling Language , 2016 .

[120]  Amit P. Sheth,et al.  Semantic Sensor Web , 2008, IEEE Internet Computing.

[121]  Carlos Vázquez,et al.  A Fuzzy Logic Programming Environment for Managing Similarity and Truth Degrees , 2014, PROLE.

[122]  Giangiacomo Gerla,et al.  Similarity-based Unification , 2000, Fundam. Informaticae.

[123]  Guido Governatori,et al.  Proof explanation for a nonmonotonic Semantic Web rules language , 2008, Data Knowl. Eng..

[124]  Ansaf Salleb-Aouissi,et al.  Learning Characteristic Rules Relying on Quantified Paths , 2003, PKDD.

[125]  Bart Goethals,et al.  Frequent Set Mining , 2010, Data Mining and Knowledge Discovery Handbook.

[126]  John Lygeros,et al.  Scalable Proactive Event-Driven Decision Making , 2014, IEEE Technology and Society Magazine.

[127]  Carlos Vázquez,et al.  A Practical Management of Fuzzy Truth-Degrees Using FLOPER , 2010, RuleML.

[128]  William M. Smith,et al.  A Study of Thinking , 1956 .

[129]  Odysseas Papapetrou,et al.  Sketch-based Querying of Distributed Sliding-Window Data Streams , 2012, Proc. VLDB Endow..

[130]  J. Lloyd Foundations of Logic Programming , 1984, Symbolic Computation.

[131]  Katharina Morik,et al.  Heterogeneous Stream Processing and Crowdsourcing for Urban Traffic Management , 2014, EDBT.

[132]  Victor W. Marek,et al.  How Complicated is the Set of Stable Models of a Recursive Logic Program? , 1992, Ann. Pure Appl. Log..

[133]  Nicolette de Keizer,et al.  Comparison of reasoners for large ontologies in the OWL 2 EL profile , 2011, Semantic Web.

[134]  Frank van Harmelen,et al.  Streaming the Web: Reasoning over dynamic data , 2014, J. Web Semant..

[135]  Norbert Fuhr,et al.  A probabilistic relational algebra for the integration of information retrieval and database systems , 1997, TOIS.

[136]  Matthias Weidlich,et al.  Distribution and Uncertainty in Complex Event Recognition , 2015, RuleML.

[137]  John Herbert,et al.  Fuzzy CARA - A Fuzzy-Based Context Reasoning System For Pervasive Healthcare , 2012, ANT/MobiWIS.

[138]  Michael Eckert,et al.  Reactivity on the web: paradigms and applications of the language XChange , 2005, SAC '05.

[139]  Grzegorz J. Nalepa,et al.  Incomplete and Uncertain Data Handling in Context-Aware Rule-Based Systems with Modified Certainty Factors Algebra , 2014, RuleML.

[140]  Carlos Vázquez,et al.  Declarative Traces into Fuzzy Computed Answers , 2011, RuleML Europe.

[141]  Luc De Raedt,et al.  ProbLog: A Probabilistic Prolog and its Application in Link Discovery , 2007, IJCAI.

[142]  Diego Calvanese,et al.  Exchanging OWL 2 QL Knowledge Bases , 2013, IJCAI.

[143]  Rik Van de Walle,et al.  Semantics of Notation3 Logic: A Solution for Implicit Quantification , 2015, RuleML.

[144]  Luc De Raedt,et al.  On the implementation of the probabilistic logic programming language ProbLog , 2010, Theory and Practice of Logic Programming.

[145]  Piero A. Bonatti,et al.  Protune: A Framework for Semantic Web Policies , 2008, International Semantic Web Conference.

[146]  Dennis McLeod,et al.  A federated architecture for information management , 1985, TOIS.

[147]  Anind K. Dey,et al.  Designing mediation for context-aware applications , 2005, TCHI.

[148]  Francesco Bergadano,et al.  Learning clauses by tracing derivations. , 1994 .

[149]  Qiming Chen,et al.  PrefixSpan,: mining sequential patterns efficiently by prefix-projected pattern growth , 2001, Proceedings 17th International Conference on Data Engineering.

[150]  Marie-Laure Mugnier,et al.  Kiabora: An Analyzer of Existential Rule Bases , 2013, RR.

[151]  Otto Preiss,et al.  Unified Information Models in Support of Location Transparency for Future Utility Applications , 2006, Proceedings of the 39th Annual Hawaii International Conference on System Sciences (HICSS'06).

[152]  Leopoldo E. Bertossi,et al.  Extending contexts with ontologies for multidimensional data quality assessment , 2014, 2014 IEEE 30th International Conference on Data Engineering Workshops.

[153]  Johannes Gehrke,et al.  Cayuga: a high-performance event processing engine , 2007, SIGMOD '07.

[154]  Leon van der Torre,et al.  Input/Output Logics , 2000, J. Philos. Log..

[155]  Riccardo Pucella,et al.  A Formal Foundation for ODRL , 2006, ArXiv.

[156]  Anind K. Dey,et al.  Investigating intelligibility for uncertain context-aware applications , 2011, UbiComp '11.

[157]  Grzegorz J. Nalepa,et al.  Rule-based solution for context-aware reasoning on mobile devices , 2014, Comput. Sci. Inf. Syst..

[158]  Giordano Tamburrelli,et al.  Learning from the past: automated rule generation for complex event processing , 2014, DEBS '14.

[159]  Simon L. Peyton Jones,et al.  The Glasgow Haskell Compiler: A Retrospective , 1992, Functional Programming.

[160]  Jean Goubault-Larrecq,et al.  Proof Theory and Automated Deduction , 1997 .

[161]  Stefania Costantini,et al.  Complex Reactivity with Preferences in Rule-Based Agents , 2012, RuleML.

[162]  Alexandre Alves,et al.  Tutorial on advanced design patterns in event processing , 2012, DEBS.

[163]  S. Christodoulakis,et al.  SPARQL Rewriting for Query Mediation over Mapped Ontologies , 2010 .

[164]  Andrea Calì,et al.  Query Answering under Non-guarded Rules in Datalog+/- , 2010, RR.

[165]  Maarten M. Fokkinga,et al.  Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire , 1991, FPCA.

[166]  Jörg Becker,et al.  Generalizability and Applicability of Model-Based Business Process Compliance-Checking Approaches — A State-of-the-Art Analysis and Research Roadmap , 2012 .

[167]  Diego Calvanese,et al.  Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family , 2007, Journal of Automated Reasoning.

[168]  Guido Boella,et al.  A Logical Architecture of a Normative System , 2006, DEON.

[169]  Grzegorz J. Nalepa,et al.  Algorithms for Rule Inference in Modularized Rule Bases , 2011, RuleML Europe.

[170]  Dan Roth,et al.  On the Hardness of Approximate Reasoning , 1993, IJCAI.

[171]  Peter F. Patel-Schneider,et al.  Enabling context-aware and privacy-conscious user data sharing , 2004, IEEE International Conference on Mobile Data Management, 2004. Proceedings. 2004.

[172]  Nada Lavrac,et al.  Propositionalization-based relational subgroup discovery with RSD , 2006, Machine Learning.

[173]  Sören Auer,et al.  LIMES - A Time-Efficient Approach for Large-Scale Link Discovery on the Web of Data , 2011, IJCAI.

[174]  Dan Suciu,et al.  Bringing Provenance to Its Full Potential Using Causal Reasoning , 2011, TaPP.

[175]  Michael Kifer,et al.  Logical foundations of object-oriented and frame-based languages , 1995, JACM.

[176]  Adrian Paschke,et al.  RuleML 1.0: The Overarching Specification of Web Rules , 2010, RuleML.

[177]  Slim Abdennadher,et al.  University course timetabling using constraint handling rules , 2000, Appl. Artif. Intell..

[178]  Marco Calautti,et al.  Checking Termination of Logic Programs with Function Symbols through Linear Constraints , 2014, RuleML.

[179]  Serge Abiteboul,et al.  Foundations of Databases , 1994 .

[180]  Wolfgang May,et al.  Embedding Event Algebras and Process for ECA Rules for the Semantic Web , 2008, Fundam. Informaticae.

[181]  Valentin Zacharias Development and Verification of Rule Based Systems - A Survey of Developers , 2008, RuleML.

[182]  H. Lan,et al.  SWRL : A semantic Web rule language combining OWL and ruleML , 2004 .

[183]  Andrea Calì,et al.  A general datalog-based framework for tractable query answering over ontologies , 2009, SEBD.

[184]  Serge Abiteboul,et al.  Datalog Extensions for Database Queries and Updates , 1991, J. Comput. Syst. Sci..

[185]  Fengkui Ju,et al.  Imperatives and Logic ∗ , 2010 .

[186]  Opher Etzion,et al.  A stratified approach for supporting high throughput event processing applications , 2009, DEBS '09.

[187]  David Luckham,et al.  The power of events - an introduction to complex event processing in distributed enterprise systems , 2002, RuleML.

[188]  Martin J. O'Connor,et al.  Visualizing Logical Dependencies in SWRL Rule Bases , 2010, RuleML.

[189]  Andreas Kasten,et al.  Making the Semantics of ODRL and URM Explicit Using Web Ontologies , 2010 .

[190]  Jian Pei,et al.  Mining Frequent Patterns without Candidate Generation: A Frequent-Pattern Tree Approach , 2006, Sixth IEEE International Conference on Data Mining - Workshops (ICDMW'06).

[191]  Grzegorz J. Nalepa,et al.  A study of methodological issues in design and development of rule‐based systems: proposal of a new approach , 2011, Wiley Interdiscip. Rev. Data Min. Knowl. Discov..

[192]  Michael R. Genesereth,et al.  Data Integration: The Relational Logic Approach , 2010, Data Integration: The Relational Logic Approach.

[193]  Véronique Malaisé,et al.  Design and use of the Simple Event Model (SEM) , 2011, J. Web Semant..

[194]  Ian H. Witten,et al.  Generating Accurate Rule Sets Without Global Optimization , 1998, ICML.

[195]  Johannes Fürnkranz,et al.  Pruning Algorithms for Rule Learning , 1997, Machine Learning.

[196]  Mark B. Sandler,et al.  The Music Ontology , 2007, ISMIR.

[197]  Andrea Calì,et al.  Datalog+/-: A Family of Logical Knowledge Representation and Query Languages for New Applications , 2010, 2010 25th Annual IEEE Symposium on Logic in Computer Science.

[198]  Mikolaj Morzy,et al.  Efficient Mining of Dissociation Rules , 2006, DaWaK.

[199]  Simon Parsons,et al.  A review of uncertainty handling formalisms , 1998, Applications of Uncertainty Formalisms.

[200]  Giovambattista Ianni,et al.  Computable Functions in ASP: Theory and Implementation , 2008, ICLP.

[201]  Harold Boley,et al.  The MYNG 1.01 Suite for Deliberation RuleML 1.01: Taming the Language Lattice , 2014, Challenge+DC@RuleML.

[202]  Serena Villata,et al.  Abstract Normative Systems: Semantics and Proof Theory , 2012, KR.

[203]  Nicoleta Preda,et al.  Mining rules to align knowledge bases , 2013, AKBC '13.

[204]  Stephen D. Bay,et al.  Detecting Group Differences: Mining Contrast Sets , 2001, Data Mining and Knowledge Discovery.

[205]  Anind K. Dey,et al.  Why and why not explanations improve the intelligibility of context-aware intelligent systems , 2009, CHI.

[206]  Bojan Cestnik,et al.  Estimating Probabilities: A Crucial Task in Machine Learning , 1990, ECAI.

[207]  Haoyu. Hu,et al.  ContextTorrent: a context provisioning framewrok for pervasive applications , 2011 .

[208]  Peter R. Pietzuch,et al.  Peer-to-peer overlay broker networks in an event-based middleware , 2003, DEBS '03.

[209]  Rosa Gil,et al.  Formalising ODRL Semantics using Web Ontologies , 2022 .

[210]  Mathias Uslar,et al.  Rule-Based Data Transformations in Electricity Smart Grids , 2015, RuleML.

[211]  Alessandro Margara,et al.  Processing flows of information: From data stream to complex event processing , 2012, CSUR.

[212]  Alexander Dekhtyar,et al.  Information Retrieval , 2018, Lecture Notes in Computer Science.

[213]  Harold Boley,et al.  PSOATransRun: Translating and Running PSOA RuleML via the TPTP Interchange Language for Theorem Provers , 2012, RuleML.

[214]  Yuzhong Qu,et al.  Design and Application of Rule Based Access Control Policies , 2005 .

[215]  Michelangelo Ceci,et al.  Discovery of spatial association rules in geo-referenced census data: A relational mining approach , 2003, Intell. Data Anal..

[216]  Slim Abdennadher,et al.  On Completion of Constraint Handling Rules , 1998, CP.

[217]  Matthias Weidlich,et al.  Event Recognition Challenges and Techniques , 2014, ACM Trans. Internet Techn..

[218]  Georg Gottlob,et al.  Stable Model Semantics for Guarded Existential Rules and Description Logics , 2014, KR.

[219]  Sergio Greco,et al.  Bounded Programs: A New Decidable Class of Logic Programs with Function Symbols , 2013, IJCAI.

[220]  Raymond Reiter,et al.  Towards a Logical Reconstruction of Relational Database Theory , 1982, On Conceptual Modelling.

[221]  Philip S. Yu,et al.  Mining Frequent Patterns in Data Streams at Multiple Time Granularities , 2002 .

[222]  Larry S. Davis,et al.  Multi-agent event recognition in structured scenarios , 2011, CVPR 2011.

[223]  Willi Klösgen,et al.  Spatial Subgroup Mining Integrated in an Object-Relational Spatial Database , 2002, PKDD.

[224]  Gail-Joon Ahn,et al.  Role-based access control on the web , 2001, TSEC.

[225]  Steffen Staab,et al.  F--a model of events based on the foundational ontology dolce+DnS ultralight , 2009, K-CAP '09.

[226]  Jiawei Han,et al.  GeoMiner: a system prototype for spatial data mining , 1997, SIGMOD '97.

[227]  Jan Vanthienen,et al.  Specifying Process-Aware Access Control Rules in SBVR , 2007, RuleML.

[228]  Vinay Kulkarni,et al.  Incorporating Directives into Enterprise TO-BE Architecture , 2014, 2014 IEEE 18th International Enterprise Distributed Object Computing Conference Workshops and Demonstrations.

[229]  Xin Sun How to Build Input/Output Logic , 2014, CLIMA.

[230]  Sebastian Rudolph,et al.  Walking the Complexity Lines for Generalized Guarded Existential Rules , 2011, IJCAI.

[231]  Hugh Glaser,et al.  SPARQL query rewriting for implementing data integration over linked data , 2010, EDBT '10.

[232]  Mathias Uslar,et al.  Ontology matching system for future energy smart grids , 2014, Eng. Appl. Artif. Intell..

[233]  Joachim Baumeister,et al.  Anomalies in ontologies with rules , 2010, J. Web Semant..

[234]  Joost N. Kok,et al.  Efficient Frequent Query Discovery in FARMER , 2003, PKDD.

[235]  Johannes Gehrke,et al.  Distributed event stream processing with non-deterministic finite automata , 2009, DEBS '09.

[236]  Michael R. Genesereth,et al.  Extraction and integration of web data by end-users , 2013, CIKM.

[237]  Jean-François Baget,et al.  On rules with existential variables: Walking the decidability line , 2011, Artif. Intell..

[238]  E. Allen Emerson,et al.  The complexity of tree automata and logics of programs , 1988, [Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science.

[239]  V. S. Subrahmanian,et al.  Theory of Generalized Annotated Logic Programming and its Applications , 1992, J. Log. Program..

[240]  Andreas Krause,et al.  Context-aware mobile computing: learning context- dependent personal preferences from a wearable sensor array , 2006, IEEE Transactions on Mobile Computing.

[241]  Ronald Fagin,et al.  Data exchange: semantics and query answering , 2003, Theor. Comput. Sci..

[242]  John Hall,et al.  Interpreting Regulations with SBVR , 2013, RuleML.

[243]  Robert A. Kowalski,et al.  The Semantics of Predicate Logic as a Programming Language , 1976, JACM.

[244]  Leon van der Torre,et al.  Constraints for Input/Output Logics , 2001, J. Philos. Log..

[245]  Mathias Uslar,et al.  OPC UA and CIM: Semantics for the smart grid , 2010, IEEE PES T&D 2010.

[246]  Mathias Uslar,et al.  Facilitating the Automatic Mapping of IEC 61850 Signals and CIM Measurements , 2013, IEEE Transactions on Power Systems.

[247]  J. Horty Agency and Deontic Logic , 2001 .

[248]  Carlos Vázquez,et al.  A Declarative Semantics for a Fuzzy Logic Language Managing Similarities and Truth Degrees , 2016, RuleML.

[249]  Boris Motik,et al.  Efficient Query Answering for OWL 2 , 2009, SEMWEB.

[250]  Adrian Paschke,et al.  Standards for Complex Event Processing and Reaction Rules , 2011, RuleML America.

[251]  Piero A. Bonatti,et al.  Reasoning with infinite stable models , 2001, Artif. Intell..

[252]  Amir Abboud,et al.  Geometric Monitoring of Heterogeneous Streams , 2014, IEEE Transactions on Knowledge and Data Engineering.

[253]  Adriano Rivolli,et al.  SWRL Rule Editor - A Web Application as Rich as Desktop Business Rule Editors , 2012, ICEIS.

[254]  Diego Calvanese,et al.  Exchanging Description Logic Knowledge Bases , 2012, KR.

[255]  Mathias Weske,et al.  Specification, Verification and Explanation of Violation for Data Aware Compliance Rules , 2009, ICSOC/ServiceWave.

[256]  Nicola Fanizzi,et al.  Multistrategy Theory Revision: Induction and Abduction in INTHELEX , 2004, Machine Learning.

[257]  Bernardo Pereira Nunes,et al.  Complex matching of RDF datatype properties , 2011, OM.

[258]  Petr Hájek,et al.  The GUHA method and its meaning for data mining , 2010, J. Comput. Syst. Sci..

[259]  Heiko Paulheim,et al.  Towards Rule Learning Approaches to Instance-based Ontology Matching , 2012, KNOW@LOD.

[260]  Huajun Chen,et al.  The Semantic Web , 2011, Lecture Notes in Computer Science.

[261]  Jiawei Han,et al.  Geographic Data Mining and Knowledge Discovery , 2001 .

[262]  Michael Kifer,et al.  FLORA: Implementing an Efficient DOOD System Using a Tabling Logic Engine , 2000, Computational Logic.

[263]  David E. Muller,et al.  Simulating Alternating Tree Automata by Nondeterministic Automata: New Results and New Proofs of the Theorems of Rabin, McNaughton and Safra , 1995, Theor. Comput. Sci..

[264]  Christopher Ré,et al.  Event queries on correlated probabilistic streams , 2008, SIGMOD Conference.

[265]  Vincenzo Loia,et al.  Hybrid approach for context-aware service discovery in healthcare domain , 2012, J. Comput. Syst. Sci..

[266]  Xin Sun,et al.  Conditional Ought, a Game Theoretical Perspective , 2011, LORI.

[267]  Andreas Herzig,et al.  ALTERNATIVE AXIOMATICS AND COMPLEXITY OF DELIBERATIVE STIT THEORIES , 2007, J. Philos. Log..

[268]  Leopoldo E. Bertossi,et al.  Tractable Query Answering and Optimization for Extensions of Weakly-Sticky Datalog+- , 2015, AMW.

[269]  John Mylopoulos,et al.  Towards a Compositional Semantic Account of Data Quality Attributes , 2008, ER.

[270]  Grigoris Antoniou,et al.  The DR-Prolog Tool Suite for Defeasible Reasoning and Proof Explanation in the Semantic Web , 2008, SETN.

[271]  Andrea Calì,et al.  Towards more expressive ontology languages: The query answering problem , 2012, Artif. Intell..

[272]  Ana Roxin,et al.  A Rule Based System for Semantical Enrichment of Building Information Exchange , 2014, Challenge+DC@RuleML.

[273]  Luc De Raedt,et al.  Logical and relational learning , 2008, Cognitive Technologies.

[274]  Bijan Parsia,et al.  Pellet: An OWL DL Reasoner , 2004, Description Logics.

[275]  Jan Rauch,et al.  Classes of Association Rules: An Overview , 2008, Data Mining: Foundations and Practice.

[276]  Clemente Rubio-Manzano,et al.  A Fuzzy linguistic prolog and its applications , 2014, J. Intell. Fuzzy Syst..

[277]  Peter Dadam,et al.  Monitoring Business Process Compliance Using Compliance Rule Graphs , 2011, OTM Conferences.

[278]  R. Mooney,et al.  A Multistrategy Approach to Theory Refinement , 1997 .

[279]  Diego Calvanese,et al.  High Performance Query Answering over DL-Lite Ontologies , 2012, KR.

[280]  Diego Calvanese,et al.  Answering regular path queries in expressive Description Logics via alternating tree-automata , 2014, Inf. Comput..

[281]  Filippo Neri,et al.  Multistrategy learning and theory revision , 1993, Machine Learning.

[282]  Barbara Messing,et al.  An Introduction to MultiAgent Systems , 2002, Künstliche Intell..

[283]  Moshe Y. Vardi The complexity of relational query languages (Extended Abstract) , 1982, STOC '82.

[284]  Stefan Katzenbeisser,et al.  Towards Formal Semantics for ODRL , 2004, ODRL Workshop.

[285]  Stefano Ferilli,et al.  A General Similarity Framework for Horn Clause Logic , 2009, Fundam. Informaticae.

[286]  Michael Kifer,et al.  F-logic: a higher-order language for reasoning about objects, inheritance, and scheme , 1989, SIGMOD '89.

[287]  Marco Bessi A survey about context-aware middleware , 2009 .

[288]  Masatoshi Yoshikawa,et al.  ILOG: Declarative Creation and Manipulation of Object Identifiers , 1990, VLDB.

[289]  Jérôme Euzenat,et al.  Ontology Matching: State of the Art and Future Challenges , 2013, IEEE Transactions on Knowledge and Data Engineering.

[290]  Adrian Paschke,et al.  State management and concurrency in event processing , 2009, DEBS '09.

[291]  Assaf Schuster,et al.  A Geometric Approach to Monitoring Threshold Functions over Distributed Data Streams , 2010, Ubiquitous Knowledge Discovery.

[292]  Grzegorz J. Nalepa,et al.  Towards rule-oriented business process model generation , 2013, 2013 Federated Conference on Computer Science and Information Systems.

[293]  Asunción Gómez-Pérez,et al.  Evaluation of ontologies , 2001, International Journal of Intelligent Systems.

[294]  Jorge Lobo,et al.  Conflict Resolution Using Logic Programming , 2003, IEEE Trans. Knowl. Data Eng..

[295]  Jiawei Han,et al.  CPAR: Classification based on Predictive Association Rules , 2003, SDM.

[296]  Harold Boley A RIF-Style Semantics for RuleML-Integrated Positional-Slotted, Object-Applicative Rules , 2011, RuleML Europe.

[297]  Slim Abdennadher,et al.  Towards the Implementation of a Source-to-Source Transformation Tool for CHR Operational Semantics , 2013, LOPSTR.

[298]  Emma Nangle,et al.  Re-use of Public Sector Information , 2016, Essential Law for Information Professionals.

[299]  Andrea Calì,et al.  Taming the Infinite Chase: Query Answering under Expressive Relational Constraints , 2008, Description Logics.

[300]  Clemens Beckstein,et al.  What's in a Trace: The Box Model Revisited , 1993, AADEBUG.

[301]  João Leite,et al.  Splitting and updating hybrid knowledge bases , 2011, Theory Pract. Log. Program..

[302]  Agnieszka Lawrynowicz,et al.  On Reducing Redundancy in Mining Relational Association Rules from the Semantic Web , 2008, RR.

[303]  Harry Chen,et al.  Semantic Web in the context broker architecture , 2004, Second IEEE Annual Conference on Pervasive Computing and Communications, 2004. Proceedings of the.

[304]  Francesca Arcelli Fontana Likelog for flexible query answering , 2002, Soft Comput..

[305]  N. Belnap,et al.  Facing the Future: Agents and Choices in Our Indeterminist World , 2001 .

[306]  Markus Krötzsch,et al.  Wikidata , 2014, Commun. ACM.

[307]  Svetha Venkatesh,et al.  Tracking and Surveillance in Wide-Area Spatial Environments Using the Abstract Hidden Markov Model , 2001, Int. J. Pattern Recognit. Artif. Intell..

[308]  Leon van der Torre,et al.  Combining Constitutive and Regulative Norms in Input/Output Logic , 2014, DEON.

[309]  Ákos Horváth,et al.  EMF-IncQuery: An integrated development environment for live model queries , 2015, Sci. Comput. Program..

[310]  Slim Abdennadher,et al.  Confluence and Semantics of Constraint Simplification Rules , 2004, Constraints.

[311]  Alberto O. Mendelzon,et al.  OLAP dimension constraints , 2002, PODS '02.

[312]  Rafael Caballero,et al.  A Transformation-based implementation for CLP with qualification and proximity* , 2010, Theory and Practice of Logic Programming.

[313]  Clemente Rubio-Manzano,et al.  An efficient fuzzy unification method and its implementation into the Bousi~Prolog system , 2010, International Conference on Fuzzy Systems.

[314]  James A. Hendler,et al.  The Semantic Web: A new form of Web content that is meaningful to computers will unleash a revolution of new possibilities , 2001 .

[315]  Val Tannen,et al.  Provenance semirings , 2007, PODS.

[316]  Michael Kifer,et al.  Rules and Ontologies in F-Logic , 2005, Reasoning Web.

[317]  Manu Sharma,et al.  PRIME on-field deployment First summary of results and discussion , 2011, 2011 IEEE International Conference on Smart Grid Communications (SmartGridComm).

[318]  Marco Botta,et al.  Learning First Order Theories , 1994, ISMIS.

[319]  Xin Jin,et al.  A Unified Attribute-Based Access Control Model Covering DAC, MAC and RBAC , 2012, DBSec.

[320]  Davide Sottara,et al.  Extending an Object-Oriented RETE Network with Fine-Grained Reactivity to Property Modifications , 2013, RuleML.

[321]  Tomasz Imielinski,et al.  Mining association rules between sets of items in large databases , 1993, SIGMOD Conference.

[322]  Donald Kossmann,et al.  The state of the art in distributed query processing , 2000, CSUR.

[323]  Axel Polleres,et al.  Defining expressive access policies for linked data using the ODRL ontology 2.0 , 2014, SEM '14.

[324]  Peter Clark,et al.  Rule Induction with CN2: Some Recent Improvements , 1991, EWSL.

[325]  JOHANNES FÜRNKRANZ,et al.  Separate-and-Conquer Rule Learning , 1999, Artificial Intelligence Review.

[326]  Francesca A. Lisi,et al.  Under Consideration for Publication in Theory and Practice of Logic Programming Building Rules on Top of Ontologies for the Semantic Web with Inductive Logic Programming , 2007 .

[327]  Ansaf Salleb-Aouissi,et al.  An Application of Association Rules Discovery to Geographic Information Systems , 2000, PKDD.

[328]  Sebastian Rudolph,et al.  Complexities of Horn Description Logics , 2013, TOCL.

[329]  Johanna Völker,et al.  Statistical Schema Induction , 2011, ESWC.

[330]  Luc De Raedt,et al.  CorClass: Correlated Association Rule Mining for Classification , 2004, Discovery Science.

[331]  David Maier,et al.  Capturing episodes: may the frame be with you , 2012, DEBS.

[332]  Ling Chen,et al.  Mining frequent items in data stream using time fading model , 2014, Inf. Sci..

[333]  Ho-fung Leung,et al.  Ontology Based Hybrid Access Control for Automatic Interoperation , 2007, ATC.

[334]  Moshe Y. Vardi Reasoning about The Past with Two-Way Automata , 1998, ICALP.

[335]  Martin J. Dürst,et al.  Internationalized Resource Identifiers (IRIs) , 2005, RFC.

[336]  Emiliano Lorini,et al.  A Dynamic Logic of Normative Systems , 2011, IJCAI.

[337]  Giorgio Orsi,et al.  Query Rewriting and Optimization for Ontological Databases , 2014, TODS.

[338]  Yarden Katz,et al.  Pellet: A practical OWL-DL reasoner , 2007, J. Web Semant..

[339]  Carsten Lutz,et al.  Inverse Roles Make Conjunctive Queries Hard , 2007, Description Logics.

[340]  Pedro M. Domingos,et al.  Markov Logic: An Interface Layer for Artificial Intelligence , 2009, Markov Logic: An Interface Layer for Artificial Intelligence.

[341]  Michael Fellmann,et al.  State-of-the-art of Business Process Compliance Approaches: A Survey (Extended Abstract) , 2014, EMISA.

[342]  Jean-François Baget,et al.  Revisiting Chase Termination for Existential Rules and their Extension to Nonmonotonic Negation , 2014, NMR 2014.

[343]  Raphaël Troncy,et al.  LODE: Linking Open Descriptions of Events , 2009, ASWC.

[344]  Ramakrishnan Srikant,et al.  Fast Algorithms for Mining Association Rules in Large Databases , 1994, VLDB.

[345]  Mohammed J. Zaki,et al.  Efficiently mining maximal frequent itemsets , 2001, Proceedings 2001 IEEE International Conference on Data Mining.

[346]  Henrik Boström,et al.  Classifying Uncovered Examples by Rule Stretching , 2001, ILP.

[347]  Mathias Uslar,et al.  The Common Information Model CIM: IEC 61968/61970 and 62325 - A practical introduction to the CIM , 2012 .

[348]  Hongli Deng,et al.  Complex Events Recognition under Uncertainty in a Sensor Network , 2014, ArXiv.

[349]  Assaf Schuster,et al.  Distributed Geometric Query Monitoring Using Prediction Models , 2014, ACM Trans. Database Syst..

[350]  Elisa Bertino,et al.  Access-control language for multidomain environments , 2004, IEEE Internet Computing.

[351]  Johannes Fürnkranz,et al.  Foundations of Rule Learning , 2012, Cognitive Technologies.

[352]  Teodor C. Przymusinski Well-founded and stationary models of logic programs , 2005, Annals of Mathematics and Artificial Intelligence.

[353]  Stefan Wrobel,et al.  An Algorithm for Multi-relational Discovery of Subgroups , 1997, PKDD.

[354]  David Pearce,et al.  A New Logical Characterisation of Stable Models and Answer Sets , 1996, NMELP.

[355]  Martin J. O'Connor,et al.  Clustering rule bases using ontology-based similarity measures , 2014, J. Web Semant..

[356]  Lei Jiang,et al.  Data Quality Is Context Dependent , 2010, BIRTE.

[357]  Andrea Calì,et al.  On the decidability and complexity of query answering over inconsistent and incomplete databases , 2003, PODS.

[358]  Robert A. Kowalski,et al.  A Logic-Based Framework for Reactive Systems , 2012, RuleML.

[359]  Emil C. Lupu,et al.  The Ponder Policy Specification Language , 2001, POLICY.

[360]  David Harel,et al.  Horn Clauses Queries and Generalizations , 1985, J. Log. Program..

[361]  Stephen Muggleton,et al.  Duce, An Oracle-based Approach to Constructive Induction , 1987, IJCAI.

[362]  Lina Zhou,et al.  A Framework for Ontology Evaluation , 2009, WEB.

[363]  Luc De Raedt,et al.  Cluster-grouping: from subgroup discovery to clustering , 2004, Machine Learning.

[364]  Michael Rosemann,et al.  Developing a meta model for the Bunge-Wand-Weber ontological constructs , 2002, Inf. Syst..

[365]  Raymond J. Mooney,et al.  Automated refinement of first-order horn-clause domain theories , 2005, Machine Learning.

[366]  Serena Villata,et al.  These Are Your Rights - A Natural Language Processing Approach to Automated RDF Licenses Generation , 2014, ESWC.

[367]  Shichao Zhang,et al.  Association Rule Mining: Models and Algorithms , 2002 .

[368]  Giorgio Orsi,et al.  Querying UML Class Diagrams , 2012, FoSSaCS.

[369]  Chitta Baral,et al.  From Knowledge Represented in Frame-Based Languages to Declarative Representation and Reasoning via ASP , 2012, KR.

[370]  Timothy W. Finin,et al.  KQML as an agent communication language , 1994, CIKM '94.

[371]  J B Bramson,et al.  What is the cost of compliance? , 1994, Journal of the American Dental Association.

[372]  Ginés Moreno,et al.  On the Declarative Semantics of Multi-Adjoint Logic Programs , 2009, IWANN.

[373]  Davide Martinenghi,et al.  Taxonomy-based relaxation of query answering in relational databases , 2013, The VLDB Journal.

[374]  Deepali Kholkar,et al.  Experience with Industrial Adoption of Business Process Models for User Acceptance Testing , 2013, ECMFA.

[375]  Carlo Zaniolo Active Database Rules with Transaction-Conscious Stable-Model Semantics , 1995, DOOD.

[376]  B. Kröse,et al.  Bayesian Activity Recognition in Residence for Elders , 2007 .

[377]  Michael Kifer,et al.  Defeasibility in answer set programs with defaults and argumentation rules , 2015, Semantic Web.

[378]  James Wogulis Revising Relational Domain Theories , 1991, ML.

[379]  Geoffrey I. Webb,et al.  Supervised Descriptive Rule Discovery: A Unifying Survey of Contrast Set, Emerging Pattern and Subgroup Mining , 2009, J. Mach. Learn. Res..

[380]  Flemming Nielson,et al.  XACML 3.0 in Answer Set Programming , 2012, LOPSTR.

[381]  Hongjun Lu,et al.  False Positive or False Negative: Mining Frequent Itemsets from High Speed Transactional Data Streams , 2004, VLDB.

[382]  L. D. Raedt Interactive theory revision: an inductive logic programming approach , 1992 .

[383]  Jeffrey Heer,et al.  Wrangler: interactive visual specification of data transformation scripts , 2011, CHI.

[384]  Alexandra Poulovassilis,et al.  Event-condition-action rules on RDF metadata in P2P environments , 2006, Comput. Networks.

[385]  Michael Kifer,et al.  Transaction Logic Programming , 1993, ICLP.

[386]  Philip Wadler,et al.  Comprehending monads , 1990, Mathematical Structures in Computer Science.

[387]  Ruben Verborgh,et al.  Drawing Conclusions from Linked Data on the Web: The EYE Reasoner , 2015, IEEE Software.

[388]  Georgios Meditskos,et al.  CLIPS-OWL: A framework for providing object-oriented extensional ontology queries in a production rule engine , 2011, Data Knowl. Eng..

[389]  Joyce Jihyun Kim Automated Demand Response Technologies and Demonstration in New York City using OpenADR , 2014 .

[390]  Leon van der Torre,et al.  Permission from an Input/Output Perspective , 2003, J. Philos. Log..

[391]  Christoph Lange,et al.  Three Semantics for the Core of the Distributed Ontology Language , 2012, FOIS.

[392]  Shazia Wasim Sadiq,et al.  Transformation of SBVR Compliant Business Rules to Executable FCL Rules , 2010, RuleML.

[393]  Kostas Patroumpas Multi-scale window specification over streaming trajectories , 2013, J. Spatial Inf. Sci..

[394]  Georg Gottlob,et al.  Well-founded semantics for extended datalog and ontological reasoning , 2013, PODS '13.

[395]  Michael Kifer,et al.  Reasoning about Anonymous Resources and Meta Statements on the Semantic Web , 2003, J. Data Semant..

[396]  V. S. Costa,et al.  Theory and Practice of Logic Programming , 2010 .

[397]  Andrew R. Post,et al.  Temporal data mining. , 2008, Clinics in laboratory medicine.

[398]  Brigitte Mathiak,et al.  Object Property Matching Utilizing the Overlap between Imported Ontologies , 2014, ESWC.

[399]  Michael R. Genesereth,et al.  Reformulating Aggregate Queries Using Views , 2013, SARA.

[400]  Ginés Moreno,et al.  Fuzzy Logic Programming in Action with FLOPER , 2014 .

[401]  Gail-Joon Ahn,et al.  Role-based Access Control on the Web Using LDAP , 2001, DBSec.

[402]  Mira Balaban,et al.  Finite satisfiability of UML class diagrams with constrained class hierarchy , 2013, TSEM.

[403]  Vijayalakshmi Atluri,et al.  Role-based Access Control , 1992 .

[404]  Donato Malerba,et al.  Empowering a GIS with inductive learning capabilities: the case of INGENS , 2003, Comput. Environ. Urban Syst..

[405]  Donato Malerba,et al.  Geographic Knowledge Discovery in INGENS: An Inductive Database Perspective , 2008, 2008 IEEE International Conference on Data Mining Workshops.

[406]  Sebastian Nanz,et al.  A logic for state-modifying authorization policies , 2007, TSEC.

[407]  James Bailey,et al.  On the decidability of the termination problem of active database systems , 2004, Theor. Comput. Sci..

[408]  Jens Lehmann,et al.  DBpedia - A large-scale, multilingual knowledge base extracted from Wikipedia , 2015, Semantic Web.

[409]  Thomas Eiter,et al.  FDNC: Decidable nonmonotonic disjunctive logic programs with function symbols , 2010, TOCL.

[410]  Serena Villata,et al.  A deontic logic semantics for licenses composition in the web of data , 2013, ICAIL.

[411]  D. P. Atherton,et al.  An analysis package comparing PID anti-windup strategies , 1995 .

[412]  Letizia Tanca,et al.  CARVE: Context-aware automatic view definition over relational databases , 2013, Inf. Syst..

[413]  Erhard Rahm,et al.  AGENTWORK: a workflow system supporting rule-based workflow adaptation , 2004, Data Knowl. Eng..

[414]  Peter Clark,et al.  The CN2 Induction Algorithm , 1989, Machine Learning.

[415]  Ying Xing,et al.  The Design of the Borealis Stream Processing Engine , 2005, CIDR.

[416]  Jeff Z. Pan,et al.  Optimising ontology stream reasoning with truth maintenance system , 2011, CIKM '11.

[417]  Michaël Thomazo,et al.  Sound, complete and minimal UCQ-rewriting for existential rules , 2013, Semantic Web.

[418]  Hans-Arno Jacobsen,et al.  Composite Subscriptions in Content-Based Publish/Subscribe Systems , 2005, Middleware.

[419]  Andrea Calì,et al.  Ontological query answering under expressive Entity-Relationship schemata , 2012, Inf. Syst..

[420]  Tomasz Imielinski,et al.  Incomplete Information in Relational Databases , 1984, JACM.

[421]  Tao Lu,et al.  Context modeling and reasoning based on certainty factor , 2009, 2009 Asia-Pacific Conference on Computational Intelligence and Industrial Applications (PACIIA).

[422]  Piero A. Bonatti,et al.  On finitely recursive programs1 , 2009, Theory and Practice of Logic Programming.

[423]  James F. Allen Maintaining knowledge about temporal intervals , 1983, CACM.

[424]  Daniel Amyot,et al.  Legal goal-oriented requirement language (legal GRL) for modeling regulations , 2014, MiSE 2014.

[425]  Alon Y. Halevy,et al.  Enterprise information integration: successes, challenges and controversies , 2005, SIGMOD '05.

[426]  Siegfried Nijssen,et al.  Pattern-Based Classification: A Unifying Perspective , 2011, ArXiv.

[427]  Henry A. Kautz,et al.  Location-Based Reasoning about Complex Multi-Agent Behavior , 2012, J. Artif. Intell. Res..

[428]  Leopoldo E. Bertossi,et al.  Ontology-Based Multidimensional Contexts with Applications to Quality Data Specification and Extraction , 2015, RuleML.

[429]  Peter F. Patel-Schneider,et al.  OWL 2 Web Ontology Language Primer (Second Edition) , 2012 .

[430]  Ulrike Sattler,et al.  A Data Warehouse Conceptual Data Model for Multidimensional Aggregation , 1999, DMDW.

[431]  J. A. Rodriguez-Mondejar,et al.  Adapting the CIM Model to Describe Electrified Railway Systems , 2008 .

[432]  Slim Abdennadher,et al.  Integration and Optimization of Rule-Based Constraint Solvers , 2003, LOPSTR.

[433]  Diego Calvanese,et al.  Linking Data to Ontologies , 2008, J. Data Semant..

[434]  Tommi Syrjänen Omega-Restricted Logic Programs , 2001, LPNMR.

[435]  Franz Baader Least Common Subsumers and Most Specific Concepts in a Description Logic with Existential Restrictions and Terminological Cycles , 2003, IJCAI.

[436]  Peter R. Pietzuch,et al.  Distributed complex event processing with query rewriting , 2009, DEBS '09.

[437]  Gregory F. Cooper,et al.  The Computational Complexity of Probabilistic Inference Using Bayesian Belief Networks , 1990, Artif. Intell..

[438]  Dirk Fahland,et al.  Where Did I Misbehave? Diagnostic Information in Compliance Checking , 2012, BPM.

[439]  Jiawei Han,et al.  Discovery of Spatial Association Rules in Geographic Information Databases , 1995, SSD.

[440]  Jeff Heflin,et al.  LUBM: A benchmark for OWL knowledge base systems , 2005, J. Web Semant..

[441]  Nektarios Gioldasis,et al.  Ontology Mapping and SPARQL Rewriting for Querying Federated RDF Data Sources - (Short Paper) , 2010, OTM Conferences.

[442]  Franz Baader,et al.  Pushing the EL Envelope , 2005, IJCAI.

[443]  Xifeng Yan,et al.  CloSpan: Mining Closed Sequential Patterns in Large Datasets , 2003, SDM.

[444]  Michael Grüninger,et al.  Using the PSL Ontology , 2009, Handbook on Ontologies.

[445]  Carsten Lutz,et al.  Data Complexity in the EL Family of Description Logics , 2007, LPAR.

[446]  Boris Motik,et al.  OWL 2 Web Ontology Language: structural specification and functional-style syntax , 2008 .

[447]  Thomas Eiter,et al.  Bidirectional Answer Set Programs with Function Symbols , 2009, IJCAI.

[448]  Diego Calvanese,et al.  The MASTRO system for ontology-based data access , 2011, Semantic Web.

[449]  Ronald Fagin,et al.  Probabilistic data exchange , 2010, JACM.

[450]  Richard C. T. Lee,et al.  Symbolic logic and mechanical theorem proving , 1973, Computer science classics.

[451]  Joris Scheppers Creating flexible data quality validationprocesses using Business Rules , 2009 .

[452]  Michael Wooldridge,et al.  On the Logic of Normative Systems , 2007, IJCAI.

[453]  Grzegorz J. Nalepa,et al.  Proposal of an Inference Engine Architecture for Business Rules and Processes , 2013, ICAISC.

[454]  Bertram Ludäscher,et al.  On Active Deductive Databases: The Statelog Approach , 1996, Transactions and Change in Logic Databases.

[455]  Mohammed J. Zaki,et al.  SPADE: An Efficient Algorithm for Mining Frequent Sequences , 2004, Machine Learning.

[456]  Ming-Syan Chen,et al.  On the mining of substitution rules for statistically dependent items , 2002, 2002 IEEE International Conference on Data Mining, 2002. Proceedings..

[457]  Guido Governatori,et al.  A modal and deontic defeasible reasoning system for modelling policies and multi-agent systems , 2009, Expert Syst. Appl..

[458]  Mathias Uslar Semantic interoperability within the power systems domain , 2005, IHIS '05.

[459]  Philip S. Yu,et al.  Moment: maintaining closed frequent itemsets over a stream sliding window , 2004, Fourth IEEE International Conference on Data Mining (ICDM'04).

[460]  Shazia Wasim Sadiq,et al.  Modeling Control Objectives for Business Process Compliance , 2007, BPM.

[461]  Willi Klösgen,et al.  Explora: A Multipattern and Multistrategy Discovery Assistant , 1996, Advances in Knowledge Discovery and Data Mining.

[462]  Matthias Jarke,et al.  Logic Programming and Databases , 1984, Expert Database Workshop.

[463]  Ginés Moreno,et al.  Similarity-Based Equality with Lazy Evaluation , 2010, IPMU.