Incomplete Information in Relational Databases
Journal of the ACM (JACM)
A basis for deductive database systems. II
Journal of Logic Programming
A theorem-proving approach to database integrity
Foundations of deductive databases and logic programming
CLASSIC: a structural data model for objects
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Logic-based approach to semantic query optimization
ACM Transactions on Database Systems (TODS)
Telos: representing knowledge about information systems
ACM Transactions on Information Systems (TOIS)
Journal of Logic Programming
Minimal belief and negation as failure
Artificial Intelligence
Logical foundations of object-oriented and frame-based languages
Journal of the ACM (JACM)
On the relative expressiveness of description logics and predicate logics
Artificial Intelligence
ACM Transactions on Database Systems (TODS)
On the decidability of query containment under constraints
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Logical approaches to incomplete information: a survey
Logics for databases and information systems
Description logics of minimal knowledge and negation as failure
ACM Transactions on Computational Logic (TOCL)
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
Obtaining Complete Answers from Incomplete Databases
VLDB '96 Proceedings of the 22th International Conference on Very Large Data Bases
Incremental Maintenance of Externally Materialized Views
VLDB '96 Proceedings of the 22th International Conference on Very Large Data Bases
Description logics for semantic query optimization in object-oriented database systems
ACM Transactions on Database Systems (TODS)
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
OWL DL vs. OWL flight: conceptual modeling and reasoning for the semantic Web
WWW '05 Proceedings of the 14th international conference on World Wide Web
The complexity of finite model reasoning in description logics
Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)
Annals of Mathematics and Artificial Intelligence
Bridging the gap between OWL and relational databases
Proceedings of the 16th international conference on World Wide Web
Keys, nominals, and concrete domains
Journal of Artificial Intelligence Research
Conjunctive query answering for the description logic SHIQ
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
A faithful integration of description logics with logic programming
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
A scheme for integrating concrete domains into concept languages
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Issues in expressing metadata application profiles with description logics and OWL 2
Proceedings of the 6th International Conference on Semantic Systems
On the social dynamics of ontological commitments
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems
Integration proposal for description logic and attributive logic: towards semantic web rules
Transactions on computational collective intelligence II
From a pattern language to a pattern ontology approach for CSCL script design
ICCSA'11 Proceedings of the 2011 international conference on Computational science and its applications - Volume Part IV
How do we measure and improve the quality of a hierarchical ontology?
Journal of Systems and Software
On benchmarking data translation systems for semantic-web ontologies
Proceedings of the 20th ACM international conference on Information and knowledge management
Generating SPARQL executable mappings to integrate ontologies
ER'11 Proceedings of the 30th international conference on Conceptual modeling
Mosto: generating SPARQL executable mappings between ontologies
ER'11 Proceedings of the 30th international conference on Advances in conceptual modeling: recent developments and new directions
ESWC'11 Proceedings of the 8th international conference on The Semantic Web
On directly mapping relational databases to RDF and OWL
Proceedings of the 21st international conference on World Wide Web
Prexto: query rewriting under extensional constraints in DL-lite
ESWC'12 Proceedings of the 9th international conference on The Semantic Web: research and applications
Using data-to-knowledge exchange for transforming relational databases to knowledge bases
RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications
Ontology constraints in incomplete and complete data
ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part I
MostoDE: A tool to exchange data amongst semantic-web ontologies
Journal of Systems and Software
Semantics preservation in schema mappings within data exchange systems
KES'12 Proceedings of the 16th international conference on Knowledge Engineering, Machine Learning and Lattice Computing with Applications
The Journal of Supercomputing
Ontology-based data access with closed predicates is inherently intractable (sometimes)
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Software trustworthiness 2.0-A semantic web enabled global source code analysis approach
Journal of Systems and Software
Integrity constraints in OWL ontologies based on grounded circumscription
Frontiers of Computer Science: Selected Publications from Chinese Universities
Hi-index | 0.01 |
Despite similarities between the Web Ontology Language (OWL) and schema languages traditionally used in relational databases, systems based on these languages exhibit quite different behavior in practice. The schema statements in relational databases are usually interpreted as integrity constraints and are used to check whether the data is structured according to the schema. OWL allows for axioms that resemble integrity constraints; however, these axioms are interpreted under the standard first-order semantics and not as checks. This often leads to confusion and is inappropriate in certain data-centric applications. To explain the source of this confusion, in this paper we compare OWL and relational databases w.r.t. their schema languages and basic computational problems. Based on this comparison, we extend OWL with integrity constraints that capture the intuition behind similar statements in relational databases. We show that, if the integrity constraints are satisfied, they need not be considered while answering a broad range of positive queries. Finally, we discuss several algorithms for checking integrity constraint satisfaction, each of which is suitable to different types of OWL knowledge bases.