Prometheus Research (United States)

Forschungsprojekte

• A Datalog Rewriting Algorithm for Warded Ontologies Existential rules, a.k.a. tuple-generating dependencies (TGDs), form a well-established formalism for specify…