Model-theoretic Characterizations of Rule-based Ontologies
Summary: Model-theoretic characterizations of tgd-based ontologies (full, linear, guarded, frontier-guarded) via critical instances, direct products, and a novel locality property. Locality yields decision procedures and effective rewritings for frontier-guarded→guarded and guarded→linear tgds. (summarized by gpt-5-mini on Feb 09 2026)
Incoming Non-self Citations Over Time
No non-self incoming citations found for this paper in this database.
Authors
Incoming Citations (Sorted by Pagerank)
Showing 0 of 0 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 2 of 2 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 38 | Testing Implications Of Data Dependencies | 1979 | SIGMOD | 0.0007528369 |
| 47 | Data Integration: A Theoretical Perspective | 2002 | PODS | 0.00069691761 |
Previous
Page 1 / 1
Next