WORKSHOP : (Rules: Logic and Applications, 19-20 December 2018.

Rules: Logic and Applications
19  December 2018
10 am – 7 pm 

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 :

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.

Program (pdf file)

Local Organizing Committee: Petros Stefaneas, Sofia Almbani, Theodoros Mitsikas