The DOI matches its Crossref record, with a small difference in title or year; 37 of the 40 references it cites were found in a registry or an index.
Data exchange: semantics and query answering
Open accessOverview
The claims and statistics of this paper haven’t been checked yet.
Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.
Integrity signals
Registry
Cites
Statistics
Verification
Claims the paper makes
The claims and statistics of this paper haven’t been checked yet.
Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.
Claims other papers make about this one
Each is checked against this paper’s own text: does it say what the citing paper says it does?
The cited source says what the claim attributes to it.
In the citing paper
“Data exchange research [12] addresses cross-boundary consistency but not privacy-preserving forgetting over an evolving state trajectory.”
From Is Agent Memory a Database? Rethinking Data Foundations for Long-Term AI Agent Memory (2026) · cites this paper as [12]
Self-check
Percentages, sums and reported differences re-computed from the paper’s own numbers.
The self-check needs the paper’s full text.
Citations
Cites
Data integration: a theoretical perspective
Maurizio Lenzerini, B. (2002) · ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS) · doi:10.1145/543613.543644 · Cited by 2,578
The complexity of satisfiability problems
Schaefer, T. J. (1978) · Proceedings of the tenth annual ACM symposium on Theory of computing - STOC '78 · doi:10.1145/800133.804350 · Cited by 1,737
Answering queries using views: A survey
Halevy, A. Y. (2001) · The VLDB Journal · doi:10.1007/s007780100054 · Cited by 1,510
Optimal implementation of conjunctive queries in relational data bases
Chandra, A. K., & Merlin, P. M. (1977) · Proceedings of the ninth annual ACM symposium on Theory of computing - STOC '77 · doi:10.1145/800105.803397 · Cited by 1,224
The complexity of relational query languages (Extended Abstract)
Vardi, M. Y. (1982) · Proceedings of the fourteenth annual ACM symposium on Theory of computing - STOC '82 · doi:10.1145/800070.802186 · Cited by 1,184
Testing implications of data dependencies
Maier, D., Mendelzon, A. O., & Sagiv, Y. (1979) · ACM Transactions on Database Systems · doi:10.1145/320107.320115 · Cited by 582
Levy, A. Y., Mendelzon, A. O., Sagiv, Y., & Srivastava, D. (1999) · The MIT Press eBooks · doi:10.7551/mitpress/4472.003.0012 · Cited by 538
Complexity of answering queries using materialized views
Abiteboul, S., & Duschka, O. M. (1998) · Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems · doi:10.1145/275487.275516 · Cited by 483
Popa, L., Velegrakis, Y., Miller, R. J., Hernández, M. A., & Fagin, R. (2002) · VLDB '02: Proceedings of the 28th International Conference on Very Large Databases · doi:10.1016/b978-155860869-6/50059-7 · Cited by 444
Self-citationSchema Mapping as Query Discovery
Miller, R. J., Haas, L. M., & Hernández, M. A. (2000) · Very Large Data Bases · Cited by 438
Self-citation
Cited by
Items 901–1,000 of 1,001
Gottlob, G., Manna, M., & Marte, C. (2023) · Theory and Practice of Logic Programming · doi:10.1017/s1471068423000327 · Cited by 2
Early detection of temporal constraint violations
Mackey, I., Chimni, R., & Su, J. (2023) · Information and Computation · doi:10.1016/j.ic.2023.105114 · Cited by 2
Decidability of Querying First-Order Theories via Countermodels of Finite Width
Feller, T., Lyon, T. S., Ostropolski-Nalewaja, P., & Rudolph, S. (2025) · Logical Methods in Computer Science · doi:10.46298/lmcs-21(2:7)2025 · Cited by 2
Schema exchange: a template-based approach to data and metadata translation
Papotti, P., & Torlone, R. (2007) · doi:10.5555/1784489.1784520 · Cited by 2
Obtaining Information about Queries behind Views and DependenciesPreprint
Chirkova, R. Y., & Yu, T. (2014) · arXiv (Cornell University) · doi:10.48550/arxiv.1403.5199 · Cited by 2
Verification of Inconsistency-Aware Knowledge and Action Bases (Extended Version)Preprint
Calvanese, D., Kharlamov, E., Montali, M., Santoso, A., & Zheleznyakov, D. (2013) · arXiv (Cornell University) · doi:10.48550/arxiv.1304.6442 · Cited by 2
Internal Representation of Database Views
Hegner, S. J. (2010) · Zenodo (CERN European Organization for Nuclear Research) · doi:10.3217/jucs-016-20-2956 · Cited by 2
Automatic Generation of Model Translations
Papotti, P., & Torlone, R. (2007) · Notes on numerical fluid mechanics and multidisciplinary design · doi:10.1007/978-3-540-72988-4_4 · Cited by 2
Semantic Query Reformulation in Social PDMSPreprint
Bonifati, A., Summa, G., Pacitti, E., & Draidi, F. (2011) · arXiv (Cornell University) · doi:10.48550/arxiv.1111.6084 · Cited by 2
A unified apriori-like algorithm for conjunctive query containment
Wei, F., & Lausen, G. (2008) · International Database Engineering and Applications Symposium (IDEAS) · doi:10.1145/1451940.1451957 · Cited by 2
Worst-case Optimal Query Answering for Greedy Sets of Existential Rules and Their SubclassesPreprint
Rudolph, S., Thomazo, M., Baget, J.-F., & Mugnier, M.-L. (2014) · arXiv (Cornell University) · doi:10.48550/arxiv.1412.4485 · Cited by 2
Representing and Querying Incomplete Information: a Data Interoperability Perspective
Sirangelo, C. (2014) · HAL · Cited by 2
Consistent Query Answering - Recent Developments and Future Directions.
Chomicki, J. (2003) · Cited by 2
Modeling and Querying Uncertainty in Data Cleaning
Beskales, G. (2012) · UWSpace (University of Waterloo) · Cited by 2
Gutiérrez-Basulto, V., & Schockaert, S. (2018) · arXiv (Cornell University) · Cited by 2
A Generalization of the Łoś-Tarski Preservation Theorem - Dissertation SummaryPreprint
Sankaran, A. (2018) · arXiv (Cornell University) · doi:10.48550/arxiv.1811.01014 · Cited by 2
Fagin, R. (2018) · Springer eBooks · doi:10.1007/978-1-4614-8265-9_1274 · Cited by 2
Self-citationRepairing mappings under policy viewsPreprint
Bonifati, A., Comignani, U., & Tsamoura, E. (2019) · arXiv (Cornell University) · doi:10.48550/arxiv.1903.09242 · Cited by 2
Semantic Acyclicity Under ConstraintsPreprint
Barceló, P., Gottlob, G., & Pieris, A. (2016) · arXiv (Cornell University) · doi:10.48550/arxiv.1602.01366 · Cited by 2
The Effects of Different JSON Representations on Querying Knowledge GraphsPreprint
Salehpour, M., & Davis, J. G. (2020) · arXiv (Cornell University) · doi:10.48550/arxiv.2004.04286 · Cited by 2
Knowledge Translation: Extended Technical ReportPreprint
Bashardoost, B. G., Miller, R. J., Lyons, K. A., & Nargesian, F. (2020) · arXiv (Cornell University) · doi:10.48550/arxiv.2008.01208 · Cited by 2
Self-citationChecking containment of schema mappings
Calì, A., & Torlone, R. (2009) · BIROn (Birkbeck, University of London) · Cited by 2
The Rationale of PROVPreprint
Moreau, L., Groth, P., Cheney, J., Lebo, T., & Miles, S. (2018) · SSRN Electronic Journal · doi:10.2139/ssrn.3198917 · Cited by 2
Financial Data Exchange with Statistical Confidentiality: A Reasoning-based Approach
Bellomarini, L., Blasi, L., Laurendi, R., & Sallinger, E. (2021) · Movebank · doi:10.5441/002/edbt.2021.66 · Cited by 2
Decentralized Social Data Sharing
Davoust, A. (2015) · Carleton University's Institutional Repository (MacOdrum Library, Carleton University) · doi:10.22215/etd/2015-10987 · Cited by 2
Model transformation via pull-backs: algebra vs. heuristics ?
Diskin, Z. (2006) · QSpace (Queen's University Library) · Cited by 2
Defeasible reasoning for existential rules
Hecham, A. (2018) · theses.fr (ABES) · doi:10.70675/1c30bfe2zad26z47b0z96c0z28e704a559d4 · Cited by 2
A Unifying Framework for Incompleteness, Inconsistency, and Uncertainty in Databases
Kimelfeld, B., & Kolaitis, P. G. (2024) · Communications of the ACM · doi:10.1145/3624717 · Cited by 1
Self-citationA Framework for the Inter-Connection of Life-Cycle Highway Data Islands
Le, T., & Jeong, D. (2016) · ASCE Construction Research Congress (CRC) · doi:10.1061/9780784479827.140 · Cited by 1
Answering Conjunctive Queries with Inequalities in DL-Liteℛ
Cima, G., Maurizio Lenzerini, B., & Poggi, A. (2020) · Proceedings of the AAAI Conference on Artificial Intelligence · doi:10.1609/aaai.v34i03.5666 · Cited by 1
Dougherty, D. J. (2021) · Lecture notes in computer science · doi:10.1007/978-3-030-91631-2_9 · Cited by 1
Fuzzy Datalog∃ over Arbitrary t-Norms
Lanzinger, M., Sferrazza, S., Wałęga, P. A., & Gottlob, G. (2024) · EPiC series in computing · doi:10.29007/cngw · Cited by 1
Rewriting the Infinite Chase for Guarded TGDs
Benedikt, M., Buron, M., Germano, S., Kappelmann, K., & Motik, B. (2024) · ACM Transactions on Database Systems · doi:10.1145/3696416 · Cited by 1
Consistent query answering in multi-relation databases
Laurent, D., & Spyratos, N. (2025) · Information and Computation · doi:10.1016/j.ic.2025.105279 · Cited by 1
Reproducible preservation of databases through executable specifications
Rummelhoff, I., Kristoffersen, T., & Østvold, B. M. (2025) · International Journal of Digital Curation · doi:10.2218/ijdc.v19i1.922 · Cited by 1
Savioli, J. P. P. D. D., Braga, T. E. N., Rodrigues, T. O., Vidotti, S. A. B. G. [., & Ugaya, C. M. L. (2026) · The International Journal of Life Cycle Assessment · doi:10.1007/s11367-026-02691-4 · Cited by 1
Transformation of Equality Constraints in Datalog-Based Knowledge Graphs
Calì, A. (2026) · Procedia Computer Science · doi:10.1016/j.procs.2026.10.157 · Cited by 1
Heterogeneous CAD Data Exchange Based on Cellular Ontology Model
Sun, L., & Ding, B. Y. (2009) · World Congress on Software Engineering (WCSE) · doi:10.1109/wcse.2009.106 · Cited by 1
Algorithms for Core Computation in Data Exchange
Savenkov, V. (2013) · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · doi:10.4230/dfu.vol5.10452.38 · Cited by 1
SHARP: Harmonizing cross-workflow provenance
Gaignard, A., Belhajjame, K., & Skaf‐Molli, H. (2017) · HAL · Cited by 1
Machine Ranking of 2-Uncertain Rules Acquired from Real Data
Jankowska, B., & Szymkowiak, M. (2013) · Lecture notes in computer science · doi:10.1007/978-3-642-41776-4_9 · Cited by 1
Awada, R., Barceló, P., & Kiringa, I. (2014) · Lecture notes in computer science · doi:10.1007/978-3-319-08909-6_2 · Cited by 1
The Return of the Entity-Relationship Model: Ontological Query Answering
Calì, A., Gottlob, G., & Pieris, A. (2012) · Data-centric systems and applications · doi:10.1007/978-3-642-25008-8_10 · Cited by 1
A distributed storage and query subsystem for collaborative data sharing
Ives, Z. G., & Taylor, N. E. (2010) · Cited by 1
Approximate Structural Consistency
de Rougemont, M., & Vieilleribière, A. (2009) · Lecture notes in computer science · doi:10.1007/978-3-642-11266-9_57 · Cited by 1
Joseph, M., Kuper, G. M., & Serafini, L. (2014) · Lecture notes in computer science · doi:10.1007/978-3-319-11113-1_5 · Cited by 1
Concrete Results on Abstract Rules
Krötzsch, M., Magka, D., & Horrocks, I. R. (2013) · Lecture notes in computer science · doi:10.1007/978-3-642-40564-8_41 · Cited by 1
A General Datalog−Based Framework for Tractable Query Answering over Ontologies (Extended Abstract)
Calì, A., Gottlob, G., & Lukasiewicz, T. (2009) · Oxford University Research Archive (ORA) (University of Oxford) · Cited by 1
Fit for Purpose: Toward an Engineering Basis for Data Exchange Standards
Rosenthal, A. S., Seligman, L., Allen, M. D., & Chapman, A. P. (2013) · Lecture notes in business information processing · doi:10.1007/978-3-642-36796-0_9 · Cited by 1
Kalinichenko, L., Stupnikov, S. A., Vovchenko, A., & Kovalev, D. (2013) · Advances in intelligent systems and computing · doi:10.1007/978-3-319-01863-8_7 · Cited by 1
Description Logic Knowledge Base Exchange
Botoeva, E. (2012) · Lecture notes in computer science · doi:10.1007/978-3-642-33203-6_30 · Cited by 1
ChaseT: A Tool for Checking Chase Termination
Francesco, A. D., Greco, S., Spezzano, F., & Trubitsyna, I. (2011) · Lecture notes in computer science · doi:10.1007/978-3-642-23963-2_40 · Cited by 1
Research on Data Sharing for College Financial Systems and Digital Campus
Zhuang, Z. S. (2014) · Applied Mechanics and Materials · doi:10.4028/www.scientific.net/amm.687-691.2706 · Cited by 1
Characterization of reasoning in terms of perceptual simulation
Uchida, H., Cassimatis, N. L., & Scally, J. R. (2013) · Cognitive Systems Research · doi:10.1016/j.cogsys.2013.11.001 · Cited by 1
Getting unique solution in data exchange
Ngo, N., & Franconi, E. (2013) · Proceedings of the VLDB Endowment · doi:10.14778/2536274.2536332 · Cited by 1
Fagin, R. (2013) · ACM International Conference on Information and Knowledge Management (CIKM) · doi:10.1145/2505515.2523611 · Cited by 1
Self-citationTowards scalable data integration under constraints
Konstantinidis, G., & Ambite, J. L. (2012) · EDBT/ICDT Workshops · doi:10.1145/2320765.2320835 · Cited by 1
Restructuring XML document — From the perspective of sorting
Jin, Z., Wu, Q., & Fan, H. (2011) · IEEE International Conference on Communication Software and Networks · doi:10.1109/iccsn.2011.6014325 · Cited by 1
Barbera, M. (2005) · Digital Scholarship in the Humanities · doi:10.1093/llc/fqh049 · Cited by 1
Data Exchange: Algorithm for Computing Maybe Answers for Relational Algebra Queries
Karim, S. M. M. (2011) · Journal of Software · doi:10.4304/jsw.6.1.3-9 · Cited by 1
Semantic water data translation: a knowledge-driven approach
Shu, Y., Ratcliffe, D., Taylor, K. L., Wu, J. X., Ackland, R., & Terhorst, A. (2010) · International Database Engineering and Applications Symposium (IDEAS) · doi:10.1145/1866480.1866489 · Cited by 1
Schema Level and Data Level Mapping Composition
Masud, M., & Rahman, M. A. (2013) · International Journal of Computer Applications · doi:10.5120/14473-2774 · Cited by 1
Complexity of the Stable Model Semantics for Queries on Incomplete Databases
de Bruijn, J., & Heymans, S. (2009) · Lecture notes in computer science · doi:10.1007/978-3-642-04238-6_11 · Cited by 1
Query Answering over Description Logic Ontologies
Calvanese, D. (2014) · Lecture notes in computer science · doi:10.1007/978-3-319-11558-0_1 · Cited by 1
Exchanging More Than Complete Data
Arenas, M. (2011) · Lecture notes in computer science · doi:10.1007/978-3-642-23580-1_1 · Cited by 1
Notice of Retraction Data transparent access to heterogeneous database based on XML technology
Wang, H., Zhang, H., & Hong, L. (2011) · International Conference on Natural Computation (ICNC) · doi:10.1109/icnc.2011.6022054 · Cited by 1
RetractedConsistency of Injective Tree Patterns
David, C., Francis, N., & Murlak, F. (2014) · HAL · doi:10.4230/lipics.fsttcs.2014.279 · Cited by 1
Data integration with many heterogeneous sources and dynamic target schemas (extended abstract)
Bellomarini, L., Atzeni, P., & Cabibbo, L. (2015) · Iris (Roma Tre University) · Cited by 1
Combining Existential Rules and Description Logics
Amarilli, A., & Benedikt, M. (2015) · HAL · Cited by 1
Computing Solutions in OWL 2 QL Knowledge Exchange
Arenas, M., Botoeva, E., Calvanese, D., & Ryzhikov, V. (2013) · International Workshop Description Logics · Cited by 1
Expressiveness and Complexity of Bidirectional Constraints for Data Exchange.
Arenas, M., Diéguez, G., & Pérez, J. (2014) · Cited by 1
Towards General Representability in Knowledge Exchange.
Arenas, M., Pérez, J. E. P., & Sallinger, E. (2013) · Cited by 1
What Can Programming Languages Say About Data Exchange?
Johnson, M., Pérez, J., & Terwilliger, J. F. (2014) · doi:10.5441/002/edbt.2014.21 · Cited by 1
Exact Detection of Information Leakage in Database Access Control
Alborzi, F., Chirkova, R. Y., & Yu, T. (2015) · Lecture notes in computer science · doi:10.1007/978-3-319-22729-0_31 · Cited by 1
Golshanara, L. (2016) · doi:10.1145/2926693.2929900 · Cited by 1
LinkEHR: A Platform for the Normalization of Legacy Clinical Data Based on Archetypes
Maldonado, J. A., Boscá, D., Moner, D., & Robles, M. (2013) · Advances in healthcare information systems and administration book series · doi:10.4018/978-1-4666-3000-0.ch003 · Cited by 1
XML Data Integration: Schema Extraction and Mapping
Cao, H., Yan, Q., Candan, K. S., & Sapino, M. L. (2010) · IGI Global eBooks · doi:10.4018/978-1-61520-727-5.ch014 · Cited by 1
The Impact of Active Domain Predicates on Guarded Existential Rules
Gottlob, G., Pieris, A., & Šimkus, M. (2016) · Lecture notes in computer science · doi:10.1007/978-3-319-45276-0_8 · Cited by 1
Bounds in Ontology-Based Data Access via Circuit Complexity
Podolskii, V. V. (2016) · Theory of Computing Systems · doi:10.1007/s00224-016-9707-z · Cited by 1
A Fuzzy Extension of Data Exchange
Medina, J., & Pichler, R. (2014) · Communications in computer and information science · doi:10.1007/978-3-319-08855-6_22 · Cited by 1
Reasoning About Consistency of Relational Knowledge Bases
Pankowski, T. (2013) · International Multi-Conference on Computing in Global Information Technology · Cited by 1
Towards Characterising Data Exchange Solutions in Open and Closed Words (Extended Abstract).
Forssell, H., Kharlamov, E., & Thorstensen, E. (2017) · AMW · Cited by 1
SHARP: Harmonizing Galaxy and Taverna workflow provenance
Gaignard, A., Belhajjame, K., & Skaf‐Molli, H. (2017) · HAL · Cited by 1
Consistent Query Answering: Recent Developments and Future Directions
Chomicki, J. (2004) · IFIP International Federation for Information Processing/IFIP · doi:10.1007/1-4020-7901-x_15 · Cited by 1
Amendola, G., Leone, N., & Manna, M. (2017) · SEBD · Cited by 1
Dobrojević, M. (2017) · Bezbednost Beograd · doi:10.5937/bezbednost1703079d · Cited by 1
Rule-Based Specification and Implementation of Multimodel Data Integration
Stupnikov, S. A. (2018) · Communications in computer and information science · doi:10.1007/978-3-319-96553-6_15 · Cited by 1
A Survey of the State of Dataspaces
Wanyembi, G., Ateya, I. L., & Shibwabo, B. K. (2015) · SU+ Digital Repository (Strathmore University) · Cited by 1
Publishing inference–proof relational data: An implementation and experiments
Biskup, J., Dahn, C., Diekmann, K., Menzel, R., Schalge, D., & Wiese, L. (2018) · Data & Knowledge Engineering · doi:10.1016/j.datak.2018.11.001 · Cited by 1
Extending Bell Numbers for Parsimonious Chase Estimation
Amendola, G., & Marte, C. (2019) · Lecture notes in computer science · doi:10.1007/978-3-030-19570-0_32 · Cited by 1
MapRepair: Mapping and Repairing under Policy Views
Bonifati, A., Comignani, U., & Tsamoura, E. (2019) · ACM SIGMOD International Conference on Management of Data (SIGMOD) · doi:10.1145/3299869.3320228 · Cited by 1
HIKE: A Step Beyond Data Exchange
Greco, S., Masciari, E., Saccà, D., & Trubitsyna, I. (2019) · Lecture notes in computer science · doi:10.1007/978-3-030-33223-5_35 · Cited by 1
Towards Universal Languages for Tractable Ontology Mediated Query Answering
Zhang, H., Zhang, Y., You, J.-H., Feng, Z., & Jiang, G. (2020) · Proceedings of the AAAI Conference on Artificial Intelligence · doi:10.1609/aaai.v34i03.5699 · Cited by 1
Characterizing Boundedness in Chase Variants
Delivorias, S., Leclère, M., Mugnier, M.-L., & Ulliana, F. (2020) · Theory and Practice of Logic Programming · doi:10.1017/s1471068420000083 · Cited by 1
Data Wrangling- A Goliath of Data Industry
Voleti, R., & ITM, K. (2020) · International Journal of Engineering Research and · doi:10.17577/ijertv9is080122 · Cited by 1
Universal solutions for temporal data exchange
Cheng, Z., & Kolaitis, P. G. (2021) · Information and Computation · doi:10.1016/j.ic.2021.104793 · Cited by 1
Self-citationToward Appropriate Data Publishing in Relational Data Exchange Framework
Ishihara, Y. (2020) · Communications in computer and information science · doi:10.1007/978-3-030-61133-0_10 · Cited by 1
Structural Generalizability: The Case of Similarity Search
Chodpathumwan, Y., Termehchy, A., Ramsey, S. A., Shrestha, A., Glen, A. K., & Liu, Z. (2021) · ACM SIGMOD International Conference on Management of Data (SIGMOD) · doi:10.1145/3448016.3457316 · Cited by 1
UMAP: A Universal Layer for Schema Mapping Languages
Chertes, F., & Feinerer, I. (2013) · Lecture notes in computer science · doi:10.1007/978-3-642-40173-2_28 · Cited by 1
Is Agent Memory a Database? Rethinking Data Foundations for Long-Term AI Agent Memory
Orogat, A., & Mansour, E. (2026) · arXiv · doi:10.48550/arxiv.2605.26252
Metadata
- Authors
- Fagin, R., Kolaitis, P. G., Miller, R. J., & Popa, L.
- Affiliations
- IBM Research - Almaden (US)
- University of California, Santa Cruz (US)
- University of Toronto (CA)
- Corresponding author
- Popa, Lucian
- Venue
- Theoretical Computer Science
- Publisher
- Elsevier BV
- Published
- 2005-05
- Volume
- 336
- Issue
- 1
- Pages
- 89-124
- ISSN
- 0304-3975 (ISSN-L)
- OpenAlex
- W2102729564
- Cited by
- 1,206
- References
- 40
- Citations by year
- 2026: 5 · 2025: 13 · 2024: 10 · 2023: 41 · 2022: 32 · 2021: 32 · 2020: 53 · 2019: 59 · 2018: 57 · 2017: 69 · 2016: 58 · 2015: 63 · 2014: 80 · 2013: 101 · 2012: 95
- FWCI
- 51.62
- Type
- journal article
- Language
- en
- Open access
- bronze
- doi.org
- Licence
- www.elsevier.com/tdm/userlicense/1.0/ (tdm)
- www.elsevier.com/open-access/userlicense/1.0/ (vor, 3035 d)
- Locations
- Theoretical Computer Science (publishedVersion)
- Funders
- National Science Foundation (9907419)
- Natural Sciences and Engineering Research Council of Canada
- Topics
- Physical Sciences › Computer Science › Information Systems › Advanced Database Systems and Queries
- Physical Sciences › Computer Science › Artificial Intelligence › Semantic Web and Ontologies
- Physical Sciences › Computer Science › Artificial Intelligence › Logic, Reasoning, and Knowledge
- Keywords
- data exchange, query answering, universal solutions, algebraic specification, certain answers, canonical solutions, computational complexity, schema mapping
About these checks
Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.
Statistics and arithmetic are recomputed, not judged.
Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.
What counts as a claim ›How we measure confidence ›How we check this ›
Are you an author, or do you see a problem with this page? Request a review
Data sources
Bibliographic data: Semantic Scholar, OpenAlex, Crossref.
Contains information from the Semantic Scholar Academic Graph Datasets, made available under the ODC Attribution License (ODC-BY 1.0).
Semantic Scholar’s data is described in: Kinney, R., et al. (2023). The Semantic Scholar Open Data Platform. arXiv:2301.10140.
