Checking chase termination over ontologies of existential rules with equality

David Carral, Jacopo Urbani

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Fingerprint

Dive into the research topics of 'Checking chase termination over ontologies of existential rules with equality'. Together they form a unique fingerprint.

Engineering & Materials Science