Rewriting Ontological Queries into Small Nonrecursive Datalog Programs? Georg Gottlob1 and Thomas Schwentick2 1 Department of Computer Science, University of Oxford

Source URL: ceur-ws.org

Visualizing SWRL Rules: From Unary/Binary Datalog and PSOA RuleML to Graphviz and Grailog Ismail Akbari, Bo Yan, Junyan Zhang, Harold Boley Faculty of Computer Science University of New Brunswick

Source URL: www.cs.unb.ca

Datalog Queries Distributing over Components Tom J. Ameloot∗1 , Bas Ketsman†1 , Frank Neven1 , and Daniel Zinn2 1 Hasselt University & transnational University of Limburg Martelarenlaan 42, Hasselt, Belgium

Source URL: alpha.uhasselt.be

Training Session on RuleML Technology Loan Processor Suite: Transforming, Visualizing, and Querying Datalog RuleML Decision Rules

Source URL: www.cs.unb.ca

Theoretically Optimal Datalog Rewritings for OWL 2 QL Ontology-Mediated Queries M. Bienvenu1, S. Kikot2, R. Kontchakov2, V. Podolskii3, and M. Zakharyaschev2 1 2

Source URL: ceur-ws.org

Offshore Holdings Analytics Using Datalog+ RuleML Rules Mohammad Sadnan Al Manir and Christopher J.O. Baker Department of Computer Science and Applied Statistics University of New Brunswick, Saint John, Canada {sadnan.al

Source URL: ceur-ws.org

Grailog KS Viz: A Grailog Visualizer for Datalog RuleML Using an XSLT Translator to SVG Martin Koch1,2, Sven Schmidt1,2, Harold Boley1, and Rainer Herpers1,2 1

Source URL: www.cs.unb.ca

Diagnosis of Asynchronous Discrete Event Systems: Datalog to the Rescue! ∗ Serge Abiteboul

Source URL: www.cs.tau.ac.il

Microsoft Word - BlankPage

Source URL: www.cs.miami.edu

• Logic
• Abstraction
• Philosophy
• Automated theorem proving
• Reasoning
• Formal methods
• Predicate logic
• Datalog
• First-order logic
• Axiom
• Satisfiability modulo theories
• Mereology

Declarative Systems for Large-Scale Machine Learning Vinayak Borkar1 , Yingyi Bu1 , Michael J. Carey1 , Joshua Rosen2 , Neoklis Polyzotis2 , Tyson Condie3 , Markus Weimer3 and Raghu Ramakrishnan3 1 University of Californ

Source URL: asterixdb.ics.uci.edu

• Computing
• Concurrent computing
• Parallel computing
• Distributed computing architecture
• Cluster computing
• Hadoop
• Java platform
• MapReduce
• Apache Spark
• Data-intensive computing
• Datalog
• Mathematical optimization