Rule Technologies: Foundations, Tools, and Applications
暂无分享,去创建一个
Georg Gottlob | Nick Bassiliades | Adrian Paschke | Dumitru Roman | Fariba Sadri | G. Gottlob | Nick Bassiliades | D. Roman | A. Paschke | F. Sadri
[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.