Rules: Logic and Applications workshop, 19-20 December 2018.
Venue: Multimedia Center, Central Library Building, Zografou Campus.
Keynote Speaker: Harold Boley, Faculty of Computer Science, University of New Brunswick, Fredericton, Canada.
Topic: PSOA RuleML Explained with Blockchain Examples: Grailog Visualizations, Herbrand Models, and PSOATransRun Queries.
Abstract: The PSOA RuleML language and its PSOATransRun engine provide cross-paradigm deductive querying. Knowledge representation in PSOA RuleMLis explored with a progression of data and rules built from relations (tables), objects (graphs), as well as their systematic integration and extension. All kinds of data from this PSOA systematics are visualized by generalized (hyper)graphs in an extended Grailog. Building on relational Herbrand models, object-centered and object-relational Herbrand models are presented as a novel model-theoretic semantics for such data and rules. Comprehensive PSOATransRun query & answer pairs for the same PSOA knowledge bases exemplify the proof-theoretic semantics. General notions are illustrated by varieties of transitive closure as high-level knowledge about blockchains like Gridcoin and Chia Network.
Full text: pdf.
Short Bio: Dr. Harold Boley is Adjunct Professor at the Faculty of Computer Science, University of New Brunswick, Canada, and Chair of RuleML Inc. His work on Declarative Specification, Programming, and AI includes leading the development of the RuleML system of families of languages. RuleML has been combined with OWL to SWRL, has become the main input to the W3C Recommendation RIF, and has provided the foundation for OASIS LegalRuleMLCore Specification Version 1.0. Two of his projects in data-plus-knowledge representation are the object-relational PSOA RuleML and the visualization framework Grailog.
Local Organizing Committee: Petros Stefaneas, Sofia Almpani, Theodoros Mitsikas.
|Petros Stefaneas (NTUA)||Welcome presentation (pdf)|
|Sofia Almpani (NTUA)||A Rule-Based Model for Compliance of Medical Devices Applied to the European Market(pdf)|
|Dimitris Alimisis (EDUMOTIVA)||Education in Robotics and Education with Robotics: The INBOTS Project(pdf)|
|Maria M. Dimarogkona (NTUA)||Ethics of Algorithms and Formal Methods (pdf)|
|Dimitris Zafeirakopoulos (NTUA)||Deontic Logic and Robot Ethics (pdf)|
|Harold Boley (UNB)||PSOA RuleML Explained with Blockchain Examples: Grailog Visualizations, Herbrand Models, and PSOATransRun Queries (wiki)|
|Lukas Graetz (Leipzig University)||PSOA Prova: PSOA Translation of Pure Production Rules to the Prova Engine (pdf)|
|Theodoros Mitsikas (NTUA)||Formalizing Air Traffic Control Regulations in PSOA RuleML (pdf)|
|Iakovos Ouranos (HAA)||On the formalization of the Airport domain (pdf)|
|Nikos Spanoudakis (Technical University of Crete)||Smart Contracts and Argumentation (pdf)|
|Nikos Asimakis (NTUA)||Gorgias and the Selection of Statistical Methodologies (pdf)|
|Antonis Kakas (University of Cyprus)||Gorgias: Argumentation in Practice (pdf)|
|Ioannis Vandoulakis (Greek Open University)||The convolution of argumentation and proving in searching for mathematical proof (pdf)|
|Mattheos Mpournazos (NTUA)||Strategic Maneuvering and Defeasible Systems (pdf)|
|Georgios Pitsiladis (NTUA)||Privacy Calculus in Maude (pdf)|
|Kostas Barlas (University of West Attika)||Formalizing a Web Standard’s Requirements: RSS v2.0 (pdf)|
|Nikos Triantafyllou (NTUA & U Aegean)||Smart Contracts and Formal Reasoning: “Should we trust in code after all?” (pdf)|
|Katerina Ksystra (NTUA & U Aegean)||Reactive Rules and Applications (pdf)|
|Asterios Gantzounis (NTUA)||Zero-Knowledge Proof Events: Ali Baba's Cave (pdf)|
|Yiannis Kiouvrekis (NTUA)||Formal Methods and Blockchain Models:Open Problems, Challenges, and Opportunities (pdf)|
|Nick Bassiliades (Aristotle University of Thessaloniki)||SWRL2PIN: Converting SWRL to SPIN (pdf)|