Journal of Logic Programming
On the relative expressiveness of description logics and predicate logics
Artificial Intelligence
On the decidability of query containment under constraints
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database 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
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
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
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
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
On marrying ontological and metamodeling technical spaces
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
On marrying ontological and metamodeling technical spaces
The 6th Joint Meeting on European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering: companion papers
EDBT '08 Proceedings of the 11th international conference on Extending database technology: Advances in database technology
OntoDB2: support of multiple ontology models within ontology based database
Ph.D. '08 Proceedings of the 2008 EDBT Ph.D. workshop
Relational Databases in RDF: Keys and Foreign Keys
Semantic Web, Ontologies and Databases
Ontology Database: A New Method for Semantic Modeling and an Application to Brainwave Data
SSDBM '08 Proceedings of the 20th international conference on Scientific and Statistical Database Management
Translating SQL Applications to the Semantic Web
DEXA '08 Proceedings of the 19th international conference on Database and Expert Systems Applications
An FCA-based solution for ontology mediation
Proceedings of the 2nd international workshop on Ontologies and information systems for the semantic web
Data integration for the semantic web with full preferences
Proceedings of the 2nd international workshop on Ontologies and information systems for the semantic web
Bridging the gap between OWL and relational databases
Web Semantics: Science, Services and Agents on the World Wide Web
FDNC: Decidable nonmonotonic disjunctive logic programs with function symbols
ACM Transactions on Computational Logic (TOCL)
Ontology RepresentationDesign Patterns and Ontologies that Make Sense
Proceedings of the 2009 conference on Ontology Representation: Design Patterns and Ontologies that Make Sense
A survey of techniques for achieving metadata interoperability
ACM Computing Surveys (CSUR)
Detecting Inconsistencies in the Gene Ontology Using Ontology Databases with Not-gadgets
OTM '09 Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part II
Incremental Generation of Mappings in an Ontology-Based Data Access Context
OTM '09 Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part II
Heterogeneity and Context in Semantic-Web-Enabled HCLS Systems
OTM '09 Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part II
Merging Expressive Ontologies Using Formal Concept Analysis
OTM '09 Proceedings of the Confederated International Workshops and Posters on On the Move to Meaningful Internet Systems: ADI, CAMS, EI2N, ISDE, IWSSA, MONET, OnToContent, ODIS, ORM, OTM Academy, SWWS, SEMELS, Beyond SAWSDL, and COMBEK 2009
Multi-level Conceptual Modeling and OWL
ER '09 Proceedings of the ER 2009 Workshops (CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS) on Advances in Conceptual Modeling - Challenging Perspectives
Mapping Relational Databases to the Semantic Web with Original Meaning
KSEM '09 Proceedings of the 3rd International Conference on Knowledge Science, Engineering and Management
FDNC: decidable non-monotonic disjunctive logic programs with function symbols
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
Data quality enhancement of databases using ontologies and inductive reasoning
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
OBO and OWL: leveraging semantic web technologies for the life sciences
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
Discovering simple mappings between relational database schemas and ontologies
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
A General Framework for Web Content Filtering
World Wide Web
Data validation with OWL integrity constraints
RR'10 Proceedings of the Fourth international conference on Web reasoning and rule systems
Improving the quality of rule-based applications using the declarative verification approach
International Journal of Knowledge Engineering and Data Mining
Adding integrity constraints to the semantic web for instance data evaluation
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part II
Using ontology databases for scalable query answering, inconsistency detection, and data integration
Journal of Intelligent Information Systems
Review: survey of directly mapping sql databases to the semantic web
The Knowledge Engineering Review
"Closing" some doors for the open semantic web
Proceedings of the 2nd International Conference on Web Intelligence, Mining and Semantics
Towards ontology-based OLAP: datalog-based reasoning over multidimensional ontologies
Proceedings of the fifteenth international workshop on Data warehousing and OLAP
Reasoning in description logics: basics, extensions, and relatives
RW'07 Proceedings of the Third international summer school conference on Reasoning Web
High-level change detection in RDF(S) KBs
ACM Transactions on Database Systems (TODS)
On The Potential Integration of an Ontology-Based Data Access Approach in NoSQL Stores
International Journal of Distributed Systems and Technologies
Bringing relational databases into the Semantic Web: A survey
Semantic Web - On real-time and ubiquitous social semantics
Hi-index | 0.00 |
Schema statements in OWL are interpreted quite differently from analogous statements in relational databases. If these statements are meant to be interpreted as integrity constraints (ICs), OWL's interpretation may seem confusing and/or inappropriate. Therefore, we propose an extension of OWL with ICs that captures the intuition behind ICs in relational databases. We discuss the algorithms for checking IC satisfaction for different types of knowledge bases, and show that, if the constraints are satisfied, we can disregard them while answering a broad range of positive queries.