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 701–800 of 1,001
Closed-World Semantics for Conjunctive Queries with Negation over ELH-bottom Ontologies
Borgwardt, S., & Forkel, W. (2019) · International Joint Conference on Artificial Intelligence · doi:10.24963/ijcai.2019/849 · Cited by 5
A Formal Framework for Coupling Document Spanners with Ontologies
Scafoglieri, F., & Lembo, D. (2019) · IEEE International Conference on Artificial Intelligence and Knowledge Engineering (AIKE) · doi:10.1109/aike.2019.00036 · Cited by 5
The Limits of Efficiency for Open- and Closed-World Query Evaluation Under Guarded TGDs
Barceló, P., Dalmau, V., Feier, C., Lutz, C., & Pieris, A. (2020) · ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS) · doi:10.1145/3375395.3387653 · Cited by 5
Epistemic Integrity Constraints for Ontology-Based Data Management
Console, M., & Maurizio Lenzerini, B. (2020) · Proceedings of the AAAI Conference on Artificial Intelligence · doi:10.1609/aaai.v34i03.5667 · Cited by 5
Finite Controllability for Ontology-Mediated Query Answering of CRPQ
Figueira, D., Figueira, S. D., & Pin, E. (2020) · Principles of Knowledge Representation and Reasoning · doi:10.24963/kr.2020/39 · Cited by 5
Craig Interpolation with Clausal First-Order Tableaux
Wernhard, C. (2021) · Journal of Automated Reasoning · doi:10.1007/s10817-021-09590-3 · Cited by 5
Preference-based Inconsistency-Tolerant Query Answering under Existential Rules
Calautti, M., Greco, S., Molinaro, C., & Trubitsyna, I. (2020) · Principles of Knowledge Representation and Reasoning · doi:10.24963/kr.2020/21 · Cited by 5
Answer Counting under Guarded TGDs
Feier, C., Lutz, C., & Przybyłko, M. (2023) · Logical Methods in Computer Science · doi:10.46298/lmcs-19(3:16)2023 · Cited by 5
Access control based on entity matching for secure data sharing
Agoun, J., & Hacid, M.-S. (2022) · Service Oriented Computing and Applications · doi:10.1007/s11761-021-00331-3 · Cited by 5
Zanitti, G., Soto, Y., Iovène, V., Martínez, M. V., Rodriguez, R. O., Simari, G. I., & Wassermann, D. (2022) · Neuroinformatics · doi:10.1007/s12021-022-09612-4 · Cited by 5
Merging Relational Views: A Minimization Approach
Li, X., & Quix, C. (2011) · Lecture notes in computer science · doi:10.1007/978-3-642-24606-7_28 · Cited by 5
Normalisations of Existential Rules: Not so Innocuous!
Carral, D., Larroque, L., Mugnier, M.-L., & Thomazo, M. (2022) · Principles of Knowledge Representation and Reasoning · doi:10.24963/kr.2022/11 · Cited by 5
Query answering over inconsistent knowledge bases: A probabilistic approach
Calautti, M., Greco, S., Molinaro, C., & Trubitsyna, I. (2022) · Theoretical Computer Science · doi:10.1016/j.tcs.2022.09.005 · Cited by 5
Reasoning on property graphs with graph generating dependencies
Shimomura, L. C., Yakovets, N., & Fletcher, G. (2024) · Information Sciences · doi:10.1016/j.ins.2024.120675 · Cited by 5
[METASTATIC THYROID CANCER CAUSING MENINGOENCEPHALITIS SYNDROME].
KOMAR, J. (1963) · PubMed · doi:10.5555/2075144.2075182 · Cited by 5
A framework for automatic schema mapping verification through reasoning
Cappellari, P., Barbosa, D., & Atzeni, P. (2010) · IEEE International Conference on Data Engineering Workshops (ICDEW) · doi:10.1109/icdew.2010.5452703 · Cited by 5
Semantic upgrade and normalization of existing EHR extracts
Maldonado, J. A., Moner, D., Boscá, D., Fernandez, J. T., Angulo, C., & Robles, M. (2008) · Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC) · doi:10.1109/iembs.2008.4649444 · Cited by 5
Britell, S., Delcambre, L., & Atzeni, P. (2016) · Lecture notes in computer science · doi:10.1007/978-3-319-46397-1_34 · Cited by 5
Between Tree Patterns and Conjunctive Queries: Is There Tractability beyond Acyclicity?
Murlak, F., Ogiński, M., & Przybyłko, M. (2012) · Lecture notes in computer science · doi:10.1007/978-3-642-32589-2_61 · Cited by 5
Managing Lineage and Uncertainty under a Data Exchange Setting
Afrati, F., & Vasilakopoulos, A. (2010) · Lecture notes in computer science · doi:10.1007/978-3-642-15951-0_9 · Cited by 5
A Simple Model of Negotiation for Cooperative Updates on Database Schema Components
Hegner, S. J. (2011) · Frontiers in artificial intelligence and applications · doi:10.3233/978-1-60750-690-4-154 · Cited by 5
A Reference Architecture for Building Semantic-Web Mediators
Rivero, C. R., Hernández, I., Ruiz, D., & Corchuelo, R. (2011) · Lecture notes in business information processing · doi:10.1007/978-3-642-22056-2_36 · Cited by 5
An Approach to Heterogeneous Data Translation based on XML Conversion
Papotti, P., & Torlone, R. (2004) · Cited by 5
Equivalence of SQL queries in presence of embedded dependencies
Chirkova, R. Y., & Genesereth, M. (2009) · ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS) · doi:10.1145/1559795.1559829 · Cited by 5
Game-based notions of locality over finite models
Arenas, M., Barceló, P., & Libkin, L. O. (2008) · Annals of Pure and Applied Logic · doi:10.1016/j.apal.2007.11.012 · Cited by 5
Information-based distance measures and the canonical reflection of view updates
Hegner, S. J. (2011) · Annals of Mathematics and Artificial Intelligence · doi:10.1007/s10472-012-9278-x · Cited by 5
Scalable containment for unions of conjunctive queries under constraints
Konstantinidis, G., & Ambite, J. L. (2013) · doi:10.1145/2484712.2484716 · Cited by 5
Integrated design of office communication and building automation networks
Luntovskyy, A., Gütter, D., Vasyutynskyy, V., Karavan, A., & Kabitzsch, K. (2006) · IEEE International Workshop on Factory Communication Systems (WFCS) · doi:10.1109/wfcs.2006.1704160 · Cited by 5
Exploring Ontology-Enhanced Bibliography Databases Using Faceted Search
Pankowski, T. (2017) · Lecture notes in computer science · doi:10.1007/978-3-319-67008-9_3 · Cited by 5
Data exchange in the presence of arithmetic comparisons
Afrati, F., Li, C., & Pavlaki, V. (2008) · International Conference on Extending Database Technology (EDBT) · doi:10.1145/1352431.1352491 · Cited by 5
Size Bounds for Conjunctive Queries with General Functional DependenciesPreprint
Valiant, G. J., & Valiant, P. (2009) · arXiv (Cornell University) · doi:10.48550/arxiv.0909.2030 · Cited by 5
Queries with Guarded Negation (full version)Preprint
Bárány, V., ten Cate, B., & Otto, M. (2012) · arXiv (Cornell University) · doi:10.48550/arxiv.1203.0077 · Cited by 5
Reutter, J. L. (2014) · ERA · Cited by 5
Complexity Boundaries for Generalized Guarded Existential Rules
Baget, J.-F., Mugnier, M.-L., Rudolph, S., & Thomazo, M. (2011) · HAL · Cited by 5
Stop the ChasePreprint
Meier, M., Schmidt, M., & Lausen, G. (2009) · arXiv (Cornell University) · doi:10.48550/arxiv.0901.3984 · Cited by 5
Querying existential rule knowledge bases : decidability and complexity
Rocher, S. (2016) · theses.fr (ABES) · doi:10.70675/1cddf9c6z9f5dz4fc3z9fe4zc0a9149fa133 · Cited by 5
Biological Web Services: Integration, Optimization, and Reasoning.
Benedikt, M., López, R., & Tsamoura, E. (2016) · International Joint Conference on Artificial Intelligence · Cited by 4
Schema Mapping and Data Exchange Tools: Time for the Golden Age
Mecca, G., & Mecca, P. (2012) · it - Information Technology · doi:10.1524/itit.2012.0670 · Cited by 4
Grahne, G., Moallemi, A., & Onet, A. (2015) · ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS) · doi:10.1145/2745754.2745770 · Cited by 4
A Hybrid Approach to Query Answering Under Expressive Datalog $$^\pm $$
Milani, M., Calì, A., & Bertossi, L. (2016) · Lecture notes in computer science · doi:10.1007/978-3-319-45276-0_11 · Cited by 4
Extending Weakly-Sticky Datalog $$^\pm $$ : Query-Answering Tractability and Optimizations
Milani, M., & Bertossi, L. (2016) · Lecture notes in computer science · doi:10.1007/978-3-319-45276-0_10 · Cited by 4
Peer-to-Peer Semantic Integration of Linked Data.
Dimartino, M. M., Calì, A., Poulovassilis, A., & Wood, P. T. (2015) · BIROn (Birkbeck, University of London) · Cited by 4
Bag Semantics of DL-Lite with Functionality Axioms
Cima, G., Nikolaou, C., Kostylev, E. V., Kaminski, M., Grau, B. C., & Horrocks, I. R. (2019) · Lecture notes in computer science · doi:10.1007/978-3-030-30793-6_8 · Cited by 4
GIO: Generating Efficient Matrix and Frame Readers for Custom Data Formats by Example
Fathollahzadeh, S., & Böehm, M. (2023) · Proceedings of the ACM on Management of Data · doi:10.1145/3589265 · Cited by 4
Yamsani, N. (2017) · International Journal of Technology Management and Humanities · doi:10.21590/ijtmh.3.03.3 · Cited by 4
Acyclic Query Answering Under Guarded Disjunctive Existential Rules and Consequences to DLs
Bourhis, P., Morak, M., & Pieris, A. (2014) · LillOA (Université de Lille (University Of Lille)) · Cited by 4
Soft Query-Answering Computing in P2P Systems with Epistemically Independent Peers
Majkić, Z., & Prasad, B. (2008) · Springer eBooks · doi:10.1007/978-3-540-77465-5_17 · Cited by 4
Forssell, H., Gylterud, H. R., & Spivak, D. I. (2020) · Journal of Logic and Computation · doi:10.1093/logcom/exaa009 · Cited by 4
Consistent Answers in Probabilistic Datalog+/– Ontologies
Lukasiewicz, T., Martínez, M. V., & Simari, G. I. (2012) · Lecture notes in computer science · doi:10.1007/978-3-642-33203-6_12 · Cited by 4
EXLEngine: executable schema mappings for statistical data processing
Atzeni, P., Bellomarini, L., & Bugiotti, F. (2013) · International Conference on Extending Database Technology (EDBT) · doi:10.1145/2452376.2452455 · Cited by 4
Recomputing Materialized Instances after Changes to Mappings and Data
Green, T. J., & Ives, Z. G. (2012) · IEEE International Conference on Data Engineering (ICDE) · doi:10.1109/icde.2012.107 · Cited by 4
Tableaux-based optimization of schema mappings for data integration
Rahman, M. A., Masud, M., Kiringa, I., & Saddik, A. E. (2011) · Journal of Intelligent Information Systems · doi:10.1007/s10844-011-0166-3 · Cited by 4
Basic Probabilistic Ontological Data Exchange with Existential Rules
Lukasiewicz, T., Martínez, M. V., Predoiu, L., & Simari, G. I. (2016) · AAAI Publications (The Association for the Advancement of Artificial Intelligence (AAAI)) · doi:10.1609/aaai.v30i1.10103 · Cited by 4
Data integration for mobile wellness apps to support treatment of GDM
Pais, S., Parry, D., Rush, E. C., & Rowan, J. (2016) · Australasian Computer Science Week Multiconference (ACSW) · doi:10.1145/2843043.2843382 · Cited by 4
SEDEX: Scalable Entity Preserving Data Exchange
Sekhavat, Y. A., & Parsons, J. (2016) · IEEE Transactions on Knowledge and Data Engineering · doi:10.1109/tkde.2016.2535351 · Cited by 4
Faber, W. (2013) · Lecture notes in computer science · doi:10.1007/978-3-642-39784-4_4 · Cited by 4
Stupnikov, S. A. (2017) · Communications in computer and information science · doi:10.1007/978-3-319-57135-5_11 · Cited by 4
SHARP: Harmonizing and Bridging Cross-Workflow Provenance
Gaignard, A., Belhajjame, K., & Skaf‐Molli, H. (2017) · Lecture notes in computer science · doi:10.1007/978-3-319-70407-4_35 · Cited by 4
Extending Apache Spark with a Mediation Layer
Stripelis, D., Anastasiou, C., & Ambite, J. L. (2018) · International Workshop on Semantic Big Data (SBD) · doi:10.1145/3208352.3208354 · Cited by 4
Integrating Heterogeneous Enterprise Data Using Ontology in Supply Chain Management
Pal, K. (2018) · Advances in knowledge acquisition, transfer, and management book series/Advances in knowledge acquisition, transfer and management book series · doi:10.4018/978-1-5225-7519-1.ch003 · Cited by 4
Consistency and Certain Answers in Relational to RDF Data Exchange with Shape Constraints
Boneva, I., Staworko, S., & Lozano, J. (2020) · Communications in computer and information science · doi:10.1007/978-3-030-54623-6_9 · Cited by 4
All-Instances Oblivious Chase Termination is Undecidable for Single-Head Binary TGDs
Bednarczyk, B., Ferens, R., & Ostropolski-Nalewaja, P. (2020) · International Joint Conference on Artificial Intelligence · doi:10.24963/ijcai.2020/238 · Cited by 4
Model-theoretic Characterizations of Existential Rule Languages
Zhang, H., Zhang, Y., & Jiang, G. (2020) · International Joint Conference on Artificial Intelligence · doi:10.24963/ijcai.2020/269 · Cited by 4
Temporal Enrichment and Querying of Ontology-Compliant Data
Ao, J., Cheng, Z., Chirkova, R. Y., & Kolaitis, P. G. (2020) · Communications in computer and information science · doi:10.1007/978-3-030-54623-6_12 · Cited by 4
Self-citationAll-Instances Restricted Chase Termination for Linear TGDs
Gogacz, T., Marcinkowski, J., & Pieris, A. (2020) · Künstliche Intell. · doi:10.1007/s13218-020-00690-7 · Cited by 4
Chari, G., Sheffer, B., Branavan, S. R. K., & D’Ippolito, N. (2023) · IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP) · doi:10.1109/icse-seip58684.2023.00007 · Cited by 4
Wisnesky, R. J., Hernández, M. A., & Popa, L. C. (2010) · International Conference on Database Theory · doi:10.1145/1804669.1804695 · Cited by 4
Self-citationA Practical Acyclicity Notion for Query Answering Over Horn- $$\mathcal {SRIQ}$$ Ontologies
Carral, D., Feier, C., & Hitzler, P. (2016) · Lecture notes in computer science · doi:10.1007/978-3-319-46523-4_5 · Cited by 4
Baget, J.-F., Garcia, L., Garreau, F., Lefèvre, C., Rocher, S., & Stéphan, I. (2017) · Annals of Mathematics and Artificial Intelligence · doi:10.1007/s10472-017-9563-9 · Cited by 4
Consistency Checking of Re-engineered UML Class Diagrams via Datalog+/-
Gottlob, G., Orsi, G., & Pieris, A. (2015) · Lecture notes in computer science · doi:10.1007/978-3-319-21542-6_3 · Cited by 4
Logical Foundations for Data Integration
Maurizio Lenzerini, B. (2005) · Lecture notes in computer science · doi:10.1007/978-3-540-30577-4_4 · Cited by 4
Information Integration with Provenance on the Semantic Web via Probabilistic Datalog+/–
Lukasiewicz, T., Martínez, M. V., Predoiu, L., & Simari, G. I. (2014) · Lecture notes in computer science · doi:10.1007/978-3-319-13413-0_3 · Cited by 4
Collaborative data sharing with mappings and provenance
Ives, Z. G., Tannen, V., & Green, T. J. (2009) · Cited by 4
Information retrieval and machine learning for probabilistic schema matching
Nottelmann, H., & Straccia, U. (2005) · ACM International Conference on Information and Knowledge Management (CIKM) · doi:10.1145/1099554.1099634 · Cited by 4
Appearance-Order-Based Schema Matching
Ding, G., Dong, H., & Wang, G. (2012) · Lecture notes in computer science · doi:10.1007/978-3-642-29038-1_8 · Cited by 4
Query Processing in Data Integration
Guagliardo, P., & Wieczorek, P. (2013) · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · doi:10.4230/dfu.vol5.10452.129 · Cited by 4
Graph Constraints in Urban Computing: Dealing with Conditions in Processing Urban Data
d’Orazio, L., Ferrari, M. H., Hara, C. S., Kozievitch, N. P., & Musicante, M. A. (2017) · IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData) · doi:10.1109/ithings-greencom-cpscom-smartdata.2017.171 · Cited by 4
Thorpe, S., Ray, I., & Grandison, T. W. A. (2011) · Lecture notes in computer science · doi:10.1007/978-3-642-21323-6_34 · Cited by 4
Schema Exchange: A Template-Based Approach to Data and Metadata Translation
Papotti, P., & Torlone, R. (2007) · Lecture notes in computer science · doi:10.1007/978-3-540-75563-0_23 · Cited by 4
Data Integration Targeting a Drug Related Knowledge Base
Curé, O., & Squelbut, R. (2006) · Lecture notes in computer science · doi:10.1007/11896548_32 · Cited by 4
Extending the Relational Algebra with the Mapper Operator
Carreira, P., Lopes, A., Galhardas, H., & Pereira, J. D. (2005) · Cited by 4
DB Category: Denotational Semantics for View-based Database MappingsPreprint
Majkić, Z. (2011) · arXiv (Cornell University) · doi:10.48550/arxiv.1103.0248 · Cited by 4
Functorial Data Migration: From Theory to PracticePreprint
Wisnesky, R. J., Spivak, D. I., Schultz, P., & Subrahmanian, E. (2015) · arXiv (Cornell University) · doi:10.48550/arxiv.1502.05947 · Cited by 4
Determining source contribution in integration systems
Deutsch, A., Katsis, Y., & Papakonstantinou, Y. (2005) · ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS) · doi:10.1145/1065167.1065205 · Cited by 4
Discovering and using semantics for database schemas
An, Y. (2007) · TSpace (University of Toronto) · Cited by 4
Preferential Query Answering in the Semantic Web with Possibilistic Networks
Borgwardt, S., Fazzinga, B., Lukasiewicz, T., Shrivastava, A., & Tifrea-Marciuska, O. (2016) · doi:10.25368/2023.219 · Cited by 4
Extending Weakly-Sticky Datalog+/-: Query-Answering Tractability and OptimizationsPreprint
Milani, M., & Bertossi, L. (2016) · arXiv (Cornell University) · doi:10.48550/arxiv.1607.02682 · Cited by 4
A Hybrid Approach to Query Answering under Expressive Datalog+/-Preprint
Milani, M., Calì, A., & Bertossi, L. (2016) · arXiv (Cornell University) · doi:10.48550/arxiv.1604.06770 · Cited by 4
PipeGen: Data Pipe Generator for Hybrid AnalyticsPreprint
Haynes, B. M., Cheung, A., & Bałazińska, M. (2016) · arXiv (Cornell University) · doi:10.48550/arxiv.1605.01664 · Cited by 4
Closed-World Semantics for Conjunctive Queries with Negation over ELH⊥ Ontologies
Borgwardt, S., & Forkel, W. (2019) · doi:10.25368/2023.222 · Cited by 4
Ontology-Mediated Query Answering over Log-Linear Probabilistic Data
Borgwardt, S., Ceylan, İ. İ., & Lukasiewicz, T. (2019) · doi:10.25368/2023.221 · Cited by 4
The Two Views on Ontological Query Answering.
Rudolph, S. (2014) · Cited by 3
Keyword Search in P2P Relational Databases
Pankowski, T. (2015) · Smart innovation, systems and technologies · doi:10.1007/978-3-319-19728-9_27 · Cited by 3
The Impact of Active Domain Predicates on Guarded Existential Rules
Gottlob, G., Pieris, A., & Šimkus, M. (2018) · Fundamenta Informaticae · doi:10.3233/fi-2018-1660 · Cited by 3
A Tutorial on Query Answering and Reasoning over Probabilistic Knowledge Bases
Ceylan, İ. İ., & Lukasiewicz, T. (2018) · Lecture notes in computer science · doi:10.1007/978-3-030-00338-8_3 · Cited by 3
Restricted Chase Termination for Existential Rules: A Hierarchical Approach and Experimentation
KARIMI, A., Zhang, H., & You, J.-H. (2020) · Theory and Practice of Logic Programming · doi:10.1017/s1471068420000101 · Cited by 3
Efficient Dependency Analysis for Rule-Based Ontologies
González, L., Ivliev, A., Krötzsch, M., & Mennicke, S. (2022) · Lecture notes in computer science · doi:10.1007/978-3-031-19433-7_16 · Cited by 3
The Vivification Problem in Real-Time Business Intelligence: A Vision
Arocena, P. C., Miller, R. J., & Mylopoulos, J. (2013) · Lecture notes in business information processing · doi:10.1007/978-3-642-39872-8_3 · Cited by 3
Self-citationTowards Relational Inconsistent Databases with Functional Dependencies
Greco, S., & Molinaro, C. (2008) · Lecture notes in computer science · doi:10.1007/978-3-540-85565-1_86 · Cited by 3
Crafting a balance between big data utility and protection in the semantic data cloud
Hu, Y.-J., Cheng, K.-P., & Huang, Y.-L. (2013) · International Conference on Web Intelligence, Mining and Semantics · doi:10.1145/2479787.2479806 · Cited by 3
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.
