Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
SIGMOD '85 Proceedings of the 1985 ACM SIGMOD international conference on Management of data
Description logics of minimal knowledge and negation as failure
ACM Transactions on Computational Logic (TOCL)
Sesame: A Generic Architecture for Storing and Querying RDF and RDF Schema
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Journal of Automated Reasoning
Ontology Management for Large-Scale E-Commerce Applications
DEEC '05 Proceedings of the International Workshop on Data Engineering Issues in E-Commerce
Bridging the gap between OWL and relational databases
Proceedings of the 16th international conference on World Wide Web
An algorithm for the automatic transformation of ontology axioms into a rule model
CompSysTech '07 Proceedings of the 2007 international conference on Computer systems and technologies
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
State of the nation in data integration for bioinformatics
Journal of Biomedical Informatics
Ontologies and databases: myths and challenges
Proceedings of the VLDB Endowment
SW-Store: a vertically partitioned DBMS for Semantic Web data management
The VLDB Journal — The International Journal on Very Large Data Bases
Scalable join processing on very large RDF graphs
Proceedings of the 2009 ACM SIGMOD International Conference on Management of data
DL-Lite: tractable description logics for ontologies
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
High performance reasoning with very large knowledge bases: a practical case study
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
LUBM: A benchmark for OWL knowledge base systems
Web Semantics: Science, Services and Agents on the World Wide Web
A database trigger strategy to maintain knowledge bases developed via data migration
EPIA'05 Proceedings of the 12th Portuguese conference on Progress in Artificial Intelligence
Relevant logic and paraconsistency
Inconsistency Tolerance
Reasoning with large ontologies stored in relational databases: The OntoMinD approach
Data & Knowledge Engineering
Using ontology databases for scalable query answering, inconsistency detection, and data integration
Journal of Intelligent Information Systems
Hi-index | 0.00 |
We present ontology databases with not-gadgets, a method for detecting inconsistencies in an ontology with large numbers of annotated instances by using triggers and exclusion dependencies in a unique way. What makes this work relevant is the use of the database itself, rather than an external reasoner, to detect logical inconsistencies given large numbers of annotated instances. What distinguishes this work is the use of event-driven triggers together with the introduction of explicit negations. We applied this approach toward the serotonin example, an open problem in biomedical informatics which aims to use annotations to help identify inconsistencies in the Gene Ontology. We discovered 75 inconsistencies that have important implications in biology, which include: (1) methods for refining transfer rules used for inferring electronic annotations, and (2) highlighting possible biological differences across species worth investigating.