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 501–600 of 1,001
RDFLog: It's like Datalog for RDF
Ley, C. (2008) · Cited by 12
Towards Practical Feasibility of Core Computation in Data Exchange
Pichler, R., & Savenkov, V. (2008) · Lecture notes in computer science · doi:10.1007/978-3-540-89439-1_5 · Cited by 12
Making More Out of an Inconsistent Database
Wijsen, J. (2004) · Lecture notes in computer science · doi:10.1007/978-3-540-30204-9_20 · Cited by 12
Diskin, Z., & Kadish, B. (2005) · IGI Global eBooks · doi:10.4018/978-1-59140-560-3.ch044 · Cited by 12
Static Analysis of Graph Database Transformations
Boneva, I., Groz, B., Hidders, J., Murlak, F., & Staworko, S. (2023) · ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS) · doi:10.1145/3584372.3588654 · Cited by 11
Local transformations and conjunctive-query equivalence
Fagin, R., & Kolaitis, P. G. (2012) · ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS) · doi:10.1145/2213556.2213583 · Cited by 11
Self-citationReasoning on company takeovers: From tactic to strategy
Bellomarini, L., Bencivelli, L., Biancotti, C., Blasi, L., Conteduca, F. P., Gentili, A., Laurendi, R., Magnanimi, D., Zangrandi, M. S., Tonelli, F., et al. (2022) · Data & Knowledge Engineering · doi:10.1016/j.datak.2022.102073 · Cited by 11
Argumentation-Based Defeasible Reasoning For Existential Rules
Hecham, A., Madalina Croitoru, A., & Bisquert, P. (2017) · Adaptive Agents and Multi-Agents Systems · doi:10.65109/xuyt3576 · Cited by 11
Extending contexts with ontologies for multidimensional data quality assessment
Milani, M., Bertossi, L., & Ariyan, S. (2014) · IEEE International Conference on Data Engineering Workshops (ICDEW) · doi:10.1109/icdew.2014.6818333 · Cited by 11
Automatic schema merging using mapping constraints among incomplete sources
Li, X., Quix, C., Kensche, D., & Geisler, S. (2010) · ACM International Conference on Information and Knowledge Management (CIKM) · doi:10.1145/1871437.1871479 · Cited by 11
Tractable XML data exchange via relations
Chirkova, R. Y., Libkin, L. O., & Reutter, J. L. (2011) · ACM International Conference on Information and Knowledge Management (CIKM) · doi:10.1145/2063576.2063813 · Cited by 11
Deduction with Contradictions in Datalog
Abiteboul, S., Deutch, D., & Vianu, V. (2014) · doi:10.5441/002/icdt.2014.17 · Cited by 11
An Approach for Testing the Extract-Transform-Load Process in Data Warehouse Systems
Homayouni, H., Ghosh, S., & Ray, I. (2018) · International Database Engineering and Applications Symposium (IDEAS) · doi:10.1145/3216122.3216149 · Cited by 11
An Introduction to Answer Set Programming and Some of Its Extensions
Faber, W. (2020) · Lecture notes in computer science · doi:10.1007/978-3-030-60067-9_6 · Cited by 11
Relaxed Notions of Schema Mapping Equivalence Revisited
Pichler, R., Sallinger, E., & Savenkov, V. (2012) · Theory of Computing Systems · doi:10.1007/s00224-012-9397-0 · Cited by 11
Maintaining Semantic Mappings between Database Schemas and Ontologies
An, Y., & Topaloglou, T. (2008) · Lecture notes in computer science · doi:10.1007/978-3-540-70960-2_8 · Cited by 11
MapMerge: correlating independent schema mappings
Alexe, B., Hernández, M. A., Popa, L. C., & Tan, W.-C. (2012) · The VLDB Journal · doi:10.1007/s00778-012-0264-z · Cited by 11
Self-citationMassive parallelism for query answering in weakly integrated P2P systems
Majkić, Z. (2004) · doi:10.1109/dexa.2004.101 · Cited by 11
Semantic technologies for distributed information systems
Haase, P. (2006) · Repository KITopen (Karlsruhe Institute of Technology) · doi:10.5445/ir/1000005905 · Cited by 11
Mecca, G., Rull, G., Santoro, D., & Teniente, E. (2013) · Lecture notes in computer science · doi:10.1007/978-3-642-41924-9_22 · Cited by 10
Tractable XML data exchange via relations
Chirkova, R. Y., Libkin, L. O., & Reutter, J. L. (2012) · Frontiers of Computer Science · doi:10.1007/s11704-012-2023-0 · Cited by 10
Finite Controllability of Conjunctive Query Answering with Existential Rules: Two Steps Forward
Amendola, G., Leone, N., & Manna, M. (2018) · International Joint Conference on Artificial Intelligence · doi:10.24963/ijcai.2018/719 · Cited by 10
Semi-Oblivious Chase Termination: The Sticky Case
Calautti, M., & Pieris, A. (2020) · Theory of Computing Systems · doi:10.1007/s00224-020-09994-5 · Cited by 10
Query Definability and Its Approximations in Ontology-based Data Management
Cima, G., Croce, F., & Maurizio Lenzerini, B. (2021) · ACM International Conference on Information and Knowledge Management (CIKM) · doi:10.1145/3459637.3482466 · Cited by 10
iQuery: A Trustworthy and Scalable Blockchain Analytics Platform
Lu, L., Wen, Z., Yuan, Y., Dai, B., Qian, P., Lin, C., He, Q., Liu, Z., Chen, J., & Ranjan, R. K. (2022) · IEEE Transactions on Dependable and Secure Computing · doi:10.1109/tdsc.2022.3228908 · Cited by 10
Open and Closed World Assumptions in Data Exchange
Libkin, L. O., & Sirangelo, C. (2009) · Edinburgh Research Explorer (University of Edinburgh) · Cited by 10
Combining Consistency and Confidentiality Requirements in First-Order Databases
Biskup, J., & Wiese, L. (2009) · Lecture notes in computer science · doi:10.1007/978-3-642-04474-8_10 · Cited by 10
Data-centric intelligent information integration—from concepts to automation
Jarke, M., Jeusfeld, M. A., & Quix, C. (2014) · Journal of Intelligent Information Systems · doi:10.1007/s10844-014-0340-5 · Cited by 10
On Conditional Chase Termination.
Grahne, G., & Onet, A. (2011) · AMW · Cited by 10
Efficiently Enumerating Answers to Ontology-Mediated Queries
Lutz, C., & Przybyłko, M. (2022) · ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS) · doi:10.1145/3517804.3524166 · Cited by 10
Magic-Sets for Datalog with Existential Quantifiers
Alviano, M., Leone, N., Manna, M., Terracina, G., & Veltri, P. (2012) · Lecture notes in computer science · doi:10.1007/978-3-642-32925-8_5 · Cited by 10
Solutions in XML data exchange
Bojańczyk, M., Kołodziejczyk, L. A., & Murlak, F. (2013) · Journal of Computer and System Sciences · doi:10.1016/j.jcss.2013.01.004 · Cited by 10
Mapping RDF knowledge bases using exchange samples
Rivero, C. R., Hernández, I., Ruiz, D., & Corchuelo, R. (2015) · Knowledge-Based Systems · doi:10.1016/j.knosys.2015.11.001 · Cited by 10
Approximate answers to OLAP queries on streaming data warehouses
de Rougemont, M., & Cao, P. T. (2012) · ACM International Workshop on Data Warehousing and OLAP (DOLAP) · doi:10.1145/2390045.2390065 · Cited by 10
Quality assessment of coupled civil engineering applications
Fröbel, T., Firmenich, B., & Koch, C. (2011) · Advanced Engineering Informatics · doi:10.1016/j.aei.2011.08.005 · Cited by 10
Reformulating Queries: Theory and Practice
Benedikt, M., Kostylev, E. V., Mogavero, F., & Tsamoura, E. (2017) · International Joint Conference on Artificial Intelligence · doi:10.24963/ijcai.2017/116 · Cited by 10
Provenance in collaborative data sharing
Ives, Z. G., Tannen, V., & Karvounarakis, G. (2009) · Cited by 10
Querying data sources that export infinite sets of views
Cautis, B., Deutsch, A., & Onose, N. (2009) · International Conference on Database Theory · doi:10.1145/1514894.1514905 · Cited by 10
Towards Scalable Schema Mapping using Large Language Models
Buss, C., Safari, M., Termehchy, A., Maier, D., & Lee, S. (2025) · doi:10.1145/3737412.3743490 · Cited by 9
WebLab PROV: computing fine-grained provenance links for XML artifacts
Amann, B., Constantin, C., Caron, C., & Giroux, P. (2013) · EDBT/ICDT Workshops · doi:10.1145/2457317.2457367 · Cited by 9
Grahne, G., & Onet, A. (2011) · doi:10.1145/1966357.1966360 · Cited by 9
Monotone Abstractions in Ontology-Based Data Management
Cima, G., Console, M., Maurizio Lenzerini, B., & Poggi, A. (2022) · Proceedings of the AAAI Conference on Artificial Intelligence · doi:10.1609/aaai.v36i5.20495 · Cited by 9
Checking query completeness over incomplete data
Razniewski, S., & Nutt, W. (2011) · doi:10.1145/1966357.1966364 · Cited by 9
Query Relaxation across Heterogeneous Data Sources
Kantere, V., Orfanoudakis, G., Kementsietsidis, A., & Sellis, T. (2015) · ACM International Conference on Information and Knowledge Management (CIKM) · doi:10.1145/2806416.2806529 · Cited by 9
Data correspondence, exchange and repair
Grahne, G., & Onet, A. (2010) · International Conference on Database Theory · doi:10.1145/1804669.1804698 · Cited by 9
hex-Programs with Existential Quantification
Eiter, T., Fink, M., Krennwallner, T., & Redl, C. (2014) · Lecture notes in computer science · doi:10.1007/978-3-319-08909-6_7 · Cited by 9
Graph Data Exchange with Target Constraints
Boneva, I., Bonifati, A., & Ciucanu, R. (2015) · LillOA (Université de Lille (University Of Lille)) · Cited by 9
Vadalog: Recent Advances and Applications
Gottlob, G., Pieris, A., & Sallinger, E. (2019) · Lecture notes in computer science · doi:10.1007/978-3-030-19570-0_2 · Cited by 9
A Logic Framework for P2P Deductive Databases
Caroprese, L., & Zumpano, E. (2019) · Theory and Practice of Logic Programming · doi:10.1017/s1471068419000073 · Cited by 9
Golshanara, L., & Chomicki, J. (2019) · Information Systems · doi:10.1016/j.is.2019.07.004 · Cited by 9
Preferred Explanations for Ontology-Mediated Queries under Existential Rules
Ceylan, İ. İ., Lukasiewicz, T., Malizia, E., Molinaro, C., & Vaicenavičius, A. (2021) · Proceedings of the AAAI Conference on Artificial Intelligence · doi:10.1609/aaai.v35i7.16778 · Cited by 9
Emergent Semantics in Distributed Knowledge Management
Aiello, C., Catarci, T., Ceravolo, P., Damiani, E., Scannapieco, M., & Viviani, M. (2008) · Studies in computational intelligence · doi:10.1007/978-3-540-79140-9_9 · Cited by 9
Finite Open-World Query Answering with Number Restrictions
Amarilli, A., & Benedikt, M. (2015) · ACM/IEEE Symposium on Logic in Computer Science (LICS) · doi:10.1109/lics.2015.37 · Cited by 9
A semantic approach to data translation: A case study of environmental observations data
Shu, Y., Ratcliffe, D., Compton, M., Squire, G. R., & Taylor, K. L. (2014) · Knowledge-Based Systems · doi:10.1016/j.knosys.2014.11.023 · Cited by 9
Semantic Optimization of Conjunctive Queries
Barceló, P., Figueira, D., Gottlob, G., & Pieris, A. (2020) · Journal of the ACM · doi:10.1145/3424908 · Cited by 9
Tab2Know: Building a Knowledge Base from Tables in Scientific Papers
Kruit, B., Hè, H., & Urbani, J. (2020) · Lecture notes in computer science · doi:10.1007/978-3-030-62419-4_20 · Cited by 9
Round-Trip Engineering for Maintaining Conceptual-Relational Mappings
An, Y., Hu, X., & Song, I. (2008) · Notes on numerical fluid mechanics and multidisciplinary design · doi:10.1007/978-3-540-69534-9_24 · Cited by 9
Rewriting Conjunctive Queries under Description Logic Constraints
Pérez-Urbina, H. (2008) · Cited by 9
Functional Dependencies Unleashed for Scalable Data ExchangePreprint
Bonifati, A., Ileana, I., & Linardi, M. (2016) · arXiv (Cornell University) · doi:10.48550/arxiv.1602.00563 · Cited by 9
Greco, G., Manna, M., & Ricca, F. (2018) · Elsevier eBooks · doi:10.1016/b978-0-12-809633-8.20392-0 · Cited by 9
Handling inconsistency in databases and data integration systems
Bravo, L. (2007) · Carleton University's Institutional Repository (MacOdrum Library, Carleton University) · doi:10.22215/etd/2007-06200 · Cited by 9
Milani, M., & Bertossi, L. (2015) · Lecture notes in computer science · doi:10.1007/978-3-319-21542-6_18 · Cited by 8
On the Termination of the Chase Algorithm
Meier, M. (2010) · Lecture notes in computer science · doi:10.1007/978-3-642-15918-3_23 · Cited by 8
Verification of conjunctive-query based semantic artifacts?
Hariri, B. B., Calvanese, D., Giacomo, G. D., & Masellis, R. D. (2011) · IRIS Research product catalog (Sapienza University of Rome) · Cited by 8
Oblivious Chase Termination: The Sticky Case
Calautti, M., & Pieris, A. (2019) · Institutional Research Information System (Università degli Studi di Trento) · doi:10.4230/lipics.icdt.2019.17 · Cited by 8
k-Anonymity-Based Horizontal Fragmentation to Preserve Privacy in Data Outsourcing
Soodejani, A. T., Hadavi, M. A., & Jalili, R. (2012) · Lecture notes in computer science · doi:10.1007/978-3-642-31540-4_20 · Cited by 8
Using Data-to-Knowledge Exchange for Transforming Relational Databases to Knowledge Bases
Pankowski, T. (2012) · Lecture notes in computer science · doi:10.1007/978-3-642-32689-9_21 · Cited by 8
Verification of Inconsistency-Aware Knowledge and Action Bases
Calvanese, D., Kharlamov, E., Montali, M., Santoso, A., & Zheleznyakov, D. (2013) · Oxford University Research Archive (ORA) (University of Oxford) · Cited by 8
Impact data-exchange based on XML
Yahui, Y. (2012) · International Conference on Computer Science & Education (ICCSE) · doi:10.1109/iccse.2012.6295268 · Cited by 8
Data coordination: supporting contingent updates
Lawrence, M., Pottinger, R. A., & Staub‐French, S. (2011) · Proceedings of the VLDB Endowment · doi:10.14778/3402707.3402722 · Cited by 8
Data management in peer-to-peer data integration systems
Calvanese, D., Giacomo, G. D., Lembo, D., Maurizio Lenzerini, B., & Rosati, R. (2012) · Cited by 8
Semantic Optimization in Tractable Classes of Conjunctive Queries
Barceló, P., Pieris, A., & Romero, M. (2017) · ACM SIGMOD Record · doi:10.1145/3137586.3137588 · Cited by 8
Algebraic Model Management: A Survey
Schultz, P., Spivak, D. I., & Wisnesky, R. J. (2017) · Lecture notes in computer science · doi:10.1007/978-3-319-72044-9_5 · Cited by 8
Validating Data from Semantic Web Providers
Chabin, J., Ferrari, M. H., Markhoff, B., & Nguyen, T. B. (2017) · Lecture notes in computer science · doi:10.1007/978-3-319-73117-9_48 · Cited by 8
Reasoning about Disclosure in Data Integration in the Presence of Source Constraints
Benedikt, M., Bourhis, P., Jachiet, L., & Thomazo, M. (2019) · International Joint Conference on Artificial Intelligence · doi:10.24963/ijcai.2019/215 · Cited by 8
Ontology-Assisted Enterprise Information Systems Integration in Manufacturing Supply Chain
Pal, K. (2020) · Advances in chemical and materials engineering book series · doi:10.4018/978-1-7998-1831-1.ch005 · Cited by 8
Computing Cores for Existential Rules with the Standard Chase and ASP
Krötzsch, M. (2020) · Principles of Knowledge Representation and Reasoning · doi:10.24963/kr.2020/60 · Cited by 8
Bashardoost, B. G., Miller, R. J., Lyons, K. A., & Nargesian, F. (2020) · Proceedings of the VLDB Endowment · doi:10.14778/3407790.3407806 · Cited by 8
Self-citationFinite Materialisability of Datalog Programs with Metric Temporal Operators
Wałęga, P. A., Zawidzki, M., & Grau, B. C. (2023) · Journal of Artificial Intelligence Research · doi:10.1613/jair.1.14040 · Cited by 8
Composition with Target Constraints
Arenas, M., Fagin, R., & Nash, A. (2011) · Logical Methods in Computer Science · doi:10.2168/lmcs-7(3:13)2011 · Cited by 8
Self-citationFunction Symbols in Tuple-Generating Dependencies: Expressive Power and Computability
Gottlob, G., Pichler, R., & Sallinger, E. (2015) · ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS) · doi:10.1145/2745754.2745756 · Cited by 8
Integrating domain heterogeneous data sources using decomposition aggregation queries
Xu, J. L., & Pottinger, R. A. (2013) · Information Systems · doi:10.1016/j.is.2013.06.003 · Cited by 8
Containment for Rule-Based Ontology-Mediated Queries
Barceló, P., Berger, G., & Pieris, A. (2018) · ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS) · doi:10.1145/3196959.3196963 · Cited by 8
ProSA—Using the CHASE for Provenance Management
Auge, T., & Heuer, A. (2019) · Lecture notes in computer science · doi:10.1007/978-3-030-28730-6_22 · Cited by 8
Hannula, M., Kontinen, J., & Virtema, J. (2017) · Lecture notes in computer science · doi:10.1007/978-3-319-72056-2_12 · Cited by 8
Reasoning about Schema Mappings
Sallinger, E. (2013) · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · doi:10.4230/dfu.vol5.10452.97 · Cited by 8
Oblivious and Semi-Oblivious Boundedness for Existential Rules
Bourhis, P., Leclère, M., Mugnier, M.-L., Tison, S., Ulliana, F., & Gallois, L. (2019) · International Joint Conference on Artificial Intelligence · doi:10.24963/ijcai.2019/219 · Cited by 8
Perspectives on Business Intelligence
Ng, R. T., Arocena, P. C., Barbosa, D., Carenini, G., Gomes-Jr, L., Jou, S., Leung, R., Milios, E., Miller, R. J., Mylopoulos, J., et al. (2013) · Synthesis lectures on data management · doi:10.2200/s00491ed1v01y201303dtm034 · Cited by 8
Self-citationFagin, R. (2009) · Springer eBooks · doi:10.1007/978-0-387-39940-9_1274 · Cited by 8
Self-citationTaming Existence in RDF Querying
Bry, F., Furche, T., Ley, C., Linse, B., & Marnette, B. (2008) · Lecture notes in computer science · doi:10.1007/978-3-540-88737-9_22 · Cited by 8
Information-Optimal Reflections of View Updates on Relational Database Schemata
Hegner, S. J. (2008) · Springer eBooks · doi:10.1007/978-3-540-77684-0_10 · Cited by 8
Tractable Query Answering and Optimization for Extensions of Weakly-Sticky Datalog+-Preprint
Milani, M., & Bertossi, L. (2015) · arXiv (Cornell University) · doi:10.48550/arxiv.1504.03386 · Cited by 8
Emergent semantics and cooperation in multi-knowledge environments: The ESTEEM architecture
Bolchini, C., Quintarelli, E., Rossato, R., Schreiber, F. A., & Tanca, L. (2007) · Virtual Community of Pathological Anatomy (University of Castilla La Mancha) · Cited by 8
Modern Datalog: Concepts, Methods, Applications (Invited Paper)
Krötzsch, M. (2025) · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · doi:10.4230/oasics.rw.2024/2025.7 · Cited by 7
Cima, G., Console, M., Maurizio Lenzerini, B., & Poggi, A. (2023) · Frontiers in Artificial Intelligence · doi:10.3389/frai.2023.1085754 · Cited by 7
Conjunctive Queries and Mappings With Unequalities
Karvounarakis, G., & Tannen, V. (2008) · ScholarlyCommons (University of Pennsylvania) · Cited by 7
Defining and Using Schematic Correspondences for Automatically Generating Schema Mappings
Mao, L., Belhajjame, K., Paton, N. W., & Fernandes, A. A. A. (2009) · Notes on numerical fluid mechanics and multidisciplinary design · doi:10.1007/978-3-642-02144-2_11 · Cited by 7
Completeness of queries over SQL databases
Nutt, W., & Razniewski, S. (2012) · ACM International Conference on Information and Knowledge Management (CIKM) · doi:10.1145/2396761.2396875 · Cited by 7
Federated Learning over Harmonized Data Silos
Stripelis, D., & Ambite, J. L. (2023) · Studies in computational intelligence · doi:10.1007/978-3-031-36938-4_3 · Cited by 7
What to ask to an incomplete semantic web reasoner
Grau, B. C., & Stoilos, G. (2011) · doi:10.5591/978-1-57735-516-8/ijcai11-371 · Cited by 7
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.