-
Notifications
You must be signed in to change notification settings - Fork 13
Home
Larry González edited this page Oct 7, 2019
·
11 revisions
A Java library for VLog rule engine.
- Existential rule reasoning support using an optimised version of the restricted and skolem chase algorithms.
- Support for stratified negation, allowing negated atoms in rule bodies.
- Translation of OWL and RDFS ontologies into equivalent rule and fact sets.
- Integration with the Graal rule library and its data structures (e.g., existential rules, facts, and queries). This includes support for loading rules in Graal’s DLGP syntax.
- Methods for static analysis of rule sets, e.g., to verify the termination of reasoning over sets of existential rules using acyclicity notions.
- A data federation layer to integrate – seamlessly and on demand – data from many sources, including various database management systems, file formats, SPARQL endpoints, and data provided from Java programs.