Rule Technologies. Research, Tools, and Applications 10Th International Symposium, Ruleml 2016, Stony Brook, NY, USA, July 6-9, 2016

Total Page:16

File Type:pdf, Size:1020Kb

Rule Technologies. Research, Tools, and Applications 10Th International Symposium, Ruleml 2016, Stony Brook, NY, USA, July 6-9, 2016 springer.com Computer Science : Artificial Intelligence Alferes, J.J., Bertossi, L., Governatori, G., Fodor, P., Roman, D. (Eds.) Rule Technologies. Research, Tools, and Applications 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings This book constitutes the refereed proceedings of the 10th International RuleML Symposium, RuleML 2016, held in New York, NY, USA during July 2016.The 19 full papers, 1 short paper, 2 keynote abstracts, 2 invited tutorial papers, 1 invited standard paper, presented were carefully reviewed and selected from 36 submissions. RuleML is a leading conference aiming to build bridges between academia and industry in the field of rules and its applications, especially as Springer part of the semantic technology stack. It is devoted to rule-based programming and rule-based systems including production rule systems, logic programming rule engines, and business rule 1st ed. 2016, XXV, 351 p. 1st engines and business rule management systems, Semantic Web rule languages and rule 41 illus. edition standardsand technologies, and research on inference rules, transformation rules, decision rules, and ECA rules. Printed book Order online at springer.com/booksellers Softcover Springer Nature Customer Service Center GmbH Customer Service Printed book Tiergartenstrasse 15-17 Softcover 69121 Heidelberg ISBN 978-3-319-42018-9 Germany £ 129,99 | CHF 171,00 | 144,99 € | T: +49 (0)6221 345-4301 159,49 € (A) | 155,14 € (D) [email protected] Available Discount group Science (SC) Product category Proceedings Series Programming and Software Engineering Other renditions Softcover ISBN 978-3-319-42020-2 Prices and other details are subject to change without notice. All errors and omissions excepted. Americas: Tax will be added where applicable. Canadian residents please add PST, QST or GST. Please add $5.00 for shipping one book and $ 1.00 for each additional book. Outside the US and Canada add $ 10.00 for first book, $5.00 for each additional book. If an order cannot be fulfilled within 90 days, payment will be refunded upon request. Prices are payable in US currency or its equivalent. ISBN 978-3-319-42018-9 / BIC: UYQ / SPRINGER NATURE: SCI21000 Part of .
Recommended publications
  • Rule-Based Intelligence on the Semantic Web Implications for Military Capabilities
    UNCLASSIFIED Rule-Based Intelligence on the Semantic Web Implications for Military Capabilities Dr Paul Smart Senior Research Fellow School of Electronics and Computer Science University of Southampton Southampton SO17 1BJ United Kingdom 26th November 2007 UNCLASSIFIED Report Documentation Page Report Title: Rule-Based Intelligence on the Semantic Web Report Subtitle Implications for Military Capabilities Project Title: N/A Number of Pages: 57 Version: 1.2 Date of Issue: 26/11/2007 Due Date: 22/11/2007 Performance EZ~01~01~17 Number of 95 Indicator: References: Reference Number: DT/Report/RuleIntel Report Availability: APPROVED FOR PUBLIC RELEASE; LIMITED DISTRIBUTION Abstract Availability: APPROVED FOR PUBLIC RELEASE; DISTRIBUTION UNLIMITED Authors: Paul Smart Keywords: semantic web, ontologies, reasoning, decision support, rule languages, military Primary Author Details: Client Details: Dr Paul Smart Senior Research Fellow School of Electronics and Computer Science University of Southampton Southampton, UK SO17 1BJ tel: +44 (0)23 8059 6669 fax: +44 (0)23 8059 2783 email: [email protected] Abstract: Rules are a key element of the Semantic Web vision, promising to provide a foundation for reasoning capabilities that underpin the intelligent manipulation and exploitation of information content. Although ontologies provide the basis for some forms of reasoning, it is unlikely that ontologies, by themselves, will support the range of knowledge-based services that are likely to be required on the Semantic Web. As such, it is important to consider the contribution that rule-based systems can make to the realization of advanced machine intelligence on the Semantic Web. This report aims to review the current state-of-the-art with respect to semantic rule-based technologies.
    [Show full text]
  • Reducing the Overconfidence of Base Classifiers When Combining Their Decisions Raudys, Šarunas; Somorjai, Ray; Baumgartner, Richard
    NRC Publications Archive Archives des publications du CNRC Reducing the overconfidence of base classifiers when combining their decisions Raudys, Šarunas; Somorjai, Ray; Baumgartner, Richard For the publisher’s version, please access the DOI link below./ Pour consulter la version de l’éditeur, utilisez le lien DOI ci-dessous. Publisher’s version / Version de l'éditeur: https://doi.org/10.1007/3-540-44938-8_7 Multiple Classifier Systems: 4th International Workshop, MCS 2003 Guildford, UK, June 11–13, 2003 Proceedings, Lecture Notes in Computer Science; no. 2709, pp. 65-73, 2003 NRC Publications Archive Record / Notice des Archives des publications du CNRC : https://nrc-publications.canada.ca/eng/view/object/?id=8a1144bd-69c8-49fe-9ae2-8ef86f388615 https://publications-cnrc.canada.ca/fra/voir/objet/?id=8a1144bd-69c8-49fe-9ae2-8ef86f388615 Access and use of this website and the material on it are subject to the Terms and Conditions set forth at https://nrc-publications.canada.ca/eng/copyright READ THESE TERMS AND CONDITIONS CAREFULLY BEFORE USING THIS WEBSITE. L’accès à ce site Web et l’utilisation de son contenu sont assujettis aux conditions présentées dans le site https://publications-cnrc.canada.ca/fra/droits LISEZ CES CONDITIONS ATTENTIVEMENT AVANT D’UTILISER CE SITE WEB. Questions? Contact the NRC Publications Archive team at [email protected]. If you wish to email the authors directly, please see the first page of the publication for their contact information. Vous avez des questions? Nous pouvons vous aider. Pour communiquer directement avec un auteur, consultez la première page de la revue dans laquelle son article a été publié afin de trouver ses coordonnées.
    [Show full text]
  • Symposiumplanner-2011: Querying Two Virtual Organization Committees
    SymposiumPlanner-2011: Querying Two Virtual Organization Committees Zhili Zhao1, Adrian Paschke1, Chaudhry Usman Ali2, and Harold Boley2,3 1 Computer Science Department, Freie Universit¨at Berlin, Germany zhili.zhao,paschke [AT]inf.fu-berlin.de, { } 2 Faculty of Computer Science, University of New Brunswick, Canada maniali[AT]gmail.com, 3 Institute for Information Technology, National Research Council Canada harold.boley[AT]nrc.gc.ca Abstract. SymposiumPlanner-2011 is the newest in a series of Rule Responder instantiations for the Questions&Answers (Q&A) sections of the official websites of the RuleML Symposia. It supports committee members via personal agents based on member-encoded rule knowledge. The personal agents are invoked by an organizational agent which se- lects them using a responsibility assignment matrix. This paper describes SymposiumPlanner-2011, which goes beyond the previous instantiations by providing a more powerful user interface and reducing redundancy in the internal conference data repositories. 1 Introduction SymposiumPlanner4 is a series of Rule Responder[1, 5] instantiations for the Questions&Answers (Q&A) sections of the official websites of the RuleML Sym- posia since 2007. SymposiumPlanner utilizes an Organizational Agent (OA) to handle the filtering and delegation of incoming queries. Each committee chair has a Personal Agent (PA) that acts in a rule-based manner on behalf of the chair. This PA manages the chair’s personal information, such as a FOAF(Friend of a Friend5)-like profile containing a layer of facts about the committee member as well as FOAF-extending rules. These facts and rules allow PAs to automatically respond to requests concerning the RuleML Symposia.
    [Show full text]
  • A Report on the Ninth International Web Rule Symposium
    Reports A Report on the Ninth International Web Rule Symposium Adrian Paschke I The annual International Web Rule he Ninth International Web Rule Symposium (RuleML Symposium (RuleML) is an internation- 2015) was held in Berlin, Germany, from August 2–5. al conference on research, applications, TThe symposium was organized by Adrian Paschke (gen- languages, and standards for rule tech- eral chair), Fariba Sadri (program cochair), Nick Bassiliades nologies. RuleML is a leading confer- (program cochair), and Georg Gottlob program cochair). A ence to build bridges between academe and industry in the field of rules and its total number of 94 papers were submitted from which 22 full applications, especially as part of the papers, 1 short paper, 2 keynote papers, 3 track papers, 4 tuto- semantic technology stack. It is devoted rial papers, 6 industry papers, 6 challenge papers, 3 competi- to rule-based programming and rule- tion papers, 5 Ph.D. papers and 3 poster papers were select- based systems including production ed. The papers were presented in multiple tracks on complex rules systems, logic programming rule event processing, existential rules and Datalog+/–, industry engines, and business rule engines/busi- applications, legal rules and reasoning, and rule learning. Fol- ness rule management systems; seman- tic web rule languages and rule stan- lowing the precedent set in earlier years, RuleML also hosted dards; rule-based event-processing the Fifth RuleML Doctoral Consortium and the Ninth Inter- languages (EPLs) and technologies; and national Rule Challenge as well as the RuleML Competition, research on inference rules, transforma- which this year was dedicated to rule-based recommender tion rules, decision rules, production systems on the web of data.
    [Show full text]
  • Conference Program
    Conference Program RuleML-2008 International RuleML Symposium on Rule Interchange and Applications Orlando, Florida October, 30-31, 2008 Co-located with 11th Business Rules Forum Sponsored by Vulcan Inc, Model Systems, STI Innsbruck, ruleCore, JBoss Supported by AAAI, W3C, BPM-Forum, Business Rules Forum, ECCAI, OASIS, OMG, Dallas Rules Group, Belgium Business Rules Forum, MIT Sloan CIO Symposium, Event Processing Technical Society, ACM, ACM SIGART, ACM SIGMIS, ACM SIGWEB, Open Research Society, Corporate Semantic Web, IEEE Computer Society, IEEE Systems Man and Cybernetics Society, IEEE SMCS TC on Intelligent Internet Systems, IEEE SMCS TC on Distributed Intelligent Systems, IEEE Computer Society TC on Autonomous and Autonomic Systems, Springer, MoDo Marketing Table of Contents Table of Contents .......................................................................................................... 2 Disclaimer ...................................................................................................................... 2 Additional Help & Information ...................................................................................... 2 Welcome to RULEML-2008 ........................................................................................... 3 Symposium Officers and Program Committee Members........................................... 5 The RuleML Initiative ..................................................................................................... 8 General Symposium Information ................................................................................
    [Show full text]
  • Rule Technologies
    Jose Julio Alferes · Leopoldo Bertossi Guido Governatori · Paul Fodor Dumitru Roman (Eds.) Rule Technologies LNCS 9718 Research, Tools, and Applications 10th International Symposium, RuleML 2016 Stony Brook, NY, USA, July 6–9, 2016 Proceedings 123 Lecture Notes in Computer Science 9718 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University, Lancaster, UK Takeo Kanade Carnegie Mellon University, Pittsburgh, PA, USA Josef Kittler University of Surrey, Guildford, UK Jon M. Kleinberg Cornell University, Ithaca, NY, USA Friedemann Mattern ETH Zurich, Zürich, Switzerland John C. Mitchell Stanford University, Stanford, CA, USA Moni Naor Weizmann Institute of Science, Rehovot, Israel C. Pandu Rangan Indian Institute of Technology, Madras, India Bernhard Steffen TU Dortmund University, Dortmund, Germany Demetri Terzopoulos University of California, Los Angeles, CA, USA Doug Tygar University of California, Berkeley, CA, USA Gerhard Weikum Max Planck Institute for Informatics, Saarbrücken, Germany More information about this series at http://www.springer.com/series/7408 Jose Julio Alferes • Leopoldo Bertossi Guido Governatori • Paul Fodor Dumitru Roman (Eds.) Rule Technologies Research, Tools, and Applications 10th International Symposium, RuleML 2016 Stony Brook, NY, USA, July 6–9, 2016 Proceedings 123 Editors Jose Julio Alferes Paul Fodor Universidade Nova de Lisboa Stony Brook University Lisboa Stony Brook, NY Portugal USA Leopoldo Bertossi Dumitru Roman Carleton University SINTEF/University of Oslo Ottawa, ON Oslo Canada Norway Guido Governatori NICTA Queensland Brisbane, QLD Australia ISSN 0302-9743 ISSN 1611-3349 (electronic) Lecture Notes in Computer Science ISBN 978-3-319-42018-9 ISBN 978-3-319-42019-6 (eBook) DOI 10.1007/978-3-319-42019-6 Library of Congress Control Number: 2016943419 LNCS Sublibrary: SL2 – Programming and Software Engineering © Springer International Publishing Switzerland 2016 This work is subject to copyright.
    [Show full text]
  • Rule Responder Agents Framework and Instantiations Boley, Harold; Paschke, Adrian
    NRC Publications Archive Archives des publications du CNRC Rule responder agents framework and instantiations Boley, Harold; Paschke, Adrian For the publisher’s version, please access the DOI link below./ Pour consulter la version de l’éditeur, utilisez le lien DOI ci-dessous. Publisher’s version / Version de l'éditeur: https://doi.org/10.1007/978-3-642-18308-9_1 Semantic Agent Systems: Foundations and Applications, Studies in Computational Intelligence; Volume 344, pp. 3-23, 2011 NRC Publications Archive Record / Notice des Archives des publications du CNRC : https://nrc-publications.canada.ca/eng/view/object/?id=0c2ad733-a7ed-4a66-a843-0ee30643bc69 https://publications-cnrc.canada.ca/fra/voir/objet/?id=0c2ad733-a7ed-4a66-a843-0ee30643bc69 Access and use of this website and the material on it are subject to the Terms and Conditions set forth at https://nrc-publications.canada.ca/eng/copyright READ THESE TERMS AND CONDITIONS CAREFULLY BEFORE USING THIS WEBSITE. L’accès à ce site Web et l’utilisation de son contenu sont assujettis aux conditions présentées dans le site https://publications-cnrc.canada.ca/fra/droits LISEZ CES CONDITIONS ATTENTIVEMENT AVANT D’UTILISER CE SITE WEB. Questions? Contact the NRC Publications Archive team at [email protected]. If you wish to email the authors directly, please see the first page of the publication for their contact information. Vous avez des questions? Nous pouvons vous aider. Pour communiquer directement avec un auteur, consultez la première page de la revue dans laquelle son article a été publié afin de trouver ses coordonnées. Si vous n’arrivez pas à les repérer, communiquez avec nous à [email protected].
    [Show full text]
  • Lecture Notes in Computer Science 5321 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan Van Leeuwen
    Lecture Notes in Computer Science 5321 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University, UK Takeo Kanade Carnegie Mellon University, Pittsburgh, PA, USA Josef Kittler University of Surrey, Guildford, UK Jon M. Kleinberg Cornell University, Ithaca, NY, USA Alfred Kobsa University of California, Irvine, CA, USA Friedemann Mattern ETH Zurich, Switzerland John C. Mitchell Stanford University, CA, USA Moni Naor Weizmann Institute of Science, Rehovot, Israel Oscar Nierstrasz University of Bern, Switzerland C. Pandu Rangan Indian Institute of Technology, Madras, India Bernhard Steffen University of Dortmund, Germany Madhu Sudan Massachusetts Institute of Technology, MA, USA Demetri Terzopoulos University of California, Los Angeles, CA, USA Doug Tygar University of California, Berkeley, CA, USA Gerhard Weikum Max-Planck Institute of Computer Science, Saarbruecken, Germany Nick Bassiliades Guido Governatori Adrian Paschke (Eds.) Rule Representation, Interchange and Reasoning on the Web International Symposium, RuleML 2008 Orlando, FL, USA, October 30-31, 2008 Proceedings 13 Volume Editors Nick Bassiliades Aristotle University of Thessaloniki Department of Informatics Thessaloniki, Greece E-mail: [email protected] Guido Governatori National ICT Australia Queensland Research Laboratory St Lucia, Queensland, Australia E-mail: [email protected] Adrian Paschke Free University Berlin Chair for Corporate Semantic Web Berlin, Germany E-mail: [email protected] Library of Congress Control Number: Applied for CR Subject Classification (1998): D.3.1, F.3.2, H.5.3 LNCS Sublibrary: SL 2 – Programming and Software Engineering ISSN 0302-9743 ISBN-10 3-540-88807-1 Springer Berlin Heidelberg New York ISBN-13 978-3-540-88807-9 Springer Berlin Heidelberg New York This work is subject to copyright.
    [Show full text]
  • Conference Program
    Conference Program RuleML-2008 International RuleML Symposium on Rule Interchange and Applications Orlando, Florida October, 30-31, 2008 Co-located with 11th Business Rules Forum Sponsored by Vulcan Inc, Model Systems, STI Innsbruck, ruleCore, JBoss Supported by AAAI, W3C, BPM-Forum, Business Rules Forum, ECCAI, OASIS, OMG, Dallas Rules Group, Belgium Business Rules Forum, MIT Sloan CIO Symposium, Event Processing Technical Society, ACM, ACM SIGART, ACM SIGMIS, ACM SIGWEB, Open Research Society, Corporate Semantic Web, IEEE Computer Society, IEEE Systems Man and Cybernetics Society, IEEE SMCS TC on Intelligent Internet Systems, IEEE SMCS TC on Distributed Intelligent Systems, IEEE Computer Society TC on Autonomous and Autonomic Systems, Springer, MoDo Marketing Table of Contents Table of Contents .......................................................................................................... 2 Disclaimer ...................................................................................................................... 2 Additional Help & Information ...................................................................................... 2 Welcome to RULEML-2008 ........................................................................................... 3 Symposium Officers and Program Committee Members........................................... 5 The RuleML Initiative..................................................................................................... 8 General Symposium Information ................................................................................
    [Show full text]
  • Curriculum Vitae
    Curriculum Vitae Dr. Leopoldo E. Bertossi September 26, 2021 1 Current Positions Full Professor Universidad Adolfo Ib´a~nez(UAI), Faculty of Engineering and Sciences, Santiago, Chile. Since September 2020. Senior UAI Fellow. Since September 2020. Director MSc. and PhD Programs in Data Science. UAI. Since 2020. Chief Talent Officer. Data Observatory Foundation. Santiago, Chile. Since May 2020. Emeritus Professor, School of Computer Science, Carleton University, Ottawa, Canada. Full Professor with tenure since July 2001. Senior Researcher at the \Millennium Institute for Foundational Research on Data" (IMFD, Chile). Since March 2018. Contact: Universidad Adolfo Iba~nez,Facultad de Ingenier´ıay Ciencias. Diagonal Las Torres 2700, Building D, Pe~nalolen,Santiago, Chile. Email: [email protected]. Phone: +56 2 2331-1614. http://www.scs.carleton.ca/~bertossi Citizenship: Chilean, Canadian and Italian. Languages: Spanish (native), English, German. Partial: French, Italian. 2 Research and Scientific Interests Explainable and Fair AI Statistical Relational Learning Data Science Data Warehouses and Multidimensional Uncertainty Management in Data and Databases Knowledge Data Management and Databases Data Analytics Data Management for Business Intelligence Ontologies and Semantic Web Data Data Quality Logic Programming and Answer-Set Data Integration Programming Intelligent Information Systems Computational Complexity Logico-Probabilistic Knowledge Foundations of Probability and Representation Statistical Methods Logic in Computer Science Scientific Societies Memberships: Association for Computing Machinery (ACM), ACM Special Interest Group on Management of Data (SIGMOD), ACM Special Interest Group on Algorithms and Computation Theory (SIGACT), ACM Special Interest Group on Logic and Computation, American Association for Artificial Intelligence (AAAI), Chilean Computer Science Society (SCCC). 3 Organizational and Managerial Positions (main, longer term) 1.
    [Show full text]
  • On Extending Ruleml for Modal Defeasible Logic
    On Extending RuleML for Modal Defeasible Logic Guido Governatori1, Duy Hoang Pham1;2, Simon Raboczi2 Andrew Newman2, Subhasis Thakur2 1 National ICT Australia, Queensland Research Laboratory, Brisbane, Australia 2 School of Information Technology and Electrical Engineering The University of Queensland, Brisbane, Australia Abstract. In this paper we present a general methodology to extend Defeasible Logic with modal operators. We motivate the reasons for this type of extension and we argue that the extension will allow for a robust knowledge framework in different application areas. The paper presents an extension of RuleML to capture Modal Defeasible Logic. 1 Introduction Relations among organizations are guided by sets of rules or policies. A policy can de- fine the privacy requirements of an user, access permissions for a resource, rights of an individual and so on. Many languages have been proposed to write policies. A few ex- amples of these languages are P3P, XACML, SAML. These languages are XML based and use different tags to represent different information to be used in the description of a policy. The growth of the number of these languages and important, and the similar- ity of concepts these are trying to capture has recently led the W3C to create a special interest group on policy language [22] with the aim of providing a unifying approach to the representation of policies on the web. A policy can be understood as a set of rules, and the purpose of policy languages (and rule languages in general) is to provide a medium to allow different stakeholders to achieve interoperability by exchanging their (relevant) policies.
    [Show full text]
  • Principles of the Symposiumplanner Instantiations of Rule Responder Zhao, Zhili; Paschke, Adrian; Ali, Chaudhry Usman; Boley, Harold
    NRC Publications Archive Archives des publications du CNRC Principles of the SymposiumPlanner instantiations of rule responder Zhao, Zhili; Paschke, Adrian; Ali, Chaudhry Usman; Boley, Harold For the publisher’s version, please access the DOI link below./ Pour consulter la version de l’éditeur, utilisez le lien DOI ci-dessous. Publisher’s version / Version de l'éditeur: https://doi.org/10.1007/978-3-642-24908-2_15 Rule-Based Modeling and Computing on the Semantic Web: 5th International Symposium, RuleML 2011– America, Ft. Lauderdale, FL, Florida, USA, November 3-5, 2011. Proceedings, Lecture Notes in Computer Science; no. 7018, pp. 97- NRC111, Publications2011-11-10 Archive Record / Notice des Archives des publications du CNRC : https://nrc-publications.canada.ca/eng/view/object/?id=c63a6eca-a0db-45be-a8b8-330314837945 https://publications-cnrc.canada.ca/fra/voir/objet/?id=c63a6eca-a0db-45be-a8b8-330314837945 Access and use of this website and the material on it are subject to the Terms and Conditions set forth at https://nrc-publications.canada.ca/eng/copyright READ THESE TERMS AND CONDITIONS CAREFULLY BEFORE USING THIS WEBSITE. L’accès à ce site Web et l’utilisation de son contenu sont assujettis aux conditions présentées dans le site https://publications-cnrc.canada.ca/fra/droits LISEZ CES CONDITIONS ATTENTIVEMENT AVANT D’UTILISER CE SITE WEB. Questions? Contact the NRC Publications Archive team at [email protected]. If you wish to email the authors directly, please see the first page of the publication for their contact information. Vous avez des questions? Nous pouvons vous aider. Pour communiquer directement avec un auteur, consultez la première page de la revue dans laquelle son article a été publié afin de trouver ses coordonnées.
    [Show full text]