DBScholar

Back to papers

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)

Paper ID
1837
Venue
PODS
Year
2021
Pagerank
5.093636e-05
Overall Rank
11,630 | 20.21%
DOI
10.1145/3452021.3458310

Incoming Non-self Citations Over Time

No non-self incoming citations found for this paper in this database.

Authors

BibTeX Citation

@inproceedings{console_pods21,
        address = {New York, NY, USA},
        series = {{PODS} '21},
        title = {{Model-theoretic Characterizations of Rule-based Ontologies}},
        url = {https://dl.acm.org/doi/10.1145/3452021.3458310},
        doi = {10.1145/3452021.3458310},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Console, Marco and Kolaitis, Phokion G. and Pieris, Andreas},
        year = {2021}
}

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
22 Data Integration: A Theoretical Perspective 2002 PODS 0.00056204792
40 Testing Implications Of Data Dependencies 1979 SIGMOD 0.00046918506
Previous Page 1 / 1 Next

Semantically Similar Papers